Frederic Fitch

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

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

  1. Lua error in package.lua at line 80: module 'strict' not found..
  2. Lua error in package.lua at line 80: module 'strict' not found..
  3. Fitch's Paradox of Knowability in the Stanford Encyclopedia of Philosophy.
  4. Frederic Fitch at the Mathematics Genealogy Project

External links