 The Existence of Combinatory Algebras: Combinatory LogicErwin Engeler
Chapter § 2 in Foundations of Mathematics, 1993, pp 78-84 from Springer Abstract: Abstract If the reader has tried to manufacture a useful example of a combinatory algebra for himself, at some stage he will blame me for doing away, along with type differences with a great deal of mathematical intuition. Indeed in this connection the step from the possible to the contradictory has been made by various mathematicians. From the point of view of the founders (Schönfinkel, Curry and Church) the general aim was not just the axiomatization of the concept of application for general functions, but rather a functional foundation of all logic and mathematics. In particular Curry and Church originally proposed systems, which together with reasonable appearing ingredients for combinatory algebra, also included logical rules and parts of mathematics. These expanded systems then proved to be inconsistent (Kleene & Rosser 1935). Curry considered that this lay in the nature of the subject — he compared the axioms with Frege’s system and gave the opinion that “here we are dealing with notions of such great generality, that intuition fails us. We are researching in a no-man’s land between what is certain and what is known to be contradictory”. Date: 1993 There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it. Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-78052-3_11 Ordering information: This item can be ordered from DOI: 10.1007/978-3-642-78052-3_11 Access Statistics for this chapter More chapters in Springer Books from Springer |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.