Tuesday 30 October 2012

One last post on understanding


  1. Both intuitionistic logic and classical logic are understood.
  2. It is not the case that both intuitionistic logic and classical logic are sound.
  3. Hence, there is something that is understood which is not true.

No comments:

Post a Comment