WikiDer > Мартин Лёб
Мартин Хьюго Лёб | |
|---|---|
| Родившийся | 31 марта 1921 г. |
| Умер | 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 г.
- Некролог, Институт логики, языка и вычислений, Амстердамский университет
