Haim Gaifman

Haim Gaifman (* 1934)[1] ist ein israelischer Mathematiker, Logiker und Philosoph.

Haim Gaifman erhielt 1958 den Master of Science Abschluss an der Hebräischen Universität Jerusalem. Dort war er Student von Abraham Robinson und Jehoschua Bar-Hillel, der ihn auch zu Rudolf Carnap an die University of California, Los Angeles vermittelte. 1962 wurde er mit der Dissertation Two Contributions to the Theory of Boolean Algebras unter Alfred Tarski an der University of California, Berkeley promoviert.[2] Er arbeitete als Professor für Mathematik an der Hebräischen Universität, an der er heute Emeritus ist.

Gaifman forscht auf dem Gebiet der mathematischen Logik und Mengenlehre. Er führte die Technik der iterierten Ultraprodukte ein, arbeitete über Modelle der Peano-Arithmetik sowie über Grundlagen der Wahrscheinlichkeitstheorie. In der endlichen Modelltheorie sind die Begriffe Gaifman-Graph und Gaifman-Lokalität sowie der Satz von Gaifman mit seinem Namen verbunden. Als Philosoph gilt sein Interesse der Sprachphilosophie und der Philosophie der Mathematik.[3][4]

Weblinks

Interview in The Reasoner, Band 5, 2011, pdf

Einzelnachweise

K. Ito (Hrsg.), Encyclopedic Dictionary of Mathematics, MIT Press, Band 2, 1993, Namensregister
Haim Gaifman im Mathematics Genealogy Project (englisch)
Haim Gaifman an der Columbia University (englisch)
Haim Gaifman home page (englisch)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.

[1] K. Ito (Hrsg.), Encyclopedic Dictionary of Mathematics, MIT Press, Band 2, 1993, Namensregister

[2] Haim Gaifman im Mathematics Genealogy Project (englisch)

[3] Haim Gaifman an der Columbia University (englisch)

[4] Haim Gaifman home page (englisch)