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

Для энтомолога см. Генрих Шольц (энтомолог).
Для австрийского скульптора см. Генрих Карл Шольц.

Генрих Шольц
HeinrichScholz.jpg
Родившийся17 декабря 1884 г. (1884-12-17)
Берлин, Германская Империя
Умер30 декабря 1956 г.(1956-12-30) (72 года)
Мюнстер, Западная Германия
ГражданствоНемецкий
Альма-матерМюнстерский университет
ИзвестенИнститут математической логики и фундаментальных исследований Мюнстерского университета
Первый в мире семинар на Информатика (с Аланом Тьюрингом)
Научная карьера
ПоляМатематика
Логика
УчрежденияУниверситет Бреслау
Берлинский университет
Эрлангенский университет
Тезисов
  • Christentum und Wissenschaft в Schleiermachers Glaubenslehre (1909)
  • Шлейермахер и Гете; Ein Beitrag zur Geschichte des deutschen Geistes (1913)
ДокторантАдольф фон Харнак
Алоис Риль
Ричард Фалькенберг [де ]
Отто Теплиц
ДокторантыФридрих Бахманн
Ганс Гермес
Гисберт Хазенджегер
Карл Шретер
ВлиянияАльфред Норт Уайтхед
Бертран Рассел
Отто Теплиц
Алан Тьюринг
Фридрих Шлейермахер
Бернар Больцано[1]

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

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

Личная жизнь

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

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

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

