ハインリヒ・ショルツ

ハインリヒ・ショルツ
オーバーヴォルフアッハ数学研究所のハインリヒ・ショルツ
生まれる	1884年12月17日 ( 1884-12-17 ) ベルリン、ドイツ帝国
死亡	1956年12月30日(1956-12-30)（72歳） ミュンスター、西ドイツ
市民権	ドイツ語
教育	ミュンスター大学
知られている	ミュンスター大学数理論理学・基礎研究研究所 世界初のコンピュータサイエンスに関するセミナー（アラン・チューリング氏と共催）
科学者としてのキャリア
フィールド	数学 論理
機関	ブレスラウ大学 ベルリン大学 エアランゲン大学
論文	シュライエルマッハース グラウベンレーアのクリステントムとヴィッセンシャフト (1909 年) シュライエルマッハーとゲーテ。 Ein Beitrag zur Geschichte des deutschen Geistes  (1913)
博士課程の指導教員	アドルフ・フォン・ハルナック、アロイス・リール
博士課程の学生	フリードリヒ・バッハマン ハンス ・ヘルメス・ ギスベルト・ハーゼンイェーガー カール・シュレーダー

ハインリヒ・ショルツ（ドイツ語: [ʃɔlts] ; 1884年12月17日 - 1956年12月30日）は、ドイツの論理学者、哲学者、プロテスタント 神学者である。彼はアラン・チューリングの同僚であり、チューリングは『計算可能数について、その実現問題への応用』の受容について書いた際にショルツについて言及している。 ^[1]「私は再版を求める手紙を2通受け取った。1通はキングス大学のブレイスウェイトから、もう1通はドイツの教授からである...彼らは論文に非常に興味を持っているようだった。[...] ここでの受容には失望した。」

ショルツは並外れた経歴の持ち主（国家的に重要な傑出した科学者とみなされていた）だったが、ゴットロープ・フレーゲやルドルフ・カルナップと同レベルの優れた論理学者とはみなされていなかった。彼は学生が成長できる適切な学術環境を提供した。1936年にミュンスター大学に数理論理学および基礎研究研究所を設立し、第二次世界大戦後から今日に至るまで、最高水準の国際的論理学研究を可能にしたと言える。^[2]

ヘルマン・ショルツの父はベルリンの聖マリア教会のプロテスタント牧師であった。^[3] 1903年から1907年まで、彼はエアランゲン大学とベルリン大学で哲学と神学を学び、神学の学位（Lic. theol.）を取得した。彼はアドルフ・フォン・ハルナックの弟子であり、哲学では同僚のアロイス・リールやフリードリヒ・パウルゼンと共に学んだ。1910年7月28日、ショルツはベルリンで宗教哲学と組織神学の科目で資格を取得し、教授に昇進し、そこで講師として働いた。^[4] 1913年、ハインリヒ・ショルツはエアランゲンでリヒャルト・ファルケンベルクに師事し、シュライエルマッハーとゲーテの著作を研究し、「シュライエルマッハーとゲーテ。ドイツ精神の歴史に関する記事」と題した博士号の昇進試験を受けた。^{[5] 1917年、}ルドルフ・オットーの後任としてブレスラウの宗教哲学科教授に任命され、宗教哲学と組織神学を教えた。同年、婚約者のエリーザベト・オルトと結婚。8年間胃の不調が続いたため、兵役を免除された。1919年、胃の大部分が切除されたと思われる手術を受けた。同年、キール大学に招かれ、哲学科教授に就任。1924年、キール大学在学中に、最初の妻エリーザベト・オルトが亡くなった。^[4]

1928年10月から、彼はミュンスター大学で、最初は哲学教授として教鞭を執った。1938年に数学と科学の哲学の教授に異動し、1943年には再び数学論理学と数学の基本問題の教授となり、ミュンスターの数理論理学・基礎研究研究所の所長として働き、1952年に名誉教授として退職した^[6]。^[4]

ショルツの遺族には2番目の妻エルナがいた。ショルツの墓はキール近郊のアイヒホーフ公園墓地にある。

彼自身の説明によれば、1921年にバートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』を偶然見つけたことが、若い頃に神学を学ぶために放棄していた論理学の研究を始め、後にキール大学で学士号を取得して数学と理論物理学の研究に至ったという。^[2] しかし、彼の焦点の変化のもう一つの要因は数学者オットー・テプリッツであった。^{[4]テプリッツの}ヒルベルト空間やスペクトル理論を含む幅広い研究関心は、ショルツの数学への興味を後押しした。実際、シーガル^{[4] [7]}は、ショルツの構造への愛着も彼が数理論理学に移行した重要な要因であったと示唆し、次のように述べている。

