|
-Turingmaschine: abstraktes Operationen ( berechenbaren kannIn grundlegenden Computable Numbers, Application to »Entscheidungsproblem« ( ) formulierte 1931 ersetzte universelle, arithmetisch-basierte Turingmaschine bewies, solch
Turingmaschine Turingmaschinen heutigen theoretischen Turingmaschine gelang Entscheidungsproblem beweisbar bewies Halteproblem Turingmaschinen , algorithmisch Turingmaschine Alonzo Church Lambda- geführten populärer, intuitiver „Universellen ( imitieren
Princeton University studierte Alonzo Church. erwarb Princeton. „Hypercomputation“ Turingmaschinen genannten -algorithmisch lösbaren ermöglicht.
|
