| 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 |
| Analysis |
wiskunde |
|
mathematics |
|
geschiedenis |
|
history |
|
logica |
|
logic |
|
Mathematics (General) |
|
Wiskunde (algemeen) |
| Bibliography |
Includes bibliographical references |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed November 17, 2014) |
| Subject |
Henkin, Leon.
|
| SUBJECT |
Henkin, Leon fast |
| Subject |
Logic, Symbolic and mathematical.
|
|
MATHEMATICS -- General.
|
|
Logic, Symbolic and mathematical
|
| Genre/Form |
Festschriften
|
|
Festschriften.
|
| Form |
Electronic book
|
| Author |
Manzano, María, editor.
|
|
Sain, Ildikó, editor
|
|
Alonso, Enrique, editor
|
|
Henkin, Leon, honouree
|
| ISBN |
9783319097190 |
|
3319097199 |
|
