Haim Gaifman - Haim Gaifman

Tento životopis živé osoby potřebuje další citace pro ověření. Pomozte prosím přidáním spolehlivé zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. Najít zdroje: „Haim Gaifman“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Únor 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Haim Gaifman (narozen 1934) je logik, teoretik pravděpodobnosti a filozof jazyka, který je profesorem filozofie na Columbia University.

Vzdělání a kariéra

V roce 1958 získal titul M.Sc. na Hebrejská univerzita. V roce 1962 získal titul Ph.D. na University of California, Berkeley pod Alfred Tarski na téma nekonečný Booleovy algebry.^[1] Od té doby zastával různé stálé a hostující pozice v katedrách matematiky, filozofie a informatiky. Zatímco byl profesorem matematiky na Hebrejské univerzitě, učil filozofické kurzy a řídil program v dějinách a filozofii vědy.

Filozofická práce

Gaifman pracuje matematická logika a vyvinuli iteraci ultrapower technika v teorie množin a modely Peano aritmetika. Dále má výsledky v základech pravděpodobnosti, definování pravděpodobností na první objednávka a v bohatších jazycích. Pracoval také v filozofie jazyka, filozofie matematiky, a teoretická informatika.^[2]

Reference

externí odkazy

• Díla Haima Gaifmana
• Haim Gaifman osobní domovská stránka