Генрих Шольц - Heinrich Scholz

Генрих Шольц
HeinrichScholz.jpg
Родившийся 17 декабря 1884 г.  ( 1884-12-17 )
Умер 30 декабря 1956 г. (1956-12-30) (72 года)
Гражданство Немецкий
Альма-матер Мюнстерский университет
Известен Институт математической логики и фундаментальных исследований при Мюнстерском университете
Первый в мире семинар по информатике (с Аланом Тьюрингом)
Научная карьера
Поля Математика
логика
Учреждения Университет Бреслау
Берлинский
университет Эрлангенский университет
Тезисов
Докторант Адольф фон Харнак , Алоис Риль
Докторанты Фридрих Бахманн
Ганс Гермес
Гисберт Хазенджегер
Карл Шретер
Влияния Альфред Норт Уайтхед
Бертран Рассел
Отто Теплиц
Алан Тьюринг
Фридрих Шлейермахер
Бернар Больцано

Генрих Шольц ( немецкий: [ʃɔlts] ; 17 декабря 1884 - 30 декабря 1956) был немецким логиком , философом и протестантским богословом . Он был ровесником Алана Тьюринга, который упомянул Шольца, когда писал о приеме « О вычислимых числах с приложением к проблеме Entscheidungsproblem »: «У меня было два письма с просьбой о перепечатке: одно от Брейтуэйта в Кингс и одно от proffessor [sic] в Германии ... Они, похоже, очень заинтересовались газетой. [...] Я был разочарован ее приемом здесь ».

Шольц сделал выдающуюся карьеру (он считался выдающимся ученым национального значения), но не считался блестящим логиком, например, на том же уровне, что и Готлоб Фреге или Рудольф Карнап . Он обеспечил своим ученикам подходящую академическую среду для развития. Он основал Институт математической логики и фундаментальных исследований в Мюнстерском университете в 1936 году, что, можно сказать, позволило изучать логику на самом высоком международном уровне после Второй мировой войны и по сей день.

Личная жизнь

Отец Германа Шольца был протестантским священником в церкви Святой Марии в Берлине . С 1903 по 1907 год он изучал философию и теологию в Эрлангенском университете и Берлинском университете, получив лицензию богословия (Lic. Theol.). Он был учеником Адольфа фон Гарнака в философии со своими сверстниками Алоисом Рилем и Фридрихом Паульсеном . 28 июля 1910 года Шольц получил степень бакалавра в области религиозной философии и систематического богословия в Берлине и получил звание профессора , где работал лектором. В 1913 году в Эрлангене Генрих Шольц сдал экзамен на повышение в должности доктора фил. с Рихардом Фалькенбергом , изучая работы Шлейермахера и Гете с диссертацией под названием: Schleiermacher und Goethe. Ein Beitrag zur Geschichte des deutschen Geistes. В 1917 году он был назначен на кафедру философии религии в Бреслау после Рудольфа Отто, чтобы преподавать религиозную философию и систематическое богословие. В том же году он женился на своей невесте Элизабет Орт. В связи с 8-летним заболеванием желудка, он был освобожден от военной службы. В 1919 году он перенес операцию, в ходе которой, как ему казалось, была удалена большая часть его желудка. В том же году он поступил в Кильский университет на кафедру философии. В 1924 году в Киле умерла первая жена Шольца, Элизабет Орт.

С октября 1928 года он преподавал в Мюнстерском университете , сначала как профессор философии . В 1938 году он был изменен на профессора философии математики и естествознания, а в 1943 году - на кафедру математической логики и фундаментальных вопросов математики, работающую в качестве главы Института математической логики и фундаментальных исследований в Мюнстере, пока он не вышел на пенсию в 1952 году в качестве почетного профессора. .

Шольц пережила его вторая жена Эрна. Могила Шольца находится на парковом кладбище Эйххоф недалеко от Киля.

Работа

По его собственным словам, в 1921 году, случайно натолкнувшись на « Principia Mathematica » Бертрана Рассела и Альфреда Норта Уайтхеда, он начал изучать логику, от которой он отказался в юности, чтобы изучать теологию, что привело позже к изучению математики и теоретической физики. получил степень бакалавра в Киле. Однако еще одним фактором, повлиявшим на изменение его фокуса, был математик Отто Теплиц . Широкие исследовательские интересы Теплица, включая гильбертовы пространства и спектральную теорию, стимулировали интерес Шольца к математике. Действительно, Сегал предполагает, что любовь Шольца к структуре также была важным фактором в его переходе к математической логике, описывая это так:

