Äquivalenz der Präzisierungen von Berechenbarkeit
Turing-berechenbar, While-berechenbar und Goto-berechenbar ?
Deshalb geht man davon aus, daß der intuitive Berechenbarkeitsbegriff
in diesen Präzisierungen adäquat erfaßt wurde.
Frage: gibt es Funktionen (über den natürlichen Zahlen), die
• mathematisch präzise beschrieben werden können, aber
• nicht berechenbar sind?