Welcome to European Tribune. It's gone a bit quiet around here these days, but it's still going.
Display:
It doesn't make it unstable, it just proves that truth functions are incomputable.

We have met the enemy, and he is us — Pogo
by Migeru (migeru at eurotrib dot com) on Wed Jan 2nd, 2008 at 03:11:55 PM EST
[ Parent ]
It's possible that first learning about the undecidability aspects of computer theory made the Gödel theorem lose its surprise factor...


Un roi sans divertissement est un homme plein de misères
by linca (antonin POINT lucas AROBASE gmail.com) on Wed Jan 2nd, 2008 at 03:28:09 PM EST
[ Parent ]

Display: