Карл Вальтер Шрётер (7 сентября 1905 года в Бибрихе близ Висбадена — 22 августа 1977 года в Берлине ) был немецким математиком и логиком . [1] Позже, после войны, он внес важный вклад в изучение семантических последствий ( ‹См. Tfd› нем. : semantische Folgerungsrelationen ) и логики доказуемости ( ‹См. Tfd› нем. : syntaktische Ableitbarkeitsrelationen ). [1] Он работал математическим теоретиком и криптоаналитиком в гражданском Pers ZS , бюро шифров Министерства иностранных дел ( ‹См. Tfd› нем. : 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 ( Axiomatisierung der Fregeschen Aussagenkalküle ) для поступления на хабилитацию. На основании положительных отзывов Генриха Шольца и Адольфа Кратцера ему была присвоена степень доктора наук (Doctor rerum naturalium habilitatus) сертификатом от 22 мая 1943 года. 9 июня 1943 года отчет о пройденной хабилитации был передан рейхсминистру. 1, 2 и 3 июля 1943 года он провел публичную пробную лекцию на тему Der Nutzen der mathematischen Logik für die Mathematik ( The Benefits of Mathematical Logic for Mathematics ) в качестве предварительного условия для государственной должности лектора. 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 году Шретер вместе с Гюнтером Ассером основал Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (английский: Журнал математической логики и оснований математики ), который с 1991 года известен как Mathematical Logic Quarterly . [2]