Re: Turing vs math

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Juergen Schmidhuber <juergen.domain.name.hidden>
Date: Tue, 16 Nov 1999 16:06:09 +0100

>Or you mean "the Goedelian sentence", i.e. the statement
>constructed from the formal system saying that it will not be proved
>in the system, in which case you are correct.

I do mean "the Goedelian sentence". Sorry!
Juergen
Received on Tue Nov 16 1999 - 07:08:36 PST

This message: [ Message body ]
Next message: hal.domain.name.hidden: "Re: Turing vs math"
Previous message: Marchal: "Re: Universal prior - Go FORTH and Run Backward"
Maybe in reply to: Juergen Schmidhuber: "Turing vs math"
Next in thread: hal.domain.name.hidden: "Re: Turing vs math"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:06 PST