Limit search to available items
Book Cover

Title The life and work of Leon Henkin : essays on his contributions / María Manzano, Ildikó Sain, Enrique Alonso, editors
Published Cham : Birkhäuser, [2014]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xxii, 351 pages) : illustrations (some color)
Series Studies in universal logic, 2297-0282
Studies in universal logic.
Contents The Life and Work of Leon Henkin; Preface; Henkin's Investigations and Beyond; Leon Henkin Up Close and Personally; Contents; Contributors; Part I: Biographical Studies; Leon Henkin; 1 Life; 2 Graduate Studies at Columbia University; 3 Doctorate Studies with Alonzo Church; 3.1 The Princeton Mathematics Community in the 1930s; 3.2 The Second World War; 4 Service to the Department and to the University; 5 His Research; 5.1 Completeness; 5.2 Algebraic Logic; 5.3 Identity; 5.4 Nominalism; 5.5 Mathematical Induction; 5.6 Mathematical Education; 5.7 A Problem Concerning Provability
5.8 Language with Only a Finite Number of Variables6 Henkin the Teacher; 7 The Roles of Action and Thought in Mathematics Education; 8 The Never Ending Story; 8.1 Bertrand Russell's Request; 8.2 Henkin's Boolean Models: Peter Andrews' Proposed Homework; References; Lessons from Leon; Tracing Back ""Logic in Wonderland"" to My Work with Leon Henkin; 1 How Did I End Up Having Leon for a Thesis Advisor?; 2 Leon the Tactful Advisor; 3 Hanukah at 9 Maybeck Twin Drive; 4 Leon-A Logician in Every Way; 5 Leon's Mathematical Humor and Warm Correspondence
6 Tracing Back Logic in Wonderland to My Ph.D. Studies Days6.1 Sample Handout 1; 6.2 Sample Handout 2; 7 In Summary; Reference; Henkin and the Suit; A Fortuitous Year with Leon Henkin; 1 Coda; References; Leon Henkin and a Life of Service; 1 Seminars in Berkeley and Montreal with Leon Henkin; 2 Leon Henkin's Help with a Visit to Poland; 3 Some Conferences; the Political Situation in Poland; 4 The Mal'tsev Book; 5 Mathematics Education and Leon Henkin; 6 Leon's Help with University Administrations; 7 The Henkin Plan and the Dissertation; 8 Conclusion; References
Part II: Henkin's Contribution to XX Century LogicLeon Henkin and Cylindric Algebras; 1 Introduction; 2 Algebraic Theory; 3 Set Algebras; 4 Representation Theorems; 5 Nonrepresentable Cylindric Algebras; 5.1 Permutation Models; 5.2 Dilation; 5.3 Twisting; 6 Applications to Logic; References: Publications of Henkin Concerning Cylindric Algebras; A Bit of History Related to Logic Based on Equality; References; Pairing Logical and Pedagogical Foundations for the Theory of Positive Rational Numbers-Henkin's Unfinished Work; 1 Introduction; 2 Five Pairs of Deductive-Didactical Presentations
2.1 Pair I: Axiomatic Method 1 and Pedagogical CommentsAxiomatic Method 1; Pedagogical Comments to Axiomatic Method 1; 2.2 Pair II: Axiomatic Method 2 and Pedagogical Comments; Axiomatic Method 2; Pedagogical Comments to Axiomatic Method 2; 2.3 Pair III: Axiomatic Method 3 and Pedagogical Comments; Axiomatics Method 3; Pedagogical Comments to Axiomatic Method 3; 2.4 Pair IV: Definitional Method 1 (Classical) and Pedagogical Comments; Definitional Method 1; Pedagogical Comments to Definitional Method 1; 2.5 Pair V: Definitional Method 2 (Nonclassical) and Pedagogical Comments; Definitional Method 2
Summary This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on "The completeness of formal systems" under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991. This edited volume includes both foundational material a
Bibliography Includes bibliographical references
Notes Online resource; title from PDF title page (SpringerLink, viewed November 17, 2014)
Subject Henkin, Leon.
Logic, Symbolic and mathematical.
Genre/Form Festschriften.
Form Electronic book
Author Manzano, María, editor
Sain, Ildikó, editor
Alonso, Enrique, editor
Henkin, Leon, honoree
LC no. 2014954444
ISBN 3319097199 (electronic bk)
9783319097190 (electronic bk)