Boah Max, das war mal echt ein derber Post. Alleine die theoretischen Grundlagen zum Church-Turing Theorem sind unglaublich kompliziert. Mich wundert das du nicht noch die FOPC angefuehrt hast. Du bist echt ein Geek. Mit sowas in einem Gameforum zu kommen - das schon krank.Originally Posted by Mighty Max
Aber um mal mit zu klugscheissen... was die beiden legendlich bewiesen haben ist, das es unmoeglich ist auf arithmetischem Weg zu beweisen ob eine Aussage wahr oder falsch ist. Da aber Software nicht nur durch Unittests geprueft wird, sondern in der Regel eher durch Menschen, ist dieser Vergleich ohnehin von eher akademischer Bedeutung.
//cain.