A Study of Logic and Programming via Turing Machines

by Jerry M. Lodder

@MISC{Lodder_astudy,
    author = {Jerry M. Lodder},
    title = {A Study of Logic and Programming via Turing Machines},
    year = {}
}

Let's first study a few excerpts from Turing's original paper [13, p. 231-234], and then design a few machines to perform certain tasks.

914	On computable numbers, with an application to the Entscheidungsproblem - Turing - 1936
308	Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Monatshefte fr Mathematik und Physik - Gödel - 1931
214	An unsolvable problem of elementary number theory - Church - 1936
84	Introduction to mathematical logic - Church - 1956
74	A note on the Entscheidungsproblem - Church - 1936
63	1928], Grundzüge der theoretischen Logik - Hilbert, Ackermann
57	The Undecidable - Davis, Ed - 1965
13	Probleme der Grundlegung der Mathematik, Lecture delivered before the International Congress of Mathematicians at Bologna in 1928; italian translation in Ricerche sui fondamenti della matematica, edited by Abrusci V.M - Hilbert - 1978
8	Principles of mathematical logic - Hilbert, Ackermann - 1951
5	Teaching Discrete Mathematics via Primary Historical Sources,” www.math.nmsu.edu/hist projects - Bezhanishvili, Leung, et al.
2	The Search for Mathematical Roots, 1870–1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel - Grattan-Guiness - 2000
2	Mathematical Problems,” Newson M., (translator - Hilbert - 1902