01/06/2008, 09:26 PM
\( (p \wedge \neg p) \) is a short-hand version of the law of the excluded middle (P or not P), which does not apply in SIA according to the reference you gave.
Andrew Robbins
Andrew Robbins
Infinite tetration and superroot of infinitesimal
|
« Next Oldest | Next Newest »
|