Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
A FULLY CODED GODEL STATEMENT... !a0(a1)
1 view
Skip to first unread message
Graham Cooper
Jun 18, 2012, 3:41:28 AM6/18/12
to
An ACTUAL Godel Statement.
*******************************
a0(a11)=a11
a0(a11)=a0(a111)^a0(a110)^(!(a111^a110)va11)
a1=11111010010101111001111
!a0(a1)
*******************************
The 4 lines parsed!
PROOF(c)<->c
PROOF(c)<->PROOF(a)^PROOF(b)^(a^b)->c
a1=8203215
NOT(PROOF(a1)) **GodelStatement**
8203215 GODEL NUMBER (a1)
!a0(a1) GODEL STATEMENT
01a(,)^v!= 0123456789
Herc
--
http://tinyURL.com/BLUEPRINTS-GODEL
*******************************
a0(a11)=a11
a0(a11)=a0(a111)^a0(a110)^(!(a111^a110)va11)
a1=11111010010101111001111
!a0(a1)
*******************************
The 4 lines parsed!
PROOF(c)<->c
PROOF(c)<->PROOF(a)^PROOF(b)^(a^b)->c
a1=8203215
NOT(PROOF(a1)) **GodelStatement**
8203215 GODEL NUMBER (a1)
!a0(a1) GODEL STATEMENT
01a(,)^v!= 0123456789
Herc
--
http://tinyURL.com/BLUEPRINTS-GODEL
0 new messages