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)
Introduction to Non-Linear Mechanics. (AM-11), Volume 11 Rating: 0 out of 5 stars0 ratingsAn Introduction to Linear Transformations in Hilbert Space. (AM-4), Volume 4 Rating: 0 out of 5 stars0 ratingsAlgebraic Theory of Numbers. (AM-1), Volume 1 Rating: 0 out of 5 stars0 ratingsThe Calculi of Lambda-Conversion (AM-6), Volume 6 Rating: 4 out of 5 stars4/5Degree of Approximation by Polynomials in the Complex Domain. (AM-9), Volume 9 Rating: 0 out of 5 stars0 ratingsFinite Dimensional Vector Spaces. (AM-7), Volume 7 Rating: 4 out of 5 stars4/5Convergence and Uniformity in Topology. (AM-2), Volume 2 Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Nonlinear Oscillations (AM-29), Volume II Rating: 0 out of 5 stars0 ratingsDegrees of Unsolvability. (AM-55), Volume 55 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 ratingsFourier Transforms. (AM-19), Volume 19 Rating: 0 out of 5 stars0 ratingsAn Essay Toward a Unified Theory of Special Functions. (AM-18), Volume 18 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 ratingsLectures on Differential Equations. (AM-14), Volume 14 Rating: 0 out of 5 stars0 ratingsTopics in Topology. (AM-10), Volume 10 Rating: 0 out of 5 stars0 ratingsMeromorphic Functions and Analytic Curves. (AM-12) Rating: 0 out of 5 stars0 ratingsConsistency of the Continuum Hypothesis. (AM-3), Volume 3 Rating: 0 out of 5 stars0 ratingsExistence Theorems in Partial Differential Equations. (AM-23), Volume 23 Rating: 0 out of 5 stars0 ratingsThe Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 Rating: 0 out of 5 stars0 ratingsAutomata Studies. (AM-34), Volume 34 Rating: 5 out of 5 stars5/5Contributions to the Theory of Games (AM-24), Volume I Rating: 0 out of 5 stars0 ratingsProbleme General de la Stabilite du Mouvement. (AM-17), Volume 17 Rating: 0 out of 5 stars0 ratingsTranscendental Numbers. (AM-16) Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Nonlinear Oscillations (AM-41), Volume IV Rating: 0 out of 5 stars0 ratingsComposition Methods in Homotopy Groups of Spheres. (AM-49), Volume 49 Rating: 0 out of 5 stars0 ratingsContributions to Fourier Analysis. (AM-25) Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Nonlinear Oscillations (AM-20), Volume I Rating: 0 out of 5 stars0 ratingsIsoperimetric Inequalities in Mathematical Physics. (AM-27), Volume 27 Rating: 0 out of 5 stars0 ratingsContributions to the Theory of Nonlinear Oscillations (AM-36), Volume III Rating: 0 out of 5 stars0 ratingsCurvature and Betti Numbers. (AM-32), Volume 32 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 ratingsLectures on Modular Forms. (AM-48), Volume 48 Rating: 0 out of 5 stars0 ratingsIntegration, Measure and Probability Rating: 0 out of 5 stars0 ratingsThe Method of Trigonometrical Sums in the Theory of Numbers Rating: 0 out of 5 stars0 ratingsTheory of Markov Processes Rating: 0 out of 5 stars0 ratingsMorse Theory. (AM-51), Volume 51 Rating: 4 out of 5 stars4/5Topological Vector Spaces, Distributions and Kernels Rating: 0 out of 5 stars0 ratingsErgodic Theory and Topological Dynamics Rating: 0 out of 5 stars0 ratingsComputability Theory: An Introduction to Recursion Theory Rating: 0 out of 5 stars0 ratingsCalculus of Variations Rating: 0 out of 5 stars0 ratingsEntire Functions Rating: 0 out of 5 stars0 ratingsFunctional Analysis Rating: 4 out of 5 stars4/5Relativity, decays and electromagnetic fields Rating: 0 out of 5 stars0 ratingsDegrees of Unsolvability. (AM-55), Volume 55 Rating: 0 out of 5 stars0 ratingsAutomata, Languages, and Machines Rating: 4 out of 5 stars4/5BigNum Math: Implementing Cryptographic Multiple Precision Arithmetic Rating: 3 out of 5 stars3/5Algebra, Topology, and Category Theory: A Collection of Papers in Honor of Samuel Eilenberg Rating: 5 out of 5 stars5/5On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 Rating: 0 out of 5 stars0 ratingsAn Elementary Course in Synthetic Projective Geometry Rating: 0 out of 5 stars0 ratingsIsoperimetric Inequalities in Mathematical Physics. (AM-27), Volume 27 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 ratingsIntroduction to Formal Languages Rating: 2 out of 5 stars2/5Harvey Friedman's Research on the Foundations of Mathematics Rating: 0 out of 5 stars0 ratingsDifferential Algebra & Algebraic Groups Rating: 0 out of 5 stars0 ratingsFinite Dimensional Vector Spaces. (AM-7), Volume 7 Rating: 4 out of 5 stars4/5Etale Homotopy of Simplicial Schemes. (AM-104), Volume 104 Rating: 1 out of 5 stars1/5Braids, Links, and Mapping Class Groups. (AM-82), Volume 82 Rating: 0 out of 5 stars0 ratingsTheory of Formal Systems. (AM-47), Volume 47 Rating: 4 out of 5 stars4/5Topology and Its Applications Rating: 3 out of 5 stars3/5Introduction to Abstract Analysis Rating: 0 out of 5 stars0 ratings
Mathematics For You
Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Algebra - The Very Basics Rating: 5 out of 5 stars5/5Geometry For Dummies Rating: 5 out of 5 stars5/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5Basic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5Precalculus: A Self-Teaching Guide Rating: 5 out of 5 stars5/5See Ya Later Calculator: Simple Math Tricks You Can Do in Your Head Rating: 4 out of 5 stars4/5Quantum Physics for Beginners Rating: 4 out of 5 stars4/5Basic Math & Pre-Algebra Workbook For Dummies with Online Practice Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Must Know High School Algebra, Second Edition Rating: 0 out of 5 stars0 ratingsRelativity: The special and the general theory Rating: 5 out of 5 stars5/5Introducing Game Theory: A Graphic Guide Rating: 4 out of 5 stars4/5Game Theory: A Simple Introduction Rating: 4 out of 5 stars4/5A Mind for Numbers | Summary Rating: 4 out of 5 stars4/5Calculus Made Easy Rating: 4 out of 5 stars4/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5The Everything Guide to Algebra: A Step-by-Step Guide to the Basics of Algebra - in Plain English! Rating: 4 out of 5 stars4/5Summary of The Black Swan: by Nassim Nicholas Taleb | Includes Analysis Rating: 5 out of 5 stars5/5ACT Math & Science Prep: Includes 500+ Practice Questions Rating: 3 out of 5 stars3/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsIs God a Mathematician? 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/5The Elements of Euclid for the Use of Schools and Colleges (Illustrated) Rating: 0 out of 5 stars0 ratingsMy Best Mathematical and Logic Puzzles Rating: 5 out of 5 stars5/5
Reviews for The Calculi of Lambda-Conversion (AM-6), Volume 6
1 rating0 reviews