Frederic Fitch
Frederic Brenton Fitch (1908 – September 18, 1987) was an American logician, a Sterling Professor at Yale University.[1]
Education
Fitch earned his Ph.D. from Yale in 1934 under the supervision of F. S. C. Northrop.[2]
Work
Fitch was the inventor of the Fitch-style calculus for arranging formal logical proofs as diagrams.[3] In his 1963 published paper "A Logical Analysis of Some Value Concepts" he proves "Theorem 5" (originally by Alonzo Church), which later became famous in context of the Knowability Paradox.[4]
Bibliography
- Symbolic Logic, An Introduction, Frederic Fitch, The Ronald Press Company, 1952
- A Logical Analysis of Some Value Concepts, Frederic Fitch, 1963
- Elements of Combinatory Logic, Frederic Fitch,Yale University Press, 1974
References
- ↑ "Frederic B. Fitch", Obituaries, New York Times, September 19, 1987.
- ↑ Frederic Fitch at the Mathematics Genealogy Project
- ↑ Bimbo, Katalin (2014), Proof Theory: Sequent Calculi and Related Formalisms, Discrete Mathematics and Its Applications, CRC Press, p. 272, ISBN 9781466564688.
- ↑ Fitch's Paradox of Knowability in the Stanford Encyclopedia of Philosophy.
External links
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.