Turing's Mentor
TURING'S MENTOR
Alonzo Church (1903–1995) was one of Alan Turing's instructors at Princeton. He is remembered for his belief that recursiveness (or repetitiveness) plays a key role in solving logical problems. In 1944 he issued the book Introduction to Mathematical Logic.
More From encyclopedia.com
Logic Circuit , logic circuit An electric circuit concerned with logic systems. The term logic device is often used synonymously. A logic circuit is required to prod… Logical , logical •cackle, crackle, grackle, hackle, jackal, mackle, shackle, tackle •ankle, rankle •Gaskell, mascle, paschal •tabernacle • ramshackle •débâcle… Rudolf Carnap , Rudolf Carnap
Rudolf Carnap
The German-American philosopher Rudolf Carnap (1891-1970) was the most prominent representative of the school of logical… Symbolic Logic , Logic, Symbolic
A modern version of formal logic, referred to variously as logistic, mathematical logic, and the algebra of logic; it may be describe… Fuzzy Logic , "Fuzzy logics" are multivalued logics intended to model human reasoning with certain types of imprecision. The field of fuzzy logic originated with a… Gottlob Frege , mathematics, logic, foundations of mathematics. For the original article on Frege see DSB, vol. 5.
Although a mathematician, Gottlob Frege is regarde…
You Might Also Like
NEARBY TERMS
Turing's Mentor