A Space & astronomy forum. SpaceBanter.com

Go Back   Home » SpaceBanter.com forum » Astronomy and Astrophysics » Astronomy Misc
Site Map Home Authors List Search Today's Posts Mark Forums Read Web Partners

!A0(A1)



 
 
Thread Tools Display Modes
  #1  
Old January 22nd 12, 05: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
  #2  
Old January 22nd 12, 05: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
  #3  
Old January 23rd 12, 01:41 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-


Please don't mince words.
  #4  
Old January 23rd 12, 01: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?
 




Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

vB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Forum Jump


All times are GMT +1. The time now is 04:03 PM.


Powered by vBulletin® Version 3.6.4
Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
Copyright ©2004-2024 SpaceBanter.com.
The comments are property of their posters.