Frederic Fitch
From Infogalactic: the planetary knowledge core
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
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Fitch's Paradox of Knowability in the Stanford Encyclopedia of Philosophy.
- ↑ Frederic Fitch at the Mathematics Genealogy Project