Martin Löb (original) (raw)
Martin Hugo Löb (Berlín, Alemanya, 31 de març de 1921 - Annen, Països Baixos, 21 agost de 2006) va ser un matemàtic alemany. Es va instal·lar en el Regne Unit abans de la Segona Guerra Mundial i es va especialitzar en lògica matemàtica. Es va traslladar als Països Baixos en la dècada de 1970, on va romandre fins a la jubilació. És conegut per haver formulat el el 1955.
| Property | Value |
|---|---|
| dbo:abstract | Martin Hugo Löb (Berlín, Alemanya, 31 de març de 1921 - Annen, Països Baixos, 21 agost de 2006) va ser un matemàtic alemany. Es va instal·lar en el Regne Unit abans de la Segona Guerra Mundial i es va especialitzar en lògica matemàtica. Es va traslladar als Països Baixos en la dècada de 1970, on va romandre fins a la jubilació. És conegut per haver formulat el el 1955. (ca) 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 Argumentation wie in Currys Paradoxon zugrunde liegt. (de) Martin Hugo Löb (AFI: [løːp]; 31 de marzo de 1921–21 de agosto de 2006) fue un matemático alemán. Tras la Segunda Guerra Mundial, se estableció en el Reino Unido y se especializó en la lógica matemática. Se mudó a los Países Bajos en los años setenta, donde se jubiló. Es conocido por haber formulado el teorema de Löb en 1955. (es) Martin Hugo Löb (German: [løːp]; 31 March 1921 – 21 August 2006) 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 remained in retirement. He is perhaps best known for having formulated Löb's theorem in 1955. (en) Martin Hugo Löb (31 mars 1921 – 21 août 2006) était un mathématicien allemand. Il s'est installé au Royaume-Uni après la Seconde Guerre mondiale et s'est spécialisé en logique mathématique. Il a ensuite rejoint les Pays-Bas, dans les années 1970, où il est resté jusqu'à sa retraite. Il est connu pour avoir formulé le théorème de Löb en 1955. (fr) Martin Hugo Löb (Berlijn, 31 maart 1921 - Annen, 21 augustus 2006) was een Duits wiskundige die bekend is geworden door de uit 1955. Löb groeide op in Berlijn. Hij ontsnapte aan de nazi's en vestigde zich vlak voor het begin van na de Tweede Wereldoorlog in Groot-Brittannië. Als "vijandige buitenlander" werd hij in 1940 geïnterneerd in Hay, Nieuw-Zuid-Wales in Australië. Daar begon hij aan een opleiding in de wiskunde met als docent onder andere , die later hoogleraar werd aan de universiteit van Melbourne. Löb mocht in 1943 terugkeren naar Groot-Brittannië en na de oorlog studeerde hij aan de Universiteit van Londen. Na zijn afstuderen ging hij verder in de logica bij in Leicester. Hij promoveerde en zette in 1951 zijn academische loopbaan voort aan de Universiteit van Leeds waar hij doorgroeide tot hoogleraar. Hij bleef daar 20 jaar en maakte van de vakgroep in Leeds een van de leidende centra voor logica in Groot-Brittannië. Zijn onderzoek strekte zich uit over de gebieden bewijstheorie, modale logica en (de basis van berekenbaarheid). In 1955 formuleerde hij de , de formele versie van de paradox van Löb, die zegt dat beweringen die hun eigen bewijsbaarheid aantonen waar zijn. In zekere zin is dit de tegenhanger van de onvolledigheidsstellingen van Gödel. Begin jaren 1970 verhuisde Löb met zijn Nederlandse vrouw Caroline naar Amsterdam en werd hoogleraar aan de Universiteit van Amsterdam waar hij bleef tot zijn pensioen in 1985. Löb en Anne Troelstra waren daar de opvolgers van Evert Beth en Arend Heyting. Het bekendste resultaat uit zijn Amsterdamse periode is de onbeslisbaarheid van de intuïtonistische propositielogica, zelfs met alleen implicatie en de universele kwantor.In Amsterdam was Löb promotor van slechts één promovendus, Johan van Benthem, die hem in 1986 opvolgde. Martin Löb had twee dochters, Marijke en Stephanie. Na zijn pensioen verhuisde hij naar Drenthe. (nl) Martin Hugo Löb (31 de março de 1921 – 21 de agosto de 2006) foi um matemático alemão. Especializou-se em lógica matemática no Reino Unido, local para onde foi após a Segunda Guerra Mundial. Mudou-se para a Holanda nos anos 1970, onde permaneceu durante sua aposentadoria. É provavelmente mais conhecido por ter formulado o teorema de Löb em 1955. (pt) Мартин Хуго Лёб (нем. Martin Hugo Löb; 31 марта 1921 — 21 августа 2006) — математик, специалист в математической логике. Родился в Германии, в 1939 году эмигрировал в Великобританию, как немецкий подданный в связи с началом войны вынужден был на период 1940—1943 годов переехать в Австралию. Окончил Лондонский университет, в 1948 году под руководством защитил диссертацию на соискание степени доктора философии на тему «Методологическая характеристика конструктивной математики». В дальнейшей научной деятельности интересы Лёба также были сконцентрированы на проблемах конструктивной математики и математической логики. В период с 1951 по 1970 год работал в Университете Лидса (вначале лектором, в дальнейшем получил профессорское звание), в этот период деятельности получены основные результаты. Так, в 1955 году сформулировал и доказал утверждение, известное как теорема Лёба. С 1970 года вплоть до выхода на пенсию в 1985 году занимал должность профессора математической логики в Амстердамском университете. (ru) Мартін Ґ'юго Льоб (нім. Martin Hugo Löb; 31 березня 1921, Берлін, Німеччина — 21 серпня 2006, Амстердам, Голландія) — британський та голландський математик, фахівець в математичної логіки. В 1939 емігрував до Великої Британії. Як німецький підданий у зв'язку з початком Другої світової війни був змушений на період 1940-1943 років переїхати до Австралії. Закінчив Лондонський університет, в 1948 під керівництвом захистив дисертацію на здобуття ступеня доктора філософії на тему «Методологічна характеристика конструктивної математики». У подальшій науковій діяльності займався проблемами конструктивної математики і математичної логіки. У період з 1951 по 1970 працював в Університеті Лідса (спочатку лектором, надалі отримав професорське звання), в цей період діяльності отримані основні результати. Так, в 1955 сформулював і довів взаємозв'язок між доказовими твердження і самим твердженням, відомий як теорема Льоба. З 1970 до виходу на пенсію в 1985 обіймав посаду професора математичної логіки в Амстердамському університеті. (uk) |
| dbo:almaMater | dbr:University_of_London |
| dbo:birthDate | 1921-03-31 (xsd:date) |
| dbo:birthPlace | dbr:Berlin |
| dbo:deathDate | 2006-08-21 (xsd:date) |
| dbo:deathPlace | dbr:Annen dbr:Netherlands |
| dbo:doctoralAdvisor | dbr:Reuben_Louis_Goodstein |
| dbo:doctoralStudent | dbr:Johan_van_Benthem_(logician) |
| dbo:knownFor | dbr:Löb's_theorem |
| dbo:wikiPageExternalLink | http://www.illc.uva.nl/Obituaries/Loeb.html https://www.theguardian.com/obituaries/story/0,,1885973,00.html |
| dbo:wikiPageID | 7268088 (xsd:integer) |
| dbo:wikiPageLength | 3675 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1087190209 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Enemy_alien dbr:Modal_logic dbr:Löb's_theorem dbr:Berlin dbr:Reuben_Goodstein dbr:Reuben_Louis_Goodstein dbr:United_Kingdom dbr:University_of_Amsterdam dbr:University_of_Leeds dbr:University_of_Leicester dbr:University_of_London dbr:Computability_theory dbr:Mathematical_logic dbr:The_Netherlands dbr:Third_Reich dbr:Annen dbr:Löb's_paradox dbr:Professor dbr:Mathematician dbr:Australia dbc:1921_births dbc:2006_deaths dbc:Academics_of_the_University_of_Leeds dbc:Alumni_of_the_University_of_London dbc:German_emigrants_to_the_United_Kingdom dbc:Scientists_from_Berlin dbr:Doctor_of_Philosophy dbr:Felix_Behrend dbr:Proof_theory dbr:Reader_(academic_rank) dbr:Gödel's_incompleteness_theorem dbr:HMT_Dunera dbr:Hay,_New_South_Wales dbr:The_Guardian dbc:Alumni_of_the_University_of_Leicester dbc:University_of_Amsterdam_faculty dbc:20th-century_German_mathematicians dbc:German_logicians dbr:Johan_van_Benthem_(logician) dbr:Netherlands dbr:Second_World_War dbr:Melbourne_University dbr:Internment_camp dbr:Löb–Wainer_hierarchy |
| dbp:almaMater | dbr:University_of_London |
| dbp:birthDate | 1921-03-31 (xsd:date) |
| dbp:birthPlace | dbr:Berlin |
| dbp:children | Maryke, Stefani (en) |
| dbp:deathDate | 2006-08-21 (xsd:date) |
| dbp:deathPlace | dbr:Annen dbr:Netherlands |
| dbp:doctoralAdvisor | dbr:Reuben_Louis_Goodstein |
| dbp:doctoralStudents | dbr:Johan_van_Benthem_(logician) |
| dbp:knownFor | dbr:Löb's_theorem |
| dbp:name | Martin Hugo Löb (en) |
| dbp:spouse | Caroline (en) |
| dbp:thesisTitle | A Methodological Characterization of Constructive Mathematics (en) |
| dbp:thesisYear | 1953 (xsd:integer) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Birth_date dbt:IPA-de dbt:Reflist dbt:Short_description dbt:Death_date_and_age dbt:Infobox_scientist dbt:MacTutor_Biography |
| dct:subject | dbc:1921_births dbc:2006_deaths dbc:Academics_of_the_University_of_Leeds dbc:Alumni_of_the_University_of_London dbc:German_emigrants_to_the_United_Kingdom dbc:Scientists_from_Berlin dbc:Alumni_of_the_University_of_Leicester dbc:University_of_Amsterdam_faculty dbc:20th-century_German_mathematicians dbc:German_logicians |
| gold:hypernym | dbr:Mathematician |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLogicians yago:WikicatPeopleFromBerlin wikidata:Q901 yago:Academician109759069 yago:Adult109605289 yago:Alumnus109786338 yago:CausalAgent100007347 yago:Educator110045713 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Professional110480253 yago:WikicatGermanAcademics yago:WikicatGermanMathematicians yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatAcademicsOfTheUniversityOfLeeds yago:WikicatAlumniOfTheUniversityOfLeicester yago:WikicatAlumniOfTheUniversityOfLondon yago:WikicatEthnicGermanPeople |
| rdfs:comment | Martin Hugo Löb (Berlín, Alemanya, 31 de març de 1921 - Annen, Països Baixos, 21 agost de 2006) va ser un matemàtic alemany. Es va instal·lar en el Regne Unit abans de la Segona Guerra Mundial i es va especialitzar en lògica matemàtica. Es va traslladar als Països Baixos en la dècada de 1970, on va romandre fins a la jubilació. És conegut per haver formulat el el 1955. (ca) 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 Argumentation wie in Currys Paradoxon zugrunde liegt. (de) Martin Hugo Löb (AFI: [løːp]; 31 de marzo de 1921–21 de agosto de 2006) fue un matemático alemán. Tras la Segunda Guerra Mundial, se estableció en el Reino Unido y se especializó en la lógica matemática. Se mudó a los Países Bajos en los años setenta, donde se jubiló. Es conocido por haber formulado el teorema de Löb en 1955. (es) Martin Hugo Löb (German: [løːp]; 31 March 1921 – 21 August 2006) 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 remained in retirement. He is perhaps best known for having formulated Löb's theorem in 1955. (en) Martin Hugo Löb (31 mars 1921 – 21 août 2006) était un mathématicien allemand. Il s'est installé au Royaume-Uni après la Seconde Guerre mondiale et s'est spécialisé en logique mathématique. Il a ensuite rejoint les Pays-Bas, dans les années 1970, où il est resté jusqu'à sa retraite. Il est connu pour avoir formulé le théorème de Löb en 1955. (fr) Martin Hugo Löb (31 de março de 1921 – 21 de agosto de 2006) foi um matemático alemão. Especializou-se em lógica matemática no Reino Unido, local para onde foi após a Segunda Guerra Mundial. Mudou-se para a Holanda nos anos 1970, onde permaneceu durante sua aposentadoria. É provavelmente mais conhecido por ter formulado o teorema de Löb em 1955. (pt) Martin Hugo Löb (Berlijn, 31 maart 1921 - Annen, 21 augustus 2006) was een Duits wiskundige die bekend is geworden door de uit 1955. Löb groeide op in Berlijn. Hij ontsnapte aan de nazi's en vestigde zich vlak voor het begin van na de Tweede Wereldoorlog in Groot-Brittannië. Als "vijandige buitenlander" werd hij in 1940 geïnterneerd in Hay, Nieuw-Zuid-Wales in Australië. Daar begon hij aan een opleiding in de wiskunde met als docent onder andere , die later hoogleraar werd aan de universiteit van Melbourne. (nl) Мартин Хуго Лёб (нем. Martin Hugo Löb; 31 марта 1921 — 21 августа 2006) — математик, специалист в математической логике. Родился в Германии, в 1939 году эмигрировал в Великобританию, как немецкий подданный в связи с началом войны вынужден был на период 1940—1943 годов переехать в Австралию. Окончил Лондонский университет, в 1948 году под руководством защитил диссертацию на соискание степени доктора философии на тему «Методологическая характеристика конструктивной математики». В дальнейшей научной деятельности интересы Лёба также были сконцентрированы на проблемах конструктивной математики и математической логики. (ru) Мартін Ґ'юго Льоб (нім. Martin Hugo Löb; 31 березня 1921, Берлін, Німеччина — 21 серпня 2006, Амстердам, Голландія) — британський та голландський математик, фахівець в математичної логіки. В 1939 емігрував до Великої Британії. Як німецький підданий у зв'язку з початком Другої світової війни був змушений на період 1940-1943 років переїхати до Австралії. Закінчив Лондонський університет, в 1948 під керівництвом захистив дисертацію на здобуття ступеня доктора філософії на тему «Методологічна характеристика конструктивної математики». У подальшій науковій діяльності займався проблемами конструктивної математики і математичної логіки. (uk) |
| rdfs:label | Martin Hugo Löb (ca) Martin Löb (de) Martin Löb (es) Martin Hugo Löb (fr) Martin Löb (it) Martin Löb (en) Martin Löb (nl) Martin Hugo Löb (pt) Лёб, Мартин (ru) Мартін Льоб (uk) |
| owl:sameAs | freebase:Martin Löb http://d-nb.info/gnd/12822651X http://viaf.org/viaf/15816452 wikidata:Martin Löb http://data.bibliotheken.nl/id/thes/p070450420 http://arz.dbpedia.org/resource/مارتن_لوب dbpedia-ca:Martin Löb dbpedia-de:Martin Löb dbpedia-es:Martin Löb dbpedia-fr:Martin Löb http://ht.dbpedia.org/resource/Martin_Löb dbpedia-it:Martin Löb dbpedia-nl:Martin Löb dbpedia-pt:Martin Löb dbpedia-ru:Martin Löb dbpedia-uk:Martin Löb https://global.dbpedia.org/id/4sCtn |
| prov:wasDerivedFrom | wikipedia-en:Martin_Löb?oldid=1087190209&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Martin_Löb |
| foaf:name | Martin Hugo Löb (en) |
| is dbo:academicAdvisor of | dbr:Johan_van_Benthem_(logician) |
| is dbo:doctoralStudent of | dbr:Reuben_Goodstein |
| is dbo:wikiPageRedirects of | dbr:Löb,_Martin dbr:Martin_Hugo_Lob dbr:Martin_Lob dbr:Martin_Hugo_Loeb dbr:Martin_Hugo_Löb |
| is dbo:wikiPageWikiLink of | dbr:List_of_University_of_Leicester_people dbr:Löb's_theorem dbr:Reuben_Goodstein dbr:Index_of_philosophy_articles_(I–Q) dbr:List_of_logicians dbr:Löb,_Martin dbr:Loeb_(surname) dbr:List_of_German_mathematicians dbr:HMT_Dunera dbr:Johan_van_Benthem_(logician) dbr:Grzegorczyk_hierarchy dbr:Lob dbr:Ω-consistent_theory dbr:Martin_Hugo_Lob dbr:Martin_Lob dbr:Martin_Loeb dbr:Martin_Hugo_Loeb dbr:Martin_Hugo_Löb |
| is dbp:doctoralStudents of | dbr:Reuben_Goodstein |
| is foaf:primaryTopic of | wikipedia-en:Martin_Löb |