Thread: !A0(A1)
View Single Post
  #4  
Old January 23rd 12, 12:46 PM posted to sci.logic,comp.ai.philosophy,comp.theory,sci.astro
Don Stockbauer
external usenet poster
 
Posts: 219
Default !A0(A1)

On Jan 21, 10:24*pm, Tonico wrote:
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- Hide quoted text -

- Show quoted text -


Who's your referent?