Help | |
Home - Scientists - Curry Haskell (Books) |
1-20 of 32 | Next 20 |
click price to see details click image to enlarge click link to go to the store
1. Foundations of Mathematical Logic by Haskell B. Curry | |
Paperback: 416
Pages
(2010-11-18)
list price: US$15.95 -- used & new: US$10.85 (price subject to change: see help) Asin: 0486634620 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
Still an interesting read.... The first chapter of the book could be considered an introduction to the philosophy of logic and mathematics. The author though views "philosophical logic" as the study of the principles of valid reasoning, and this is to be distinguished from "mathematical logic", wherein mathematical systems are constructed to study (formally) the principles of valid reasoning. One can also according to the author view logic as a theory in itself, and many "models" of it can be studied, in much the same way as many different models of geometry can be considered. The author also discusses very succinctly the logical paradoxes, and the different schools of thought in mathematics, such as Platonism, intuitionism, and formalism. The author clearly advocates the formalist school of thought in this book. In chapter 2, the author gets more into the details of formal reasoning, the field of semiotics is outlined, and the author first begins defining the grammar and symbols for the upcoming discussion. A theory is defined as a class of statements, and consistency and decidability of theories is defined. The idea of a deductive theory is also defined, and the author defines the notion of such a theory being complete. The notions of consistency, decidability, and completeness are the familiar ones now entrenched in current textbooks on mathematical logic. A formal system, according to the author, is a theory in which the parameters of the statements of the theory are introduced as unspecified objects, and the statements of the theory make assertions on the properties of the parameters and their relations. The author considers syntactical systems, wherein the formal objects are taken from some object language, and what he calls Ob systems, which are essentially the systems considered in modern mathematical logic.The author employs the familiar Godel numbering scheme to numerically represent formal objects. The notion of algorithm is brought in here as an effective procedure to manipulate the formal objects of a system. The next chapter is basically an introduction to the analysis of what would now be called the metalanguage of a formal system. This analysis is done in terms of what the author calls epistatements and epitheorems. Examples of these epitheorems include the Godel incompleteness theorem and the Skolem-Lowenheim theorem. The author introduces and classifies variables, and defines free and bound variables. A brief introduction to the lambda calculus and combinatory logic is given. Then in chapter 4, the author discusses logical systems which are relational but with no bound variables. These are called logical algebras by the author, and the reader will encounter the famous truth tables and lattices in this chapter. A discussion of the Heyting algebra is given in the notes to the chapter. The reader interested in the more exotic types of algebraic logic, such as quantum logic, could benefit greatly from the reading of this chapter. The logic of propositional calculus in terms of algebraic logic is discussed in chapter 5. Called propositional algebras by the author, the author proves the deduction theorem for such systems in this chapter. Interestingly, the L systems introduced by Gentzen are also discussed in this chapter. Although there are much better overviews of Gentzen's work in the current literature, a reader may still profit from a perusing of this chapter. L-systems where negation is added is then the subject of the next chapter. Quantification in formal systems is taken up in chapter 7, considered both in the usual predicate calculus and in L systems. Prenex normal forms, the Herbrand-Gentzen theorem, and the completeness theorem are discussed in fairly good detail, albeit with old-fashioned notation. The last chapter covers the interesting concept of modal logic. First considered by Aristotle, the author discusses it in the context of L systems, with the presentation being the shortest in the book. ... Read more |
2. Theory of Formal Deducibility by Haskell Brooks Curry | |
Paperback:
Pages
(1957-06)
list price: US$5.95 Isbn: 0268002746 Canada | United Kingdom | Germany | France | Japan | |
3. Outlines of a Formalist Philosophy of Mathematics (Study in Logic & Mathematics) by Haskell B. Curry | |
Paperback: 83
Pages
(1970-04)
Isbn: 072042206X Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Customer Reviews (1)
Outlines of an arbitrary philosophy of mathematics for which there are no arguments |
4. Personnalité En Informatique Théorique: John Von Neumann, Alan Turing, Donald Knuth, Kurt Gödel, Claude Shannon, Haskell Curry, Seymour Papert (French Edition) | |
Paperback: 136
Pages
(2010-08-05)
list price: US$22.44 -- used & new: US$16.61 (price subject to change: see help) Asin: 1159868816 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
5. American Logicians: Alonzo Church, Charles Sanders Peirce, Raymond Smullyan, Haskell Curry, George Boolos, Clarence Irving Lewis, John Corcoran | |
Paperback: 202
Pages
(2010-09-14)
list price: US$28.66 -- used & new: US$22.93 (price subject to change: see help) Asin: 1155847415 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
6. Pennsylvania State University Faculty: Roger Penrose, Haskell Curry, Theodore Roethke, Sarvadaman Chowla, Ron Larson, Joseph Heller | |
Paperback: 490
Pages
(2010-09-15)
list price: US$55.31 -- used & new: US$55.31 (price subject to change: see help) Asin: 1155831705 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
7. Philosophers of Mathematics: Ludwig Wittgenstein, Bertrand Russell, George Lakoff, Gottlob Frege, Imre Lakatos, Haskell Curry, Hilary Putnam | |
Paperback: 250
Pages
(2010-09-15)
list price: US$33.03 -- used & new: US$25.10 (price subject to change: see help) Asin: 1155897455 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
8. Outlines of a Formalist Philosophy of Mathematics by Haskell Curry | |
Paperback: 75
Pages
(1951-01-01)
Asin: B002FDSIF4 Canada | United Kingdom | Germany | France | Japan | |
9. Foudations of Mathematical Logic by Haskell Curry | |
Hardcover:
Pages
(1963-01-01)
Asin: B002HC2AUW Canada | United Kingdom | Germany | France | Japan | |
10. Studies in Logic and the Foundations of Mathematics, Volume 1-Combinatory Logic by Haskell B.; Feys, Robert; Craig, William Curry | |
Hardcover:
Pages
(1958-01-01)
Asin: B0041N5RDC Canada | United Kingdom | Germany | France | Japan | |
11. A theory of Formal Deducibility by Haskell Curry | |
Paperback:
Pages
(1950-01-01)
Asin: B002R946NE Canada | United Kingdom | Germany | France | Japan | |
12. Foundation of Mathematical Logic by Haskell B. Curry | |
Hardcover:
Pages
(1963)
Asin: B002JN2YNW Canada | United Kingdom | Germany | France | Japan | |
13. Theory of Formal Deductibility. by Haskell B. Curry | |
Paperback:
Pages
(1966)
Asin: B000M4B80U Canada | United Kingdom | Germany | France | Japan | |
14. Hochschullehrer (Penn State): John Barth, Paul Davidson, Thomas Rogers, Haskell Brooks Curry, Boris Weisfeiler, Sarvadaman Chowla (German Edition) | |
Paperback: 40
Pages
(2010-07-22)
list price: US$14.14 -- used & new: US$14.13 (price subject to change: see help) Asin: 115905584X Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
15. Lecons de Logique Algebrique (Collection de Logique Mathematique Serie A, II) by Haskell B. Curry | |
Paperback: 163
Pages
(1952)
Asin: B000IO5ND2 Canada | United Kingdom | Germany | France | Japan | |
16. Combinatory Logic: Volume I. Studies in Logic and the Foundations of Mathematics by Haskell B. Curry, Robert Feys, William Craig | |
Hardcover: 417
Pages
Asin: B000NPV3IK Canada | United Kingdom | Germany | France | Japan | |
17. Haskell Curry | |
Paperback: 100
Pages
(2010-08-10)
list price: US$45.00 Isbn: 6130646720 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
18. A study of fourth order interpolation on the Eniac (Report) by Haskell B Curry | |
Unknown Binding: 23
Pages
(1946)
Asin: B0007HX6FW Canada | United Kingdom | Germany | France | Japan | |
19. Lecons de Logique Algebrique. by Haskell B. CURRY | |
Paperback:
Pages
(1951)
Asin: B0013ELP4M Canada | United Kingdom | Germany | France | Japan | |
20. On the composition of programs for automatic computing: (Project NOL 118b, NR-044-049) (United States Naval Ordnance Laboratory, White Oak, Md. Memorandum) by Haskell B Curry | |
Unknown Binding:
Pages
(1949)
Asin: B0007G1ETS Canada | United Kingdom | Germany | France | Japan | |
1-20 of 32 | Next 20 |