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


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Formally Unknowability, or absolute Undecidability, of certain arithmetic formulas.
Replies:
22
Last Post:
Jan 29, 2013 8:21 PM




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



