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