Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Re: Formally Unknowability, or absolute Undecidability, of certainarithmeticformulas.
Posted:
Jan 28, 2013 8:20 AM


Nam Nguyen wrote: > I meant, what would "tomorrow", "today" have anything to to with > _mathematical logic_ ?
Oh, a lot. Look up 'temporal logic'. In my day it was something of a curiosity of interest only to philosophers (hiss, boo, etc) but now it is of much interest to computer scientists among others.
 When a true genius appears in the world, you may know him by this sign, that the dunces are all in confederacy against him. Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting



