Church's Type Theory

[Revised entry by Peter Andrews on February 14, 2014. Changes to: Main text, Bibliography] Church's type theory is a formal logical language which includes first-order logic, but is more
Philosophy News image
[Revised entry by Peter Andrews on February 14, 2014. Changes to: Main text, Bibliography] Church's type theory is a formal logical language which includes first-order logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus