Пол Лоренцен
Пол Лоренцен | |
|---|---|
 | |
| Рожденный | 24 марта 1915 г. |
| Умер | 1 октября 1994 г. (79 лет) |
| Научная карьера | |
| Поля | Философия , математика |
| Докторантура | Хельмут Хассе |
Пауль Лоренцен (24 марта 1915 — 1 октября 1994) — немецкий философ и математик, основатель Эрлангенской школы (совместно с Вильгельмом Камлахом) и изобретатель семантики игр (совместно с Куно Лоренцем ).
Биография [ править ]
Лоренцен учился в Геттингенском университете , пока в 1938 году не получил там докторскую степень под руководством Гельмута Хассе , защитив диссертацию под названием « Zur Abstrakten Begründung der multiplikativen Idealtheorie» . В 1933 году он вступил в СА и Немецкий националистический студенческий союз (NSDStB), а четыре года спустя стал членом нацистской партии . [1] В начале 1940 года его призвали в армию. [2] При посредничестве Хассе Лоренцен работал с Вильгельмом Трановым с июля 1940 по апрель 1941 года над проектом декодирования Бави. [3]
В 1939 году он стал ассистентом Вольфганга Крулля в Боннском университете , где официально оставался до 1949 года. [4] Его основная работа была посвящена основам математики — теории доказательств . Он создал и модифицировал конструктивную математику . Лоренцен преподавал в Стэнфорде , Техасском университете и Бостонском университете в США. Он был преподавателем Джона Локка. в 1967/1968 гг.
Теория [ править ]
Лоренцен приехал в 1962 году в Эрлангенский университет (Южная Германия) и основал там Эрлангенскую школу эпистемологического конструктивизма .
Он написал вместе с Вильгельмом Камлахом знаменитую книгу «Логическая пропедевтика » («Logische Propädeutik») и работал над семантикой игр ( Dialogische Logik ) с Куно Лоренцем . Вместе с Петером Яничем он изобрел протофизику времени и пространства. Он разработал конструктивную логику , конструктивную теорию типов и конструктивный анализ .
Работа Лоренцена по дифференциальному и интегральному исчислению была посвящена Герману Вейлю . Лоренцен использовал технику Вейля для разработки предикативного анализа, который может реконструировать классический анализ без принципа исключенного третьего или аксиомы выбора . Он также работал над Герхарда Генцена , сокращением чтобы найти способ продолжить программу Гильберта после результатов Гёделя .
В теории геометрии и физики Лоренцен находился под влиянием Хьюго Динглера . Он последовал за Динглером в построении геометрии и физики на основе примитивных операций. Лоренцен взял раннюю интерпретацию Стивена Вайнберга (Гравитация и космология, 1972) из-за его сомнений относительно геометрических элементов общей теории относительности , полагая, что вместо этого уравнения Максвелла должны быть модифицированы общей теорией относительности.
Лоренцен также находился под влиянием Вильгельма Дильтея и герменевтики любил цитировать высказывание Дильтея о том, что знание не может отставать от жизни. Дильтея «Философия жизни» представляла собой описание условий обычного опыта, в которых мы конструируем абстракции математики и физики.
Будучи преподавателем Джона Локка, он изобрел нормативную логику как основу этики и политической аргументации.
Основные работы [ править ]
- Пол Лоренцен, Фредерик Дж. Кроссон (переводчик), Формальная логика , Спрингер, Нью-Йорк, июль 1964 г.
- Пауль Лоренцен, Нормативная логика и этика , Мангейм/Цюрих, 1969.
- Пол Лоренцен, Джон Бэкон (переводчик), Дифференциал и интеграл: конструктивное введение в классический анализ , Техасский университет Press, Остин, 1971.
- Пауль Лоренцен, учебник по конструктивной теории науки , Мангейм/Цюрих, 1984.
- Пол Лоренцен, Карл Ричард Павлович (переводчик), Конструктивная философия , Издательство Массачусетского университета , Амхерст, 1987.
Ссылки [ править ]
- ^ Стефан Нойвирт: Переписка Лоренцена с Хассе, Круллем и Обером вместе с некоторыми соответствующими документами. В: Герхард Хайнцманн, Гереон Уолтерс (ред.): Пол Лоренцен – математик и логик , Springer 2021, стр. 244.
- ^ Стефан Нойвирт: Переписка Лоренцена , 2021, с. 245
- ^ Стефан Нойвирт: Переписка Лоренцена , 2021, с. 245.
- ^ Запись «Пол Лоренцен» в: Ренате Тобис, Биографический лексикон людей с докторскими степенями по математике, Rauner Verlag, 2006.
- Вильгельм Камла, Пол Лоренцен, Логическая пропедевтика: дошкольная школа разумного дискурса , Вашингтон, округ Колумбия: Университетское издательство Америки, 1984.
- Дайан Лоринг Сувен, Пол Лоренцен и конструктивная математика , 1980.
Внешние ссылки [ править ]
- Пол Лоренцен в проекте «Математическая генеалогия»
- Книги Лоренцена и о нем в Немецкой национальной библиотеке (на немецком языке)
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |
