On Sun, Jun 7, 2015 Bruno Marchal <[email protected]> wrote: > that is enough to conceive the set of the Gödel number of true sentences > of arithmetic, and prove theorems about that set. That set can be defined > in standard set theory >
YOU CAN'T MAKE A COMPUTATION WITH A DEFINITION! >> Half of your theory is true but trivial, the other half is not trivial >> and not true. > > > > You don't know the other half. You said repeatedly that you never find > the need to read after step 3. > Because step 3 of you "proof" was S-T-U-P-I-D. Fix it and I'll keep reading until I see the next stupid thing. . John K Clark > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
