Martin Hugo Löb

Martin Hugo Löb

Martin Hugo Löb (* 31. März 1921 in Berlin; † 21. August 2006 in Annen, Drenthe) war ein deutscher Mathematiker. Er arbeitete im Bereich der mathematischen Logik und veröffentlichte 1955 den heute nach ihm benannten Satz von Löb, in dem er unabhängig von Curry dessen bereits 13 Jahre vorher formuliertes Paradoxon wieder entdeckte.

Leben

Löb wuchs in Berlin auf, flüchtete jedoch kurz vor Ausbruch des Zweiten Weltkriegs vor den Nationalsozialisten nach Großbritannien. Dort wurde er als enemy alien 1940 in ein Internierungslager in Hay in Australien deportiert, wo er als 19-Jähriger von dortigen Häftlingen in Mathematik unterrichtet wurde. Einer seiner Lehrer, Felix Behrend, wurde später Professor an der Universität Melbourne.

1943 konnte Löb nach Großbritannien zurückkehren und studierte nach dem Krieg an der Universität London. Dort erlangte er 1951 den Grad eines PhD bei Reuben Goodstein, der zu diesem Zeitpunkt am University College in Leicester arbeitete, mit dem Thema "A Methodological Characterization of Constructive Mathematics" und wurde im selben Jahr Assistenzprofessor (assistant lecturer) an der Universität Leeds. Dort war er 20 Jahre lang tätig, wurde Reader und später Professor für Mathematische Logik.

Löb war verheiratet und hatte zwei Töchter. Seine Ehefrau Caroline war Holländerin, und so nahm er in den frühen 1970er Jahren eine Professur an der Universität Amsterdam als Nachfolger von Beth an.

Werk

Löb arbeitete im Bereich der mathematischen Logik, insbesondere beschäftigte er sich mit Beweistheorie, Modallogik und Berechenbarkeitstheorie. In Leeds baute er eine Arbeitsgruppe Mathematische Logik auf, die zu einer der führenden Zentren auf diesem Gebiet in Großbritannien wurde. Er formulierte 1955 den Satz von Löb, eine formale Version des Löb'schen Paradoxons, und zeigte darin, dass sogenannte Henkin-Sätze, die ihre eigene Beweisbarkeit behaupten, wahr sein müssen. Gewissermaßen ist dieser Satz eine Umkehrung des Gödelschen Unvollständigkeitssatzes von 1931: Während letzterer aussagt, dass für ein gegebenes System T die Aussage "Dieser Satz ist unbeweisbar in T" tatsächlich unbeweisbar ist, wenn T konsistent ist, besagt der Satz von Löb, dass die Aussage "Dieser Satz ist beweisbar in T" tatsächlich beweisbar ist.

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

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

  • Martin Löb — Martin Hugo Löb (* 31. März 1921 in Berlin; † 21. August 2006 in Annen, Drenthe) war ein deutscher Mathematiker. Er arbeitete im Bereich der mathematischen Logik und veröffentlichte 1955 den nach ihm benannten Satz von Löb, dem eine analoge… …   Deutsch Wikipedia

  • Martin Löb — Martin Hugo Löb (31 March 1921, Berlin 21 August 2006, Annen) was a German mathematician. He settled in the United Kingdom after the Second World War and specialised in mathematical logic. He moved to the Netherlands in the 1970s, where he… …   Wikipedia

  • Löb — Den Namen Loeb oder Löb tragen Arno Löb (* 1953), deutscher Musiker und Autor Denise Loeb (1902−2004), französische Fotografin, Schwester des Kunstsammlers und händlers Pierre Loeb Caroline Loeb, (* 1955) französische Sängerin François Loeb (*… …   Deutsch Wikipedia

  • Löb's theorem — In mathematical logic, Löb s theorem states that in a theory with Peano arithmetic, for any formula P, if it is provable that if P is provable then P , then P is provable. I.e.:if PA vdash Bew(# P) ightarrow P, then PA vdash Pwhere Bew(#P) means… …   Wikipedia

  • Theoreme de Lob — Théorème de Löb En logique mathématique, le théorème de Löb, démontré par Martin Hugo Löb (31 mars 1921 21 août 2006), est une variante du second théorème d incomplétude de Gödel. Il dit que dans toute théorie T satisfaisant… …   Wikipédia en Français

  • Théorème de Löb — En logique mathématique, le théorème de Löb, démontré par Martin Hugo Löb (31 mars 1921 21 août 2006), est une variante du second théorème d incomplétude de Gödel. Il dit que dans toute théorie T satisfaisant les conditions de …   Wikipédia en Français

  • Teorema de Löb — En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que si P es demostrable entonces P , entonces P es demostrable. O sea: si , entonces donde Dem(#P) significa …   Wikipedia Español

  • Martin Opitz — von Boberfeld (December 23, 1597 – August 20, 1639) was a German poet, regarded as the greatest of that nation during his lifetime. Opitz was born in Bunzlau (Bolesławiec) in Lower Silesia, the son of a prosperous citizen. He received his early… …   Wikipedia

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

  • Лёб, Мартин — Мартин Хуго Лёб Martin Hugo Löb Дата рождения: 31 марта 1921(1921 03 31) Место рождения: Берлин Дата смерти: 12& …   Википедия

Share the article and excerpts

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