ショルツの構造に対する感覚は、決して小さなものではありませんでした。彼は、夕食に客を招くときは、(1) 招待する人数は 6 人以下であること、(2) 素晴らしいメニューであること、(3) 話し合いのテーマを計画すること、(4) 客は事前にそのテーマについてできる限り準備しておくべきであると考えていたようです。

1925年、彼はミュンスター大学でカール・バルトの同僚となり、プロテスタント神学を教えた。バルトはショルツとの会話の影響を受けて、1930年から1931年にかけて、カンタベリー大司教アンセルムスの神の存在証明に関する著書『fides quaerens intellectum』を執筆した。

1930年代、彼はアラン・チューリングと連絡を取り合っていた^{[8] [9]。}チューリングは後に1937年2月22日付けの手紙の中で、彼の論文「計算可能数について、そして計算問題への応用」の反響について次のように書いている。^[1]

私は再版を求める手紙を2通受け取った。1通はキングス大学のブレイスウェイトから、もう1通はドイツの教授からだった。彼らはこの論文に非常に興味を持っているようだった。おそらく、この論文はある程度の影響を与えていると思う。私はここでのこの論文の受け止め方に失望した。私は、数年前にこの論文と非常に密接に関係する研究をしたワイルが、少なくともこの論文について少しはコメントするだろうと期待していた。^[10]

ミュンスター大学での数理論理学と基礎研究に関する研究は、理論計算機科学の基礎に貢献する多くの重要な洞察をもたらしました。^[2]ミュンスターに着任した時から、ショルツは数理論理学の学派の構築に取り組みました。^{[4] 1935年までに、ミュンスターの彼の研究チームは、}ミュンスター数理論理学派と呼ばれるようになりました。^[4]ショルツは、1936年をミュンスター学派が誕生した年としています。^[3] 彼の教授職は、1936年に数理論理学と基礎研究の講師職に再任命され、1943年にはドイツで初となる数理論理学と基礎研究の教授職が与えられました。ミュンスター教授職は、今でもドイツで最高の教授職の1つと見なされています。

ショルツはプラトン主義者とみなされ、その意味では数学的論理を知識の基礎とみなしていた。1936年に彼は論理学の研究書3巻の出版とゴットロープ・フレーゲ論文の編集に対してドイツ連邦共和国から助成金を授与された。彼はゴットロープ・フレーゲの遺産の発見者とみなされている。^[11]

1961年、ショルツに論文指導を受けたギスベルト・ハゼンイェーガーは、ショルツの死後5年を経て出版されたにもかかわらず、ショルツとの共著で『数学論理学の基礎』という本を出版した。 ^[4]

当初、ショルツはドイツにおけるナチスの台頭を喜んだ。自身を保守的な民族主義者と評し、「我々は骨の髄までプロイセン人だと感じていた」^[3]と評し、友人のハインリヒ・ベンケは彼を「心の狭いプロイセン民族主義者」と評した^[4] 。ベンケは政治問題を議論するのが難しいと感じていた。当初、ナチスの法律は、ゲッティンゲン大学やベルリン大学の他の大学職員が抹殺される中、ミュンスターを論理学の重要な中心地として確立するのに役立った。

1940年3月14日、ショルツは占領下のポーランド教育省に書簡を送り、クラクフ大学の神学教授だったヤン・サラムチャ^{[4]の釈放を求めた。サラムチャは1940年に}ザクセンハウゼン強制収容所に送られた。1940年10月、ショルツは教育大臣宛ての返答を受け取った。そこには「国家の名誉を傷つけた」と書かれており、これ以上の請願書の送付は禁じられていた。^[12]サラムチャは後に釈放されたが、1944年にナチスに殺害された^[4]しかし、ショルツは諦めず、まずポーランドから米国に逃亡したアルフレート・タルスキがポーランドに残った妻と文通するのを手伝い、その後は1928年以来文通していたポーランドの論理学者ヤン・ルカシェヴィチが妻とともにポーランドを離れドイツに隠れるのを手伝った^{[4] 。}

ショルツは1942年半ば以降、ナチスの本質を認識して彼らを嫌悪していたが、ルートヴィヒ・ビーベルバッハのようなナチスの学者とは良好な関係を保っていた。^{[4]国家社会主義の時代に、数学への形式主義的アプローチを拒否する}ドイツ数学を擁護したマックス・シュテックは、ヒルベルトのアプローチをユダヤ的であり、当時のドイツで考えられ得る最悪の侮辱であると激しく反対した。 ^[4]マックス・シュテックは、「形式主義のそれ自体顕著な成果」（「an sich betrachtet einmaligen Leistung des Formalismus」）を認めたが、「認識論的要素の欠落」（「Jede eigentliche Erkenntnistheorie fehlt im Formalismus」）を批判し、^[13]、彼の主著の中で形式主義とユダヤ人を結びつける唯一のページで、「ユダヤ人は実際のユダヤ人であった」と言及している。形式主義のトレンドセッター」（「形式主義の表現法」）。^[14]これに応えて、ビーバーバッハはショルツに、シュテックによる数学的形式主義へ​​の攻撃に答えるための記事をドイツ数学に執筆するよう依頼したが、ビーバーバッハはナチスの数学者によるユダヤ数学への攻撃を主導していたため、これは驚くべきことであった。ヒルベルトが「ユダヤ人」とみなされないよう、ショルツは「数学の基礎の形式化された研究は何を目指すのか？」と書いた。 ^{[4] [15]}ショルツは1937年にビーベルバッハから資金提供を受けており、これに憤慨したシュテックは1942年の著書の中で次のように書いている。

