Thread: !A0(A1)
View Single Post
  #2  
Old January 22nd 12, 04:24 AM posted to sci.logic,comp.ai.philosophy,comp.theory,sci.astro
Tonico
external usenet poster
  
Posts: 120
Default !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