Georg kreisel

Georg kreisel Date esentiale
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 .

Biografie

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 .

Lucrări

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.

Note și referințe

  1. (ro) pp.  265–266 , Beyond Art: A Third Culture , Peter Weibel, Ludwig Múzeum (Budapesta, Ungaria), Neue Galerie am Landesmuseum Joanneum, Museum van Hedendaagse Kunst Antwerpen. New York: Springer-Verlag, 2005. ( ISBN  3-211-24562-6 ) .
  2. (în) John J. O'Connor și Edmund F. Robertson , „Georg Kreisel” în arhiva MacTutor History of Mathematics , Universitatea din St Andrews ( citește online ).
  3. (în) Review of Piergiorgio Odifreddi, editor, Kreiseliana: About and Around Georg Kreisel , de Luis Carlos Pereira, Review of Modern Logic 8 , # 3-4 (2000), p.  127–131 .
  4. (în) programul „de desfacere” al lui Kreisel , Solomon Feferman , p.  247–273 , în Kreiseliana: About and Around George Kreisel , Piergiorgio Odifreddi, ed., Wellesley, Massachusetts: AK Peters, 1996. ( ISBN  1-56881-061-X )

Reflecții teoretice

Bibliografie

linkuri externe

Referințe

  1. Carte descărcabilă pe pagina profesională a lui Jean-Louis Krivine