ショルツが理解していたのは、この論理的成果のためにドイツ政府から莫大な出版費を得ることだったに違いない。我々は、イギリス人のロック、バークリー、ヒュームのようなイギリスの経験論者や感覚哲学者を称賛するこの論理を根本的に拒否し、今こそ「偉大なドイツ人」について語るべき時だと考えます。^{[4] [16]}

ジャーナル「ドイツ数学」にはハインリヒ・ショルツによる他に 3 つの論文がありました: Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls (1936)、ナチスの哲学者ヴォルフガング・クラーマーの著書Das Problem der reinen Anschauung (1938) のレビューアンドレアス・シュパイザーの「Ein Parmenideskommentar」（1938）。

2000年代後半、アヒム・クラウジング^[17]はミュンスター大学に残されたショルツの遺産を調べる任務を負い、コンピュータサイエンス研究所の地下室にあるアーカイブ文書を調べていたところ、1945年以来行方不明になっていたアラン・チューリングの最も重要な出版物のオリジナルプリント2枚を発見した。^[18]この場合、ショルツが依頼した1936年の著作「計算可能数について、その計算問題への応用」と、チューリングからのポストカードだった。チューリングの著作とショルツとの会話に基づいて、クラウジングは「[それは]世界初のコンピュータサイエンスのセミナーだった」と述べた。2番目の著作はマインド（ジャーナル）の記事で、1950年のものであり、人工知能の開発に関する論文であり、チューリングは手書きのコメントを彼らに提供した。これはおそらく私が持っている最後のコピーだろう。^[19]最近サザビーズ では、献辞のないチューリングの類似の版画が18万ユーロで落札された。

• シュライエルマッハーの信仰の教義におけるキリスト教と科学、1909年
• 世界史における信仰と不信仰。アウグスティヌス『神の国』 1911年への1つの反応
• シュライエルマッハとゲーテ。 Ein Beitrag zur Geschichte des deutschen Geistes [シュライエルマッハーとゲーテ。ドイツ精神の歴史への貢献] (論文) (ドイツ語)、ライプツィヒ: J.C. Hinrichs、1913
• 戦争思想の担い手としての理想主義。フリードリヒ・アンドレアス・ペルテス、ゴータ、1915年。ペルテスの第二次世界大戦に関する著作、第3巻
• 政治と道徳。現代の現実政治の道徳的性格の調査。フリードリヒ・アンドレアス・ペルテス、ゴータ、1915年。ペルテスの第一次世界大戦に関する著作、第6巻
• 戦争とキリスト教。フリードリヒ・アンドレアス・ペルテス、ゴータ、1915年。ペルテスの第二次世界大戦に関する著作、第7巻
• ドイツ精神の真髄。大聖堂、ベルリン、1917 年。
• 哲学的問題としての不死の考え、1920年
• 宗教哲学。ロイター＆ライヒャルト、ベルリン、1921年、第2改訂版、1922年。
• 西洋の「衰退」について。オスヴァルト・シュペングラーとの論争。ロイター＆ライヒャルト、ベルリン、第2改訂・増補版、1921年。
• あたかもの宗教哲学。カントと観念論的実証主義のレビュー、1921年
• 現代の哲学者にとってのヘーゲル哲学の重要性。ロイター＆ライヒャルト、1921年ベルリン
• カントの空間と時間の教義の遺産、1924年
• ギリシャ数学の基礎、1928年、ヘルムート・ハッセとの共著
• エロスとカリタス。プラトニックな愛とキリスト教の意味における愛、1929年
• 論理学の歴史。ユンカーとデュンハウプト、ベルリン 1931 年 (1959 年、アルバー著『論理学の歴史』、フライブルク・イム・ブライスガウ)
• ゲーテの不滅の問題に対する態度、1934年
• 新しいロジスティック論理と科学教育。研究と進歩、第 11 巻、1935 年。
• 古典論理学と現代論理学。ドイツ哲学叢書、第10巻、1937年、254-281頁。
• プラトン主義者の断片。ケルン、シュタウフェン、日付なし（1940 年）。
• 厳密な科学としての形而上学。シュタウフェン、ケルン 1941 年。
• 基礎研究の新しい形。1941年生まれの研究と進歩第 35/36 号、382 ページ以降。
• 論理学、文法、形而上学。哲学アーカイブ、第1巻、1947年、39-80頁。
• 『ニーチェとの出会い』ファーロウ、テュービンゲン、1948年。
• 数理論理学の原理 ベルリン、ゲッティンゲン 1961ギスベルト・ハーゼンイェーガー
• 普遍的数学。厳密な科学としての哲学に関するエッセイ、ハンス・ヘルメス、フリードリヒ・カンバルテル、ヨアヒム・リッター編、ダルムシュタット大学出版局、1961年。
• ショルツライプニッツと研究のための数学的基礎、ドイツ数学者クラブ 1943 年年次報告書

