Naștere |
15 septembrie 1923 Graz ( Austria ) |
---|---|
Moarte |
1 st Martie Aprilie în anul 2015 Salzburg ( Austria ) |
Naţionalitate | britanic |
Zone | Logică |
Instituții |
Universitatea Stanford Universitatea din Paris |
Diplomă | Universitatea Cambridge |
Renumit pentru | Lucrați la teoria dovezilor |
Georg Kreisel (născut la15 septembrie 1923în Graz și a murit pe1 st Martie Aprilie în anul 2015în Salzburg ) a fost un logician matematic născut în Austria, care a studiat și a lucrat în Regatul Unit și Statele Unite .
Kreisel provenea dintr-o familie evreiască ; familia lui îl trimisese în Marea Britanie înainte de Anschluss ; a studiat la Universitatea Cambridge . Din 1943 până în 1946, s-a înrolat în armată în probleme de inginerie. După război și-a luat doctoratul la Universitatea Cambridge. A predat la Universitatea din Reading până în 1954 și apoi a lucrat la Institutul de studii avansate din 1955 până în 1957. Ulterior a predat la Universitatea Stanford și la Universitatea din Paris . A devenit profesor la Universitatea Stanford în 1962 și a rămas acolo până la pensionarea sa în 1985 .
Kreisel a lucrat în mai multe domenii ale logicii și în special în teoria dovezilor, unde se știe că a încercat să extragă conținut constructivist din dovezi aparent neconstructive.
Kreisel a fost ales în Societatea Regală în 1966. Prieten al lui François Le Lionnais , a fost invitat de onoare la Oulipo în 1984.