Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University 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
|
|
|
|
