Frederic Fitch
Frederic Brenton Fitch (1908 – September 18, 1987) was an American logician, a Sterling Professor at Yale University.[1]
Fitch was the inventor of the Fitch-style calculus for arranging formal logical proofs as diagrams.[2] 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.[3]
Fitch earned his Ph.D. from Yale in 1934 under the supervision of F. S. C. Northrop.[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.
- ↑ 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.
- ↑ Frederic Fitch at the Mathematics Genealogy Project
External links
This article is issued from Wikipedia - version of the 2/29/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.