Мартин Лёб - Martin Löb
Мартин Хьюго Лёб | |
---|---|
Родившийся | |
Умер | 21 августа 2006 г. | (85 лет)
Альма-матер | Лондонский университет |
Известен | Теорема Лёба |
Супруг (а) | Кэролайн |
Дети | Марике, Стефани |
Научная карьера | |
Тезис | Методологическая характеристика конструктивной математики[1] (1953) |
Докторант | Рубен Луи Гудштейн |
Докторанты | Йохан ван Бентем |
Мартин Хьюго Лёб (Немецкий: [løːp]; 31 марта 1921 г. - 21 августа 2006 г.) Немецкий математик. Он поселился в объединенное Королевство после Вторая мировая война и специализируется на математическая логика. Он переехал в Нидерланды в 1970-х, где он остался на пенсии. Возможно, он наиболее известен тем, что сформулировал Теорема Лёба в 1955 г.
ранняя жизнь и образование
Лёб вырос в Берлин, но сбежал из Третий рейх, прибыв в Великобританию незадолго до начала Вторая мировая война. Как враг пришелец, он был депортирован Dunera для лагерь для интернированных в Сено в Австралия в 1940 году, когда 19-летнего Лёба другие интернированные преподавали математику. Его учитель, Феликс Беренд, позже был профессором Мельбурнский университет.
Лёбу разрешили вернуться в Великобританию в 1943 году, и он учился в Лондонский университет после войны. После окончания он стал студентом-исследователем с Рубен Гудштейн на Университет Лестера. Он завершил свой кандидат наук и стал ассистентом преподавателя в Университет Лидса в 1951 году, где он должен был оставаться в течение 20 лет, став Читатель и в конечном итоге Профессор математической логики с 1967 по 1970 год. Он разработал математическая логика группа в Лидсе, что делает его одним из ведущих центров в Великобритании. Лёб исследовал теория доказательств, модальная логика и теория вычислимости. Он сформулировал Теорема Лёба в 1955 году как формальная версия Парадокс Лёба, что утверждения, которые утверждают свою доказуемость, должны быть истинными (аналогично Теорема Гёделя о неполноте ).
Жена Лёба, Кэролайн, была голландкой. У них родились две дочери. Лёб переехал, чтобы стать профессором в Амстердамский университет в начале 1970-х гг. Он оставался в Амстердамском университете до выхода на пенсию. Затем он переехал в Аннен, где он позже скончался.
Рекомендации
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Мартин Лёб", Архив истории математики MacTutor, Сент-Эндрюсский университет.
- Некролог, Хранитель, 3 октября 2006 г.
- Некролог, Институт логики, языка и вычислений, Амстердамский университет