t02235
The Principle
of
Computational
Equivalence
b07536
Ideas That
Created the
Future (2021)
t02235->b07536
t00230
Über formal
unentscheidbare
Sätze der
Principia
Mathematica
und verwandter
Systeme (1931)
t02235->t00230
t02301
On Computable
Numbers, with
an Application
to the
Entscheidungsproblem
(1936)
t02235->t02301