Hartmann, Nievergelt, Reichert
Alles
was überhaupt berechenbar ist, ist mit der Turingmaschine berechenbar!
Alonzo Church
(klickklick für weitere Infos) |
|
|
|
|
|
|
|||||
| Es
gibt keine Turingmaschine, die entscheiden kann, ob eine beliebige andere
Turingmaschine je anhält oder nicht. Hartmann, Nievergelt, Reichert Alles
was überhaupt berechenbar ist, ist mit der Turingmaschine berechenbar! |
|||||
|
|||||
| click to enter | Projektinitiative (klickklick für weitere Infos) |
||||