On 08 Jun 2015, at 04:14, John Clark wrote:
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!
I can do better. I can prove their existence in arithmetic.
>> 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
We have shown that my proof fix it at the start, but you made only one
half of the proof. You forget to put yourself at the place of each
continuators, and analyse their first person discourses. More than 4
people have tried to explain this to you, and you are the only person
disagreeing with this, for still unknown reason, as we have shown you
were invalid.
Bruno
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.
http://iridia.ulb.ac.be/~marchal/
--
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.