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

References

  1. "Frederic B. Fitch", Obituaries, New York Times, September 19, 1987.
  2. Bimbo, Katalin (2014), Proof Theory: Sequent Calculi and Related Formalisms, Discrete Mathematics and Its Applications, CRC Press, p. 272, ISBN 9781466564688.
  3. Fitch's Paradox of Knowability in the Stanford Encyclopedia of Philosophy.
  4. Frederic Fitch at the Mathematics Genealogy Project

External links

This article is issued from Wikipedia - version of the Monday, February 29, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.