Чувство структуры Шольца было немаловажным. Он, по-видимому, чувствовал, что, принимая гостей на обед: (1) следует приглашать не более шести человек; (2) должно быть отличное меню; (3) должна быть запланирована тема для обсуждения; и (4) гости должны заранее подготовиться к этой теме как можно лучше.

В 1925 году он был пэром Карла Барта в Мюнстерском университете, где преподавал протестантское богословие . Под влиянием разговоров со Шольцем Барт позже писал в 1930/31. его книга о доказательстве Бога Ансельмом Кентерберийским " fides quaerens intellectum ".

В 1930-х годах он поддерживал связь с Аланом Тьюрингом, который позже - в письме домой от 22 февраля 1937 года - написал в связи с получением его статьи «О вычислимых числах в приложении к проблеме Entscheidungsproblem»:

У меня было два письма с просьбой о перепечатке: одно от Брейтуэйта из Кингс и одно от профессора из Германии ... Казалось, их очень заинтересовала газета. Думаю, возможно, это производит определенное впечатление. Я был разочарован его приемом здесь. Я ожидал, что Вейль, который проделал некоторую работу, довольно тесно связанную с этим несколько лет назад, по крайней мере, сделает несколько замечаний об этом.

В Университете Мюнстера его изучение математической логики и фундаментальных исследований дало многие важные идеи, которые способствовали созданию основ теоретической информатики . С самого прибытия в Мюнстер Шольц работал над созданием школы математической логики. К 1935 году его исследовательская группа в Мюнстере уже упоминалась как мюнстерская школа математической логики . Шольц называет 1936 год годом рождения Мюнстерской школы . В 1936 году его профессура была повторно посвящена лекции по математической логике и фундаментальным исследованиям, а в 1943 году - первой в Германии кафедре математической логики и фундаментальных исследований. Кафедра Мюнстера до сих пор считается одной из лучших в Германии.

Шольц считался платоником , и в этом смысле он считал математическую логику основой знания. В 1936 году он получил грант от DFG на издание трех томов исследований по логике и редактирование статей Готтлоба Фреге . Он считается первооткрывателем поместья Готлоба Фреге .

Гисберт Хазенджегер , диссертацию которого возглавлял Шольц, в 1961 году выпустил книгу Grundzüge der Mathematischen Logik, написанную совместно со Шольцем, несмотря на то, что она была опубликована через пять лет после смерти Шольца.

Работа во время Второй мировой войны

Первоначально Шольц был доволен подъемом нацистской власти в Германии . Называя себя консервативным националистом, описывая себя таковым: «Мы чувствовали себя пруссаками до мозга костей», а его друг Генрих Бенке описывал его как «недалеких прусских националистов». Бенке было трудно обсуждать политические вопросы. Нацистские законы помогли сделать Мюнстер важным центром логики, поскольку другие сотрудники университетов Геттингена и Берлина были уничтожены.

14 марта 1940 года Шольц отправил письмо в департамент образования оккупированной Польши с просьбой освободить Яна Саламуча, профессора богословия в Краковском университете . Саламуча был отправлен в концлагерь Заксенхаузен в 1940 году. В октябре 1940 года Шольц получил ответ для министра образования, в котором говорилось, что он «оскорбил национальную честь» и ему было запрещено подавать новые петиции. Позднее Саламуча был освобожден, но убит нацистами в 1944 году. Однако Шольц упорствовал, сначала помогая Альфреду Тарскому , бежавшему из Польши в США, переписываться с его женой, которая оставалась в Польше, а затем помогала польскому логику Яну Лукасевичу , которого он переписывался с 1938 г., чтобы вместе с женой покинуть Польшу и спрятаться в Германии.

Хотя Шольц осознавал истинную природу нацистов и с середины 1942 года ненавидел их, он оставался в хороших отношениях с нацистскими учеными, такими как Людвиг Бибербах . В период национал-социализма Макс Штек, отстаивавший немецкую математику, отвергавшую формалистический подход к математике, решительно выступал против подхода Гильберта, который он назвал еврейским - худшее возможное оскорбление в Германии в то время. Макс Штек признал «выдающееся достижение формализма как таковое» («an sich betrachtet einmaligen Leistung des Formalismus»), но критиковал «недостающий эпистемологический компонент» («Jede eigentliche Erkenntnistheorie fehlt im Formalismus») и на единственной странице своего основного журнала. В работе, где он связывает формализм и евреев, он упоминает, что «евреи были настоящими законодателями мод формализма» («die eigentlichen Schrittmacher des Formalismus»). В ответ на это Бибербах попросил Шольца написать статью для Deutsche Mathematik , чтобы ответить на нападки Штека на математический формализм , что было удивительно, поскольку Бибербах возглавил атаку нацистских математиков на еврейскую математику. Убедившись, что Гильберта не считали «евреем», Шольц писал: «На что нацелено формализованное изучение основ математики?». Шольц получил финансирование от Бибербаха еще в 1937 году, что побудило раздраженного Штека написать в своей книге 1942 года:

