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

See also

References

  1. ↑ "Frederic B. Fitch", Obituaries, New York Times, September 19, 1987 .
  2. ↑ Frederic Fitch at the Mathematics Genealogy Project
  3. ↑ Bimbo, Katalin (2014), Proof Theory: Sequent Calculi and Related Formalisms, Discrete Mathematics and Its Applications, CRC Press, p. 272, ISBN 9781466564688 .
  4. ↑ Fitch's Paradox of Knowability in the Stanford Encyclopedia of Philosophy.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.