Tuesday, 30 October 2012
One last post on understanding
Both intuitionistic logic and classical logic are understood.
It is not the case that both intuitionistic logic and classical logic are sound.
Hence, there is something that is understood which is not true.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment