Berechenbarkeitsmodell

Unter einem Berechenbarkeitsmodell versteht man ein Modell, welches eine Menge von Funktionalen analytisch erfassen und synthetisch rekonstruieren kann. Beispiele sind Touringautomat, Gödelmaschine. Im Kommen ist die Gödelmaschine, weil sie das Berechenbarkeitsmodell der Quantenphysik ist und exponentiell schneller als herkömmliche Computer sein wird.