Thread
:
!A0(A1)
View Single Post
#
2
January 22nd 12, 04:24 AM posted to sci.logic,comp.ai.philosophy,comp.theory,sci.astro
Tonico
external usenet poster
Posts: 120
!A0(A1)
On Jan 22, 6:21*am, "INFINITY POWER" wrote:
A0(x) = PROOF(x)
A1 = 8203215
!A0(A1)
8203215
A1 is the Godel number of the Godel statement !A0(A1)
0 *0
1 *1
A *2
( *3
, *4
) *5
^ *6
v *7
! *8
= *9
Idiot
Tonico
View Public Profile
View message headers
Find all posts by Tonico
Find all threads started by Tonico