Coffeehouse for desis
Would you like to react to this message? Create an account in a few clicks or log in to continue.

Incomplete

3 posters

Go down

Incomplete Empty Incomplete

Post by Petrichor Tue Jan 22, 2013 2:52 pm

Any effectively generated persona capable of expressing elementary thoughts in the form of chat messages or posts cannot be both consistent and complete. In particular, for any consistent, effectively generated formal persona that proves certain basic logical truths, there is a logical statement that is true, but not provable by that persona.

[reduced to sitting in the nose-bleed section of the bleachers, watching the hunger games in progress at such]

Petrichor

Posts : 1725
Join date : 2012-04-10

Back to top Go down

Incomplete Empty Re: Incomplete

Post by Idéfix Tue Jan 22, 2013 3:06 pm

Lol @ hunger games. You can start playing too. Hopefully we are all near dead and calm should return soon.
Idéfix
Idéfix

Posts : 8808
Join date : 2012-04-26
Location : Berkeley, CA

Back to top Go down

Incomplete Empty Re: Incomplete

Post by Hellsangel Tue Jan 22, 2013 3:15 pm

atcg wrote:Any effectively generated persona capable of expressing elementary thoughts in the form of chat messages or posts cannot be both consistent and complete. In particular, for any consistent, effectively generated formal persona that proves certain basic logical truths, there is a logical statement that is true, but not provable by that persona.

[reduced to sitting in the nose-bleed section of the bleachers, watching the hunger games in progress at such]

Hellsangel
Hellsangel

Posts : 14721
Join date : 2011-04-28

Back to top Go down

Incomplete Empty Re: Incomplete

Post by Petrichor Tue Jan 22, 2013 3:24 pm

Hellsangel wrote:
atcg wrote:Any effectively generated persona capable of expressing elementary thoughts in the form of chat messages or posts cannot be both consistent and complete. In particular, for any consistent, effectively generated formal persona that proves certain basic logical truths, there is a logical statement that is true, but not provable by that persona.

[reduced to sitting in the nose-bleed section of the bleachers, watching the hunger games in progress at such]


We will never know (like that Vase in Matrix) whether he bumped his head because he remembered his bicycle-lessness, now, will we?!!!


Petrichor

Posts : 1725
Join date : 2012-04-10

Back to top Go down

Incomplete Empty Re: Incomplete

Post by Sponsored content


Sponsored content


Back to top Go down

Back to top


 
Permissions in this forum:
You cannot reply to topics in this forum