Работа

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Работает

  • Христианство и наука в Шлейермахер Доктрина веры, 1909
  • Вера и неверие в мировую историю. Один ответ Augustine de Civitate Dei, 1911
  • Шлейермахер и Гете. Ein Beitrag zur Geschichte des deutschen Geistes [Шлейермахер и Гете. Вклад в историю немецкого духа] (Диссертация) (на немецком языке), Лейпциг: J. C. 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 г.
  • Классическая и современная логика. В: Ведомости немецкой философии., Том 10, 1937 г., стр. 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.
  • Религиозная философия как будто. В: Анналы философии, 1 Том 1919, стр. 27–113
  • Религиозная философия как будто. В: Анналы философии, 3 Bd, H. 1 1923, стр. 1–73
  • Почему греки не строили иррациональные числа? В: Кантовские исследования Том 3, 1928, с. 35–72.
  • Августин и Декарт. В: Листы немецкой философии, Том 5, 1932 г., вып. 4, стр. 405–423.
  • Идея Бога в математике. В: Листы немецкой философии, Том 8, 1934/35, стр. 318–338.
  • Логика, грамматика, метафизика. В: Архивы права и социальной философии, Том 36, 1943/44, стр. 393–433

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

  1. ^ Шебестик, янв. «Логика Больцано». В Залта, Эдуард Н. (ред.). Стэнфордская энциклопедия философии.
  2. ^ а б Алан Тьюринг: "О вычислимых числах в приложении к Entscheidungsproblem." В: Труды Лондонского математического общества, 2-я серия, т. 42 (1937), стр. 230–265.
  3. ^ а б c Ганс-Кристоф Шмидт-ам-Буш и Кай Ф. Вемайер , «Это единственный след, который я оставляю». Документы по истории Института математической логики и фундаментальных исследований », В: Генрих Шольц: логик, философ, теолог, изд. Автор: H.-C. Шмидт-ам-Буш и К. Ф. Вемайер, mentis Verlag, Paderborn 2005, 93–101.
  4. ^ а б c Эккарт Мензлер-Тротт (1 января 2007 г.). Утраченный гений логики: жизнь Герхарда Гентцена. American Mathematical Soc. С. 183–. ISBN  978-0-8218-9129-2.
  5. ^ а б c d е ж грамм час я j k л м п о п "История Генриха Шольца". Сент-Эндрюсский университет. Школа математики и статистики Университета Сент-Эндрюс, Шотландия. Июль 2009 г.. Получено 15 декабря 2012.
  6. ^ Шлейермахер и Гете. Ein Beitrag zur Geschichte des deutschen Geistes [Шлейермахер и Гете: Вклад в историю немецкого духа] (Диссертация) (на немецком языке), Лейпциг: J. C. Hinrichs, 1913
  7. ^ «Институт математической логики и фундаментальных исследований». Университет Мюнстера. Получено 15 декабря 2013.
  8. ^ Сегал, С. Л. (2003). Математики при нацистах. Издательство Принстонского университета. ISBN  9780691164632.
  9. ^ Напечатанная открытка, Генрих Шольц. 11 февраля 1937 г., Цифровой архив Тьюринга, получено 23 января 2019
  10. ^ Напечатанная открытка, Генрих Шольц. 5 марта 1937 г., Цифровой архив Тьюринга, получено 23 января 2019
  11. ^ Коупленд, Б. Джек, изд. (2004), «Системы логики, основанные на порядковых числах (1938), включая выдержки из переписки Тьюринга, 1936–1938», The Essential Turing: основные труды по вычислениям, логике, философии, искусственному интеллекту и искусственной жизни: плюс секреты загадки, Oxford: Clarendon Press, стр. 131, ISBN  9780198250791
  12. ^ Кай Ф. Вемайер и Ганс-Кристоф Шмидт в Буше, «В поисках поместья Фреге». В: Готтлоб Фреге: Работы и влияние, под ред. Дж. Габриэль и У. Дате, mentis Verlag, Paderborn 2005, 267–281.
  13. ^ Vita в Uni Münster (на немецком языке, стр. 111-118 = стр. 23-30 в документе pdf), здесь: стр. 114-115 = стр. 26-27
  14. ^ Макс Штек: «Mathematik als Begriff und Gestalt» (т.е. «Математика как концепция и модель»), Max Niemeyer Verlag, Halle (Saale), 1942, страницы 27, 28.
  15. ^ Макс Штек: "Das Hauptproblem der Mathematik", 2-е расширенное издание, доктор Георг Люттке Верлаг, Берлин 1943, стр. 204
  16. ^ Генрих Шольц (июль 1943 г.). "Была ли умереть формализм Grundlagenforschung?". Deutsche Mathematik. 7 (2/3): 206–248.
  17. ^ Макс Штек, Das Hauptproblem der Mathematik, 2-е издание, Георг Люттке Верлаг, Берлин, 1943, стр. 157; прямая цитата из книги Макса Штека: «Шольц, несомненно, понял следующее: он отказался от утверждений первого издания нашей книги как относящихся к истории мысли и стал личным. Мы принципиально отвергаем эту формальную математическую логику, восхваляющую англичан. эмпирики и сенсорные философы, такие как «великие англичане Локк, Беркли, Юм» (Генрих Шольц на стр. 15), и сейчас находят время, чтобы хоть раз поговорить о «великих немцах». (Оригинальный немецкий текст Макса Штека: "Was er verstanden hat ist zweifellos dies, die Darlegungen der 1. Auflage unseres Buches als geistesgeschichtliche Entwicklungen abzustreiten und ins Persönliche zu verbiegen. Wir lehnen grundsätzlich Dießempirse Logistik, die englisten" «священник (так Генрих Шольц там же. С. 15) ab und finden es nachgerade an der Zeit, einmal von den« Großen Deutschen »zu sprechen».)
  18. ^ http://cs.uni-muenster.de/u/cl/
  19. ^ «По стопам первопроходца: в университетской библиотеке Мюнстера хранятся подлинные гравюры ученого-информатика Алана Тьюринга». Westfälische Nachrichten. Мюнстер: Westfälische Nachrichten Elmar Ries. 28 января 2013 г.
  20. ^ Тьюринг, Алан (октябрь 1950 г.). «Вычислительная техника и интеллект». Институт компьютерных наук, Мюнстерский университет. Разум, Ежеквартальный обзор психологии и философии Том LIX № 236. Получено 15 декабря 2013.

Источники

  • Гермес, Ганс (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
  • Молендейк, Ари Л. (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, Амстердам / Атланта, Джорджия: Издания Rodopi, ISBN  978-9051832471
  • Пекхаус, Фолькер (1998–1999), «Моральная целостность в трудный период: Бет и Шольц», Philosophia Scientiae, 3 (4): 151–173, получено 18 января 2019
  • Пекхаус, Фолькер (2018), "Генрих Шольц", в Залте, Эдвард Н. (ред.), Стэнфордская энциклопедия философии (Издание осенью 2018 г.), Стэнфорд, Калифорния: Исследовательская лаборатория метафизики, Стэнфордский университет, получено 18 января 2019
  • Шмидт-ам-Буш, Ганс-Кристоф; Вемайер, Кай Ф., ред. (2005). Генрих Шольц - логик, философ, теолог [Генрих Шольц - логик, философ, теолог] (на немецком и английском языках). Падерборн, Германия: Mentis. ISBN  978-3897852792.
  • Шмидт-ам-Буш, Ганс-Кристоф (2007), "Шольц, Генрих", Neue Deutsche Biographie (на немецком), 23, стр. 454–455, получено 18 января 2019

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