То, что Шольц понял, несомненно, заключается в том, чтобы получить от немецкого государства огромные суммы денег на публикацию для производства этой логики. Мы в корне отвергаем эту логику, восхваляющую английских эмпириков и сенсорных философов, таких как англичане Локк, Беркли, Юм, и теперь находим время, чтобы хоть раз поговорить о «великих немцах».

Существовали три статьи Генриха Шольца в журнале немецкого математика : Эйн Нойер Vollständigkeitsbeweis für дас reduzierte Fregesche Axiomensystem де Aussagenkalküls (1936), обзор книги нацистского философа Вольфганга Крамера Das Problem дер reinen Anschauung (1938) и обзор Andreas Спейсера «s Ein Parmenideskommentar (1938).

Первый в мире семинар по информатике

В конце 2000-х Ахиму Клаузингу было поручено осмотреть оставшееся поместье Шольца в Мюнстерском университете, и, просматривая архивные документы в подвале Института компьютерных наук, Клаузинг обнаружил две оригинальные копии самой важной публикации Алана. Тьюринга, который отсутствовал с 1945 года. В данном случае это работа « О вычислимых числах в приложении к Entscheidungsproblem » 1936 года, которую просил Шольц, и открытка от Тьюринга. Основываясь на работе Тьюринга и беседах со Шольцем, Клаузинг заявил, что «[это был] первый в мире семинар по информатике». Вторая работа, которая была статьей журнала Mind, датируется 1950 годом и представляет собой трактат о развитии искусственного интеллекта. Тьюринг предоставил им рукописный комментарий. Это наверное мой последний экземпляр . На Сотбисе недавно, сравнимые отпечатки Тьюринга, с не прикрепленной самоотверженностью, были продан за 180000 евро.

Работает

  • Христианство и наука в Доктрине веры Шлейермахера , 1909 г.
  • Вера и неверие в мировую историю. Один ответ Августину de Civitate Dei , 1911
  • Шлейермахер и Гете. Ein Beitrag zur Geschichte des deutschen Geistes [ Шлейермахер и Гете. Вклад в историю немецкого духа ] (Диссертация) (на немецком языке), Лейпциг: JC Hinrichs, 1913
  • Идеализм как носитель военной мысли . Фридрих Андреас Пертес, Гота , 1915. Сочинения Пертеса о Второй мировой войне, том 3
  • Политика и мораль. Исследование морального облика современной реальной политики . Фридрих Андреас Пертес, Гота, 1915. Сочинения Пертеса о мировой войне, том 6
  • Война и христианство . Фридрих Андреас Пертес, Гота, 1915. Сочинения Пертеса о Второй мировой войне, том 7
  • Суть немецкого духа . Grote'sche Verlagsbuchhandlung, Берлин, 1917 г.
  • Идея бессмертия как философская проблема , 1920 г.
  • Философия религии . Reuther & Reichard, Берлин, 1921 г., 2-е исправленное издание, 1922 г.
  • О «закате» Запада. Спор с Освальдом Шпенглером . Reuther & Reichard, Берлин; Издание 2-е, переработанное и дополненное, 1921 г.
  • Религиозная философия «как будто». Обзор Канта и идеалистического позитивизма , 1921 г.
  • Значение философии Гегеля для философов современности . Рейтер и Райхард, Берлин, 1921 г.
  • Наследие учения Канта о пространстве и времени , 1924 г.
  • Основы греческой математики , 1928 г. с Гельмутом Хассе
  • Эрос и Каритас. Платоническая любовь и любовь в смысле христианства , 1929 г.
  • История логики. Юнкер и Дюннхаупт, Берлин 1931 г. (1959 г. в рамках истории логики Альбер, Фрайбург-им-Брайсгау)
  • Отношение Гете к вопросу о бессмертии , 1934 г.
  • Новая логистическая логика и преподавание естественных наук. В: Исследования и прогресс , Том 11, 1935.
  • Классическая и современная логика. В: Sheets for German Philosophy , Volume 10, 1937, pp. 254–281.
  • Фрагменты платоника . Штауфен, Кельн без даты (1940).
  • Метафизика как строгая наука . Штауфен, Кельн, 1941 год.
  • Новая форма фундаментальных исследований. Исследования и достижения № 35/36 1941 г.р., стр. 382ff.
  • Логика, грамматика, метафизика . В: Архив философии , том 1, 1947 г., стр. 39–80.
  • Встреча с Ницше . Борозда, Тюбинген, 1948 год.
  • Принципы математической логики. Берлин, Геттинген 1961 Гисберт Хазенджегер
  • Mathesis universalis. Очерки философии как строгой науки , под редакцией Ганса Гермеса , Фридриха Камбартеля и Иоахима Риттера , University Press, Дармштадт, 1961.
  • Шольц Лейбниц и математическая основа исследования, годовой отчет Немецкий математический клуб 1943 г.

