Карл Шретер
Карл Шретер | |
|---|---|
 Фотография Карла Шрётера учится. | |
| Рожденный | 7 сентября 1905 г. |
| Умер | 22 августа 1977 г. (71 год) |
| Гражданство | немецкий |
| Альма-матер | Геттинген Гейдельберг Франкфурт-на-Майне Университет Мюнстера |
| Известный | смысловые последствия логика доказуемости |
| Научная карьера | |
| Поля | Математика Логика |
| Учреждения | Университет Мюнстера |
| Докторантура | Генрих Шольц |
| Докторанты | Дитер Клауа |
Карл Вальтер Шрётер (7 сентября 1905, Бибрих близ Висбадена — 22 августа 1977, Берлин ) — немецкий математик и логик . [ 1 ] Позже, после войны, он внес важный вклад, касающийся семантических следствий ( нем .: семантические последующие отношения ) и логики доказуемости ( нем . Syntaktische Derivierungsrelationen ). [ 1 ] Он работал математическим теоретиком и криптоаналитиком в гражданском Pers ZS , шифровальном бюро Министерства иностранных дел ( нем . Auswärtiges Amt ), с весны 1941 года до конца Второй мировой войны .
Личная жизнь
[ редактировать ]С 1928 по 1936 год Шрётер изучал математику , физику , философию и психологию в университетах Гёттингена , Гейдельберга и Франкфурта-на-Майне . По семейным обстоятельствам ему несколько раз приходилось прерывать учебу. Затем он работал в группе математической логики в Мюнстерском университете под руководством Генриха Шольца . С 1 апреля 1939 года — научный сотрудник кафедры философии Мюнстерского университета . 20 декабря 1941 года он сдал экзамен на звание доктора филологии под руководством логика Генриха Шольца, изучая математику, логику и исчисление, защитив диссертацию под названием Ein allgemeiner Kalkülbegriff (англ.: Общая концепция исчисления ). 1 апреля 1941 года он взял отпуск, чтобы присоединиться к Pers ZS , гражданскому шифровальному бюро Министерства иностранных дел, где работал математиком. Однако даже в это время он продолжал работать над проблемами фундаментальных математических исследований. [ 1 ]
19 марта 1943 года он подал заявление на факультет философии и естественных наук вместе с публикацией Axiomatisierung der Fregeschen Aussagenkalküle (английский: Аксиоматизация исчисления Фреге высказываний ) о приеме на хабилитацию. На основании положительных отзывов Генриха Шольца и Адольфа Кратцера свидетельством от 22 мая 1943 года ему была присвоена степень доктора rerum naturalium habilitatus . 9 июня 1943 года отчет о пройденной хабилитации был передан рейхсминистру. 1, 2 и 3 июля 1943 года он провел публичную пробную лекцию на тему Der Nutzen der mathematischen Logik für die Mathematik (английский язык: «Преимущества математической логики для математики ») в качестве предварительного условия для должности лектора на государственной службе. 18 августа 1943 года он был назначен преподавателем с правом преподавания «Математической логики и фундаментальных исследований», при этом продолжая работать в Берлине «научным помощником» в Pers Z S. [ 1 ]
Карл Шретер оставался в Мюнстерском университете с 31 декабря 1943 года до истечения срока его контракта 31 апреля 1945 года, когда он был взят в плен Корпусом контрразведки (CIC). С начала мая по 30 сентября 1945 года он предстал перед совместной англо-американской комиссией сначала в Лондоне , затем в Марбурге по поводу своей работы в Pers ZS во время войны. После завершения он был уволен в Марбурге после того, как CIC определил его политическую позицию. В зимнем семестре 1945/46 года он работал преподавателем в Мюнстере. [ 1 ]
С мая 1946 года до своего назначения в Берлин Шретер работал в Мюнстере в качестве заместителя наблюдательного комитета Главного комитета по денацификации Вестфальского земельного университета. В 1948 году Карл Шретер был назначен экстраординарным профессором математической логики в Университете Гумбольдта в Берлине . [ 1 ]
В 1967 году он стал директором Института чистой математики Немецкой академии наук в Берлине . [ 1 ]
В 1962 году он был избран членом-корреспондентом, а два года спустя — обычным членом Немецкой академии наук в Берлине.
В 1955 году Шретер вместе с Гюнтером Ассером основал журнал Mathematical Logic and Foundations of Mathematics (англ. Journal of Mathematical Logic and Foundations of Mathematics ), который с 1991 года известен как Mathematical Logic Quarterly . [ 2 ]
Публикации
[ редактировать ]- Шретер, Карл (1941). Общая исчисления концепция . Исследования по логике и основам точных наук, новая серия. Выпуск 6 (Диссертация, факультет философии и естественных наук Мюнстерского университета, 1941 г.) (на немецком языке). Лейпциг: С. Хирцель.
- Шретер, Карл (1943). Фреге Аксиоматизация исчисления высказываний . Исследования по логике и основам точных наук, новая серия. Выпуск 8 (на немецком языке). Лейпциг: С. Хирцель.
Внешние ссылки
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж г Эльстродт, Юрген; Шмитц, Норберт. «История математики в Мюнстерском университете - Часть II: 1945-1969. 7. Бывшие профессора 1945-1969 (Секция Шретер, Карл )» [История математики в Мюнстерском университете - Часть II: 1945-1969. 7. Бывшие профессора 1945–1969 (Раздел Шретер, Карл )] (PDF) . wwwmath.uni-muenster.de (на немецком языке). стр. 295–296 [46–47] . Проверено 11 ноября 2016 г.
- ^ «Карл Шретер, 7.9.1905 – 22.8.1977». Математическая логика Ежеквартальный журнал . 24 (1–6): 1–4. 1978. дои : 10.1002/malq.19780240102 . ISSN 1521-3870 .
