Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

NOT( PROOF(myGodel#)) ----> FORMAL THEORY IS INCOMPLETE!!

17 views
Skip to first unread message

Graham Cooper

unread,
Jul 6, 2012, 2:05:49 AM7/6/12
to
PROOF(c)<->c
PROOF(c)<->PROOF(a)^PROOF(b)^(a^b)->c
a1=8203215
NOT(PROOF(a1)) **GodelStatement**

Tonico

unread,
Jul 6, 2012, 10:40:16 AM7/6/12
to
Idiot

Graham Cooper

unread,
Jul 6, 2012, 6:52:20 PM7/6/12
to
you don't know any formula for a Godel Statement do you Tonico?

Herc

Tonico

unread,
Jul 7, 2012, 6:30:53 AM7/7/12
to
On Jul 6, 9:05 am, Graham Cooper <grahamcoop...@gmail.com> wrote:
Idiot

Graham Cooper

unread,
Jul 7, 2012, 6:38:14 AM7/7/12
to
0 new messages