The Calculi of Lambda-Conversion (AM-6), Volume 6
4/5
()
About this ebook
The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer science
This book provides a concise introduction to the calculi of lambda-conversion first discovered by Alonzo Church and developed by him in collaboration with his students, S. C. Kleene and J. B. Rosser. The first four chapters present the calculus of lambda-conversion in detail, with subsequent chapters discussing the calculus of λ-K-conversion, the calculus of restricted λ-K-conversion, and the calculus of λ-δ-conversion, as well as the applications of the latter to symbolic logic. Gödel numbers are presented using simplified notation, and the fundamental Church-Rosser consistency theorem is discussed in full. This influential book is one that attracted the interest of Alan Turing—who later completed his PhD under Church’s supervision—and is widely credited with helping to usher in the modern age of computer science.
Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition into the twenty-first century as Princeton looks forward to publishing the major works of the new millennium.
Read more from Alonzo Church
Princeton Landmarks in Mathematics and Physics
Related to The Calculi of Lambda-Conversion (AM-6), Volume 6
Titles in the series (100)
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 Rating: 0 out of 5 stars0 ratingsConvergence and Uniformity in Topology. (AM-2), Volume 2 Rating: 0 out of 5 stars0 ratingsTopics in Topology. (AM-10), Volume 10 Rating: 0 out of 5 stars0 ratingsFinite Dimensional Vector Spaces. (AM-7), Volume 7 Rating: 4 out of 5 stars4/5Contributions to the Theory of Nonlinear Oscillations (AM-36), Volume III Rating: 0 out of 5 stars0 ratingsA Theory of Cross-Spaces. (AM-26), Volume 26 Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Nonlinear Oscillations (AM-29), Volume II Rating: 0 out of 5 stars0 ratingsMeromorphic Functions and Analytic Curves. (AM-12) Rating: 0 out of 5 stars0 ratingsIsoperimetric Inequalities in Mathematical Physics. (AM-27), Volume 27 Rating: 0 out of 5 stars0 ratingsConsistency of the Continuum Hypothesis. (AM-3), Volume 3 Rating: 0 out of 5 stars0 ratingsAlgebraic Theory of Numbers. (AM-1), Volume 1 Rating: 0 out of 5 stars0 ratingsProbleme General de la Stabilite du Mouvement. (AM-17), Volume 17 Rating: 0 out of 5 stars0 ratingsAn Introduction to Linear Transformations in Hilbert Space. (AM-4), Volume 4 Rating: 0 out of 5 stars0 ratingsDegree of Approximation by Polynomials in the Complex Domain. (AM-9), Volume 9 Rating: 0 out of 5 stars0 ratingsContributions to Fourier Analysis. (AM-25) Rating: 0 out of 5 stars0 ratingsLectures on Differential Equations. (AM-14), Volume 14 Rating: 0 out of 5 stars0 ratingsIntroduction to Non-Linear Mechanics. (AM-11), Volume 11 Rating: 0 out of 5 stars0 ratingsLectures on the Theory of Games (AM-37) Rating: 1 out of 5 stars1/5Functional Operators (AM-22), Volume 2: The Geometry of Orthogonal Spaces. (AM-22) Rating: 0 out of 5 stars0 ratingsMetric Methods of Finsler Spaces and in the Foundations of Geometry. (AM-8) Rating: 0 out of 5 stars0 ratingsThe Calculi of Lambda-Conversion (AM-6), Volume 6 Rating: 4 out of 5 stars4/5Transcendental Numbers. (AM-16) Rating: 0 out of 5 stars0 ratingsExistence Theorems in Partial Differential Equations. (AM-23), Volume 23 Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Nonlinear Oscillations (AM-20), Volume I Rating: 0 out of 5 stars0 ratingsTopological Methods in the Theory of Functions of a Complex Variable. (AM-15), Volume 15 Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Games (AM-28), Volume II Rating: 0 out of 5 stars0 ratingsOrder-Preserving Maps and Integration Processes. (AM-31), Volume 31 Rating: 0 out of 5 stars0 ratingsAutomata Studies. (AM-34), Volume 34 Rating: 5 out of 5 stars5/5Surface Area. (AM-35), Volume 35 Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Games (AM-24), Volume I Rating: 0 out of 5 stars0 ratings
Related ebooks
Topics in Harmonic Analysis Related to the Littlewood-Paley Theory. (AM-63), Volume 63 Rating: 0 out of 5 stars0 ratingsEntire Functions Rating: 0 out of 5 stars0 ratingsLectures on Modular Forms. (AM-48), Volume 48 Rating: 0 out of 5 stars0 ratingsMathematical Methods: Linear Algebra / Normed Spaces / Distributions / Integration Rating: 0 out of 5 stars0 ratingsAdvanced Calculus: An Introduction to Classical Analysis Rating: 5 out of 5 stars5/5Elementary Differential Topology. (AM-54), Volume 54 Rating: 4 out of 5 stars4/5Morse Theory. (AM-51), Volume 51 Rating: 4 out of 5 stars4/5A Course of Higher Mathematics: Integration and Functional Analysis, Volume 5 Rating: 0 out of 5 stars0 ratingsModern Multidimensional Calculus Rating: 0 out of 5 stars0 ratingsRelativity, decays and electromagnetic fields Rating: 0 out of 5 stars0 ratingsDifferential Equations Rating: 1 out of 5 stars1/5Calculus of Variations Rating: 0 out of 5 stars0 ratingsAutomata, Languages, and Machines Rating: 4 out of 5 stars4/5Degrees of Unsolvability. (AM-55), Volume 55 Rating: 0 out of 5 stars0 ratingsOn Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 Rating: 0 out of 5 stars0 ratingsTopological Methods in the Theory of Functions of a Complex Variable. (AM-15), Volume 15 Rating: 0 out of 5 stars0 ratingsAn Elementary Course in Synthetic Projective Geometry Rating: 0 out of 5 stars0 ratingsBigNum Math: Implementing Cryptographic Multiple Precision Arithmetic Rating: 3 out of 5 stars3/5Finite Dimensional Vector Spaces. (AM-7), Volume 7 Rating: 4 out of 5 stars4/5Mathematical Logic Rating: 5 out of 5 stars5/5Algebra of Proofs Rating: 5 out of 5 stars5/5Introduction to Formal Languages Rating: 2 out of 5 stars2/5Symmetry Groups and Their Applications Rating: 0 out of 5 stars0 ratingsReal Analysis: A Historical Approach Rating: 0 out of 5 stars0 ratingsIsoperimetric Inequalities in Mathematical Physics. (AM-27), Volume 27 Rating: 0 out of 5 stars0 ratingsOperators and Representation Theory: Canonical Models for Algebras of Operators Arising in Quantum Mechanics Rating: 3 out of 5 stars3/5The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age Rating: 0 out of 5 stars0 ratingsDifferential Algebra & Algebraic Groups Rating: 0 out of 5 stars0 ratingsSet-Theoretic Paradoxes and their Resolution in Z-F Rating: 5 out of 5 stars5/5
Mathematics For You
The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5My Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5Algebra - The Very Basics Rating: 5 out of 5 stars5/5Quantum Physics for Beginners Rating: 4 out of 5 stars4/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsCalculus Made Easy Rating: 4 out of 5 stars4/5Flatland Rating: 4 out of 5 stars4/5Standard Deviations: Flawed Assumptions, Tortured Data, and Other Ways to Lie with Statistics Rating: 4 out of 5 stars4/5A Mind for Numbers | Summary Rating: 4 out of 5 stars4/5The Math of Life and Death: 7 Mathematical Principles That Shape Our Lives Rating: 4 out of 5 stars4/5Relativity: The special and the general theory Rating: 5 out of 5 stars5/5The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics Rating: 3 out of 5 stars3/5Game Theory: A Simple Introduction Rating: 4 out of 5 stars4/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5Geometry For Dummies Rating: 5 out of 5 stars5/5Summary of The Black Swan: by Nassim Nicholas Taleb | Includes Analysis Rating: 5 out of 5 stars5/5The Thirteen Books of the Elements, Vol. 1 Rating: 0 out of 5 stars0 ratingsIs God a Mathematician? Rating: 4 out of 5 stars4/5Mental Math: Tricks To Become A Human Calculator Rating: 5 out of 5 stars5/5Algebra I For Dummies Rating: 4 out of 5 stars4/5The Everything Everyday Math Book: From Tipping to Taxes, All the Real-World, Everyday Math Skills You Need Rating: 5 out of 5 stars5/5
Reviews for The Calculi of Lambda-Conversion (AM-6), Volume 6
1 rating0 reviews