Haim Gaifman

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 2. Dezember 2020 um 02:45 Uhr durch imported>APPERbot(556709) (Bot: Normdaten korrigiert (Weiterleitende VIAF:297011080 durch VIAF:309616003 ersetzt)).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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

Einzelnachweise

  1. K. Ito (Hrsg.), Encyclopedic Dictionary of Mathematics, MIT Press, Band 2, 1993, Namensregister
  2. Haim Gaifman im Mathematics Genealogy Project (englisch)Vorlage:MathGenealogyProject/Wartung/id verwendetVorlage:MathGenealogyProject/Wartung/name verwendet
  3. Haim Gaifman an der Columbia University (englisch)
  4. Haim Gaifman home page (englisch)