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 29, 2013 12:28 AM


On 28/01/2013 6:20 AM, Frederick Williams wrote: > 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.
It seems you aren't aware, but the assumed logic of this thread here is the familiar FOL=.
  There is no remainder in the mathematics of infinity.
NYOGEN SENZAKI 



