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 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
----------------------------------------------------
|
|
|
|
