Godel's theorem says nothing about the ability to understand Godel's theorem. It simply states that in any formal system (FS) sufficiently powerful to support Peano Arithmetic, there are theorems about FS which can be expressed in FS, but cannot be shown to be true or false (are undecidable) within the rules of FS. I.e. unanswerable questions may be asked of any sufficiently interesting system.
Quite what bearing this has on the ability to "understand" such a system is beyond me. Prove God exists. Prove God does not exist. Can't do either? Oh well, you're obviously not intelligent then.
It's just a shame the EPIA-M's onboard mpeg 2 decoder still has no linux.support. It's not at all obvious that this is the case looking at VIA's website. And there are a lot of people upset about this on the VIA forums.
Slashdot Mirror
Yeah, doughnut shaped might have been a better description. Mmmm. Doughnuts. Drool...
Godel's theorem says nothing about the ability to understand Godel's theorem. It simply states that in any formal system (FS) sufficiently powerful to support Peano Arithmetic, there are theorems about FS which can be expressed in FS, but cannot be shown to be true or false (are undecidable) within the rules of FS. I.e. unanswerable questions may be asked of any sufficiently interesting system.
Quite what bearing this has on the ability to "understand" such a system is beyond me. Prove God exists. Prove God does not exist. Can't do either? Oh well, you're obviously not intelligent then.
It's just a shame the EPIA-M's onboard mpeg 2 decoder still has no linux.support. It's not at all obvious that this is the case looking at VIA's website. And there are a lot of people upset about this on the VIA forums.