Войти
| Генрих Шольц | |
|---|---|
 Генрих Шольц в Институте математических исследований Обервольфах | |
| Родился | 17 декабря 1884 (1884-12-17). Берлин, Германская империя |
| Умер | 30 декабря 1956 (1956-12-30) ( в возрасте 72 лет). Мюнстер, Западная Германия |
| Гражданство | Немецкий |
| Alma mater | Мюнстерский университет |
| Известен | Институтом математической логики и Фундаментальные исследования в Мюнстерском университете. Первый в мире семинар по информатике (с Аланом Тьюрингом) |
| Научная карьера | |
| Области | Математика. Логика |
| Учреждения | Университет Бреслау. Университет Берлина. Университет Эрлангена |
| Тезисы |
|
| Докторант | Адольф фон Гарнак. Алоис Риль.. Отто Теплиц |
| Докторанты | Фридрих Бахманн. Ганс Гермес. Гис Хазенджегер. Карл Шретер |
| Влияния | Альфред Норт Уайтхед. Бертран Рассел. Отто Теплиц. Алан Тьюринг. Фридрих Шлейермахер. Бернард Больцано |
Генрих Шольц ( Немец: ; 17 декабря 1884 г. - 30 декабря 1956 г.) был немецким логиком, философом и Протестант теолог. Он был ровесником Алана Тьюринга, который упомянул Шольца, когда писал о приеме «О вычислимых числах, с приложением к Entscheidungsproblem »: «У меня было два письма с вопросом для перепечаток: один из Брейтуэйта в King's и один из профессора [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»:
У меня было два письма с просьбой о перепечатке: одно от Брейтуэйта из Кинга, а другое от профессора [sic] из Германии... Они, похоже, очень интересовались газетой. Думаю, возможно, это производит определенное впечатление. Я был разочарован его приемом здесь. Я ожидал, что Вейль, который проделал некоторую работу, довольно тесно связанную с этим несколько лет назад, по крайней мере, сделает несколько замечаний по этому поводу.
В университете Мюнстера его исследование математической логики и фундаментальных исследований, предоставил многие важные идеи, которые внесли свой вклад в основы теоретической информатики. С момента прибытия в Мюнстер Шольц работал над созданием школы математической логики. К 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 года:
Шольц, несомненно, понял следующее: получить от немецкого государства огромные суммы денег на публикацию для производства этой логики. Мы в корне отвергаем эту логику, восхваляющую английских эмпириков и сенсорных философов, таких как англичане Локк, Беркли, Юм, и теперь находим время поговорить хотя бы раз о «великих немцах».
Были еще три статьи автора Генрих Шольц в журнале German Mathematics: Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1936), рецензия на книгу нацистского философа Вольфганга Крамера Das Problem der reinen Anschauung (<1995>) и рецензию на книгу Андреасса Спайзера "Эйн Парменидескомментар" (1938).
В конце 2000-х Ахиму Клаузингу было поручено пройти через оставшееся поместье Шольца в Мюнстерском университете, а также просмотреть архивные документы в подвале Институт компьютерных наук в Клаузинге обнаружил два оригинальных отпечатка наиболее важной публикации Алана Тьюринга, которые отсутствовали с 1945 года. В данном случае это работа «О вычислимых числах в приложении к Entscheidungsproblem » из 1936 года, о котором просил Шольц, и открытку от Тьюринга. Основываясь на работе Тьюринга и беседах со Шольцем, Клаузинг заявил, что «[это был] первый в мире семинар по информатике». Вторая работа, которая представляла собой статью в журнале Mind, датируется 1950 годом и представляет собой трактат о развитии искусственного интеллекта. Тьюринг предоставил им рукописный комментарий. Это наверное мой последний экземпляр. Недавно на Sotheby's сопоставимые репродукции Тьюринга без прикрепленной надписи были проданы за 180 000 евро.
Биографический портал 
Философский портал 