• フィヒテとナポレオン。掲載場所: Preußische Jahrbücher (ドイツ語)、第 152 巻、1913 年、1 ～ 12 ページ。
• あたかもの宗教哲学。Annals of Philosophy、第1巻1919年、27～113ページ
• あたかもの宗教哲学。Annals of Philosophy、3 Bd、H. 1 1923、pp. 1–73
• ギリシャ人はなぜ無理数を構築しなかったのか？カント研究第3巻、1928年、35～72ページ
• アウグスティヌスとデカルト。ドイツ哲学誌、第5巻、1932年、第4号、405～423ページ。
• 数学における神の観念。ドイツ哲学誌、第8巻、1934/35年、318～338頁。
• 論理学、文法、形而上学。法と社会哲学のアーカイブ、第36巻、1943/44年、393-433ページ

• ヘルメス、ハンス (1955)、「Heinrich Scholz zum 70. Geburtstag」[70 歳の誕生日を迎えたハインリヒ ショルツ]、数学物理学半期(ドイツ語)、4 : 165–170、ISSN  0340-4897
• リンネウェバー・ランマースキッテン、ヘルムート (1995)。 「ショルツ、ハインリヒ」。Biographisch-Bibliographisches Kirchenlexikon (BBKL) (ドイツ語)。 Vol. 9: 「シャーリング、カール・ヘンリック – シェルドン、チャールズ・モンロー」。ハーズバーグ: トラウゴット・バウツ。列。 683 ～ 687 年。ISBN 978-3-88309-058-0。
• メシュコフスキー、ヘルベルト (1984)、「Heinrich Scholz. Zum 100. Geburtstag des Grundlagenforschers」 [Heinrich Scholz.基礎研究者の生誕 100 周年を記念して]、ヒューマニズムと技術。 Jahrbuch 1984 (ドイツ語)、vol. 27、ベルリン: Gesellschaft von Freunden der Technischen Universität Berlin e. V.、28–52ページ、ISSN  0439-884X
• Molendijk、Arie L. (1991)、Aus dem Dunklen in Helle。科学と神学はデンケン・フォン・ハインリヒ・ショルツです。 Mit unveröffentlichten Thesenreihen von Heinrich Scholz und Karl Barth [闇から光へ。ハインリヒ・ショルツの思想における科学と神学。ハインリヒ・ショルツとカール・バルトの未発表論文セット付き]、「アムステルダム神学研究」（ドイツ語）、vol. 8、アムステルダム/アトランタ、GA: Editions Rodopi、ISBN 978-9051832471
• ペックハウス、フォルカー（1998-1999）「困難な時期の道徳的誠実さ：ベスとショルツ」、Philosophia Scientiae、3（4）：151-173 、 2019年1月18日閲覧。
• ペックハウス、フォルカー（2018）「ハインリッヒ・ショルツ」、ザルタ、エドワード・N（編）、スタンフォード哲学百科事典（2018年秋版）、スタンフォード、カリフォルニア州：スタンフォード大学形而上学研究室、 2019年1月18日閲覧。
• シュミット・アム・ブッシュ、ハンス・クリストフ。ウェマイヤー、カイ F.編(2005)。ハインリヒ・ショルツ – 論理学者、哲学者、神学者[ハインリヒ・ショルツ – 論理学者、哲学者、神学者] (ドイツ語と英語)。ドイツ、パーダーボルン：メンティス。ISBN 978-3897852792。
• シュミット・アム・ブッシュ、ハンス・クリストフ (2007)、「ショルツ、ハインリヒ」、Neue Deutsche Biographie (ドイツ語)、vol. 23、454–455ページ、2019年1月18日取得

• John J. O'Connor、Edmund F. Robertson  : ハインリヒ・ショルツ (論理学者)。出典: MacTutor 数学史アーカイブ(英語)
• ドイツ国立図書館のカタログにあるハインリヒ・ショルツの出版物
• スタンフォード哲学百科事典