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 »
|