The Life and Work of Leon Henkin: Essays on His by María Manzano, Ildikó Sain, Enrique Alonso

By María Manzano, Ildikó Sain, Enrique Alonso

This is a complete booklet at the existence and works of Leon Henkin (1921–2006), a unprecedented scientist and ideal instructor whose writings grew to become influential correct from the start of his occupation together with his doctoral thesis on “The completeness of formal structures” below the course of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the crowd in common sense and the technique of technological know-how within the division of arithmetic on the collage of California Berkeley in 1953. He stayed with the gang until eventually his retirement in 1991. This edited quantity contains either foundational fabric and a common sense point of view. Algebraic good judgment, version thought, kind conception, completeness theorems, philosophical and foundational experiences are one of the themes coated, in addition to mathematical schooling. The paintings discusses Henkin’s highbrow improvement, his relation to his predecessors and contemporaries and his impression at the contemporary improvement of mathematical common sense. It bargains a invaluable reference paintings for researchers and scholars within the fields of philosophy, arithmetic and computing device science.

Show description

Read Online or Download The Life and Work of Leon Henkin: Essays on His Contributions PDF

Best professionals & academics books

Andre Green at the Squiggle Foundation

Regardless of being one of many prime psychoanalysts operating at the present time, a lot of Green's paintings has till lately been unavailable in English. This paintings rectifies this via gathering jointly 5 lectures given to the Squiggle starting place in London. This obtainable and obviously written ebook presents a distinct creation to Green's paintings and its relation to the paintings of D.

Daniel Defoe: Master of Fictions: His Life and Ideas

Daniel Defoe led an exhilarating and certainly precarious existence. A provocative pamphleteer and journalist, a secret agent and double agent, a innovative and a dreamer, he used to be variously hunted via mobs with murderous cause and handled as a celeb through the main strong leaders of the rustic. Imprisoned again and again, pilloried and reviled via his enemies, via all of it he controlled to provide essentially the most major literature of the eighteenth century.

Albert Schweitzer : a biography

This biography presents a flexible perception into the lifestyles, paintings, and regarded Albert Schweitzer (1875-1965). Nils Ole Oermann bargains an in depth account of the multifaceted lifetime of Albert Schweitzer who was once a theologian, organist, thinker, health care provider, and scientific missionary. Schweitzer's existence was once now not a instantly course from the parsonage in Alsace to the collage of Strasbourg, then directly to the health center in Lambarene, and finishing with the Nobel Peace Prize in Oslo.

Extra resources for The Life and Work of Leon Henkin: Essays on His Contributions

Sample text

4. In order to be mad, it is necessary to come to Wonderland; In order to be mad, it is sufficient to come to Wonderland; In order to come to Wonderland, it is necessary to be mad; In order to come to Wonderland, it is sufficient to be mad. Tracing Back “Logic in Wonderland” to My Work with Leon Henkin 31 Fig. 2 From [1, p. 99] 7 In Summary Leon was one of the most serious logicians of the 20th century. His work is mentioned in many places, but my favorite one is the way Hofstater describes it in his famous book: Gödel, Escher, Bach (pp.

On mathematical induction. Am. Math. Mon. 67(4), 323–338 (1960) 20. : Retracing Elementary Mathematics. Macmillan, New York (1962) 21. : Are logic and mathematics identical? Science 138, 788–794 (1962) 22. : New directions in secondary school mathematics. W. ) New Directions in Mathematics, pp. 1–6. Prentice Hall, New York (1963) 33 We interchanged several e-mails. 22 M. Manzano and E. Alonso 23. : An extension of the Craig–Lyndon interpolation theorem. J. Symb. Log. 28(3), 201–216 (1963) 24.

31 See [9, p. 593]. 32 See [2, p. 89, footnote 3]. See also Anellis [3]. 33 The reply was that the collection record is unarranged and therefore unavailable for use. Acknowledgements The authors wish to thank several colleagues and staff, including Steve Givant, Peter Andrews, Wilfrid Hodges, John Addison, Antonia Huertas and David Kessler. Special thanks to Henkin’s family: Ginette Henkin, Paul Henkin and Julian Henkin. References 1. :. In Memoriam: Leon Albert Henkin. University of California.

Download PDF sample

Rated 4.63 of 5 – based on 36 votes