| 词条 | Martin Löb |
| 释义 |
| honorific_prefix = | name = Martin Hugo Löb | honorific_suffix = | native_name = | native_name_lang = | image = | image_size = | alt = | caption = | birth_date = {{birth date |1921|03|31}} | birth_place = Berlin | death_date = {{death date and age |2006|08|21 |1921|03|31}} | death_place = Annen, Netherlands | death_cause = | resting_place = | resting_place_coordinates = | other_names = | residence = | citizenship = | nationality = | fields = | workplaces = | patrons = | education = | alma_mater = | thesis_title = A Methodological Characterization of Constructive Mathematics[1] | thesis_url = | thesis_year = 1953 | doctoral_advisor = Reuben Louis Goodstein | academic_advisors = | doctoral_students = Johan van Benthem | notable_students = | known_for = Löb's theorem | influences = | influenced = | awards = | author_abbrev_bot = | author_abbrev_zoo = | spouse = Caroline | partner = | children = Maryke, Stefani | signature = | signature_alt = | website = | footnotes = }} Martin Hugo Löb ({{IPA-de|løːp|lang}}; 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. Early life and educationLöb grew up in Berlin, but escaped from the Third Reich, arriving in the UK just before the outbreak of the Second World War. As an enemy alien, he was deported on the Dunera to an internment camp at Hay in Australia in 1940, where the 19-year-old Löb was taught mathematics by other internees. His teacher, Felix Behrend, was later a professor at Melbourne University. Löb was allowed to return to the UK in 1943, and he studied at the University of London after the War. After graduating, he became a research student with Reuben Goodstein at the University of Leicester. He completed his PhD and became an assistant lecturer at the University of Leeds in 1951, where he was to remain for 20 years, becoming a Reader and ultimately Professor of Mathematical Logic from 1967 to 1970. He developed the mathematical logic group at Leeds, making it one of the leading centres in the UK. Löb did research on proof theory, modal logic and computability theory. He formulated Löb's theorem in 1955, as a formal version of Löb's paradox, that statements that assert their own provability must be true (similar to Gödel's incompleteness theorem). Löb's wife, Caroline, was Dutch. They had two daughters together. Löb moved to become a professor at the University of Amsterdam in the early 1970s. He remained at the University of Amsterdam until he retired. He then moved to Annen, where he later died. References1. ^{{mathGenealogy|42265}}
9 : 1921 births|2006 deaths|German mathematicians|German logicians|Alumni of the University of London|Alumni of the University of Leicester|Academics of the University of Leeds|University of Amsterdam faculty|People from Berlin |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。