On Sun, Jun 7, 2015 Bruno Marchal <marc...@ulb.ac.be> 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