Статьи

  • Фихте и Наполеон . В: Preußische Jahrbücher (на немецком языке), том 152, 1913 г., стр. 1–12.
  • Религиозная философия «как будто» . В: Annals of Philosophy , 1 Vol 1919, pp. 27–113.
  • Религиозная философия «как будто» . В: Annals of Philosophy , 3 Bd, H. 1 1923, стр. 1–73.
  • Почему греки не строили иррациональные числа ?. В: Кант исследований . Vol.3, 1928, стр 35-72
  • Августин и Декарт . В: Листы немецкой философии , том 5, 1932, выпуск 4, стр. 405–423.
  • Идея Бога в математике . В: Sheets for German Philosophy , Volume 8, 1934/35, pp. 318–338.
  • Логика, грамматика, метафизика . В: Архивы права и социальной философии , том 36, 1943/44, стр. 393–433.

Рекомендации

Источники

  • Гермес, Ганс (1955), «Heinrich Scholz zum 70. Geburtstag» [Генрих Шольц по случаю его 70-летия], Mathematisch-Physikalische Semesterberichte (на немецком языке), 4 : 165–170, ISSN   0340-4897
  • Линневебер-Ламмерскиттен, Гельмут (1995). «Шольц, Генрих». Biographisch-Bibliographisches Kirchenlexikon (BBKL) (на немецком языке). Том 9: «Шарлинг, Карл Хенрик - Шелдон, Чарльз Монро». Герцберг: Трауготт Баутц. cols. 683–687. ISBN   978-3-88309-058-0 .
  • Мешковский, Герберт (1984), «Генрих Шольц. Zum 100. Geburtstag des Grundlagenforschers» [Генрих Шольц. К 100-летию со дня рождения фундаментального исследователя // Humanismus und Technik. Ярбух 1984 (на немецком языке), Берлин: Gesellschaft von Freunden der Technischen Universität Berlin e. Т., 27 , с. 28–52, ISSN   0439-884X
  • Molendijk, Arie L. (1991), Aus dem Dunklen ins Helle. Wissenschaft und Theologie im Denken von Heinrich Scholz. Mit unveröffentlichten Thesenreihen von Heinrich Scholz und Karl Barth [ Из тьмы к свету. Наука и теология в мыслях Генриха Шольца. С неопубликованными наборами тезисов Генриха Шольца и Карла Барта ], Амстердамские исследования в области теологии (на немецком языке), 8 , Амстердам / Атланта, Джорджия: Editions Rodopi, ISBN   978-9051832471
  • Пекхаус, Фолькер (1998–1999), «Нравственная целостность в трудный период: Бет и Шольц» , Philosophia Scientiae , 3 (4): 151–173 , получено 18 января 2019 г.
  • Пекхаус, Фолькер (2018), «Генрих Шольц» , в Zalta, Эдвард Н. (редактор), Стэнфордская энциклопедия философии (издание осень 2018 г.), Стэнфорд, Калифорния: Исследовательская лаборатория метафизики, Стэнфордский университет , дата обращения 18 января 2019 г.
  • Шмидт-ам-Буш, Ганс-Кристоф; Wehmeier, Kai F. , eds. (2005). Генрих Шольц - логик, философ, теолог [ Генрих Шольц - логик, философ, теолог ] (на немецком и английском языках). Падерборн, Германия: Mentis. ISBN   978-3897852792 .
  • Schmidt am Busch, Hans-Christoph (2007), «Scholz, Heinrich» , Neue Deutsche Biographie (на немецком языке), 23 , стр. 454–455 , получено 18 января 2019 г.

Наружные работы