Re: Simple yet Profound Metatheorem

Daryl McCullough wrote: 
sradhakr says...

http://en.wikipedia.org/wiki/Intuitionistic_logic

Quoting from this site,

"The interpretation of negation in intuitionistic logic is different from its counterpart in classical logic. In classical logic, ~P
asserts that P is false; in intuitionistic logic, ~P asserts that a
proof of P is impossible." 

That's true in the context of consistent theories, which are
really the only ones people are interested in.

The proofs relevant to the intuitionistic understanding of negation are not formal proofs.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
 - Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.