Georg Kreisel

Georg Kreisel

Georg Kreisel (* 15. September 1923 in Graz) ist ein englisch-US-amerikanischer Logiker und Mathematiker.

Er wurde in Österreich geboren und aufgrund seines jüdischen Hintergrundes vor dem Einmarsch der Nationalsozialisten in Österreich 1938 von seinen Eltern nach England geschickt, wo er im Alter von 19 Jahren sein Studium der Mathematik am Trinity College der Universität Cambridge begann. Sein „Landsmann“ Ludwig Wittgenstein hielt ihn für seinen besten Schüler. Während des Zweiten Weltkriegs arbeitete er in der britischen Militärforschung und promovierte nach dem Krieg an der Universität Cambridge. Er war nach dem Krieg eng mit der anglo-irischen Schriftstellerin Iris Murdoch befreundet. Der englische Physiker und Nobelpreisträger Francis Crick zählte ihn zu seinen wichtigsten Mentoren. Er unterrichtete bis 1954 an der Universität Reading, um für die Jahre 1955 bis 1957 an das Institute for Advanced Studies in Princeton, New Jersey, USA zu wechseln. Anschließend unterrichtete er an der Stanford Universität und an der Universität von Paris. 1962 wurde er zum Professor an der Stanford Universität ernannt, wo er bis zu seiner Pensionierung blieb. Kreisel bearbeitete verschiedene Felder der mathematischen Logik und Beweistheorie, wo er durch sein sogenanntes „Unwinding“-Programm bekannt wurde. 1966 wurde er in die Nationale Akademie der Wissenschaften des Vereinigten Königreiches gewählt. Er setzte sich eingehend mit den Theorien von Kurt Gödel auseinander.

Eigene Arbeiten (Auszug)

  • On the interpretation of non-finitist proofs – Part I, J. Symbolic Logic 1951
  • Mathematical significance of consistency proofs, J. Symbolic Logic 1958
  • A survey of proof theory, J. Symbolic Logic 1968
  • Proof theory: Some personal recollections, in Proof Theory, 2nd ed., by G. Takeuti, 1987
  • Logical aspects of computation: Contributions and distractions, in Logic and Computer Science, Academic Press, San Diego. 1990
  • On the idea(l) of logical closure, Annals of Pure and Applied Logic 561992,

Quellen

  • S. Feferman, Kreisel’s „unwinding“ Program 1996. ISBN 1-56881-061-X
  • C.N. Delzell, Kreisel’s unwinding of Artin‘ s proof. 1994
  • C. Pereira. Kreiseliana: About and Around Georg Kreisel, Rev. P. Odifreddi, Hrsg. Review of Modern Logic 2000.

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Georg Kreisel — Naissance 15 septembre 1923 Graz (Autriche) Nationalité  Britannique Champs …   Wikipédia en Français

  • Georg Kreisel — (born September 15, 1923 in Graz) is an Austrian born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied at… …   Wikipedia

  • Kreisel (Begriffsklärung) — Kreisel steht für Kreisel, Rotationskörper Kreisverkehr, Verkehrsknotenpunkt Belgischer Kreisel, Radsportbegriff Schalker Kreisel, Spielform im Fußball Steglitzer Kreisel, Gebäude in Berlin Gleichgewichtskreisel, ein physiotherapeutisches Gerät… …   Deutsch Wikipedia

  • Kreisel — Kreisverkehrsplatz; Kreisverkehr * * * Krei|sel 〈m. 5〉 1. beliebiger starrer, in einem Punkt festgehaltener, rotierender Körper 2. 〈i. e. S.〉 gleichmäßig um eine Achse gebauter u. um diese drehbarer Körper (als technische Vorrichtung od. als… …   Universal-Lexikon

  • St. Georg (Böhen) — St. Georg in Böhen Die Pfarrkirche St. Georg ist eine römisch katholische Kirche in Böhen, im Landkreis Unterallgäu in Bayern. Die Pfarrkirche steht unter Denkmalschutz.[1] Inhaltsverzeichnis …   Deutsch Wikipedia

  • Κράισελ, Γκέοργκ — (Georg Kreisel, Γκρατς 1923 –). Αυστριακός μαθηματικός. Αποφοίτησε το 1944 από το Trinity College του Κέιμπριτζ, όπου σπούδασε μαθηματικά με καθηγητή τον Βιτγκενστάιν. Μετά από διετή θητεία στο ναυτικό επέστρεψε στο Κέιμπριτζ όπου επιδόθηκε σε… …   Dictionary of Greek

  • Liste der Biografien/Kre — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • Hoering — Walter Hoering (* 22. Mai 1933 in Tetschen Bodenbach) ist pensionierter Professor für Philosophie an der Universität Tübingen. Seine Forschungsschwerpunkte sind die Logik, die Didaktik der Logik, die Philosophie der Mathematik und die… …   Deutsch Wikipedia

  • Unsolved problems in computer science — This article is a list of open problems in computer science.A solution to the problems in this list will have a major impact on the field of study to which they belong. =P = NP?= ;Field : Theory of computation;Source : S. A. Cook and Leonid Levin …   Wikipedia

  • Walter Hoering — (* 22. Mai 1933 in Tetschen Bodenbach) ist pensionierter Professor für Philosophie an der Universität Tübingen. Seine Forschungsschwerpunkte sind die Logik, die Didaktik der Logik, die Philosophie der Mathematik und die Wissenschaftstheorie.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”