|
|
#1
January 22nd 12, 04:21 AM
posted to sci.math,sci.logic,comp.ai.philosophy,comp.theory,sci.astro
|
|||
|
|||
!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 
|
|
#2
January 22nd 12, 04:24 AM
posted to sci.logic,comp.ai.philosophy,comp.theory,sci.astro
|
|||
|
|||
|
!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
|
|
#3
January 23rd 12, 12:41 PM
posted to sci.logic,comp.ai.philosophy,comp.theory,sci.astro
|
|||
|
|||
|
!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- Please don't mince words.
|
|
#4
January 23rd 12, 12:46 PM
posted to sci.logic,comp.ai.philosophy,comp.theory,sci.astro
|
|||
|
|||
|
!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?
|
| Thread Tools | |
| Display Modes | |
|
|
Linear Mode
