[{"data":1,"prerenderedAt":1373},["ShallowReactive",2],{"blog-\u002Fblog\u002F002-mathematical-logic-timeline":3,"blog-all":1145,"timeline-mathematical-logic-20th-century":1169},{"id":4,"title":5,"body":6,"date":1131,"description":1132,"draft":1133,"extension":1134,"image":1135,"meta":1136,"navigation":1137,"no":1122,"path":1138,"pinned":1133,"seo":1139,"stem":1140,"tags":1141,"updated":1135,"__hash__":1144},"blog\u002Fblog\u002F002-mathematical-logic-timeline.md","年表で見る20世紀の数理論理学 ― ゲーデルとタルスキ",{"type":7,"value":8,"toc":1120},"minimark",[9,22,40,178,182,187,190,195,198,494,669,675,682,686,807,1105,1109],[10,11,12,13,17,18,21],"p",{},"20世紀の数理論理学は、「数学は自分自身の正しさを保証できるのか」というヒルベルトの問いから大きく動き出しました。その問いに最も鋭く答えたのが、",[14,15,16],"strong",{},"クルト・ゲーデル","と",[14,19,20],{},"アルフレト・タルスキ","です。",[23,24,25,33],"ul",{},[26,27,28,29,32],"li",{},"ゲーデルは ",[14,30,31],{},"証明可能性"," の限界を示しました（不完全性定理）。",[26,34,35,36,39],{},"タルスキは ",[14,37,38],{},"真理"," の限界を示しました（真理の定義不可能性定理）。",[10,41,42,43,90,91,119,120,148,149,177],{},"二人の結果は表裏一体です。十分に強い体系 ",[44,45,48,70],"span",{"className":46},[47],"katex",[44,49,52],{"className":50},[51],"katex-mathml",[53,54,56],"math",{"xmlns":55},"http:\u002F\u002Fwww.w3.org\u002F1998\u002FMath\u002FMathML",[57,58,59,66],"semantics",{},[60,61,62],"mrow",{},[63,64,65],"mi",{},"T",[67,68,65],"annotation",{"encoding":69},"application\u002Fx-tex",[44,71,75],{"className":72,"ariaHidden":74},[73],"katex-html","true",[44,76,79,84],{"className":77},[78],"katex-base",[44,80],{"className":81,"style":83},[82],"katex-strut","height:0.6833em;",[44,85,65],{"className":86,"style":89},[87,88],"mord","mathnormal","margin-right:0.1389em;"," について、「",[44,92,94,107],{"className":93},[47],[44,95,97],{"className":96},[51],[53,98,99],{"xmlns":55},[57,100,101,105],{},[60,102,103],{},[63,104,65],{},[67,106,65],{"encoding":69},[44,108,110],{"className":109,"ariaHidden":74},[73],[44,111,113,116],{"className":112},[78],[44,114],{"className":115,"style":83},[82],[44,117,65],{"className":118,"style":89},[87,88]," で証明できる」という性質は ",[44,121,123,136],{"className":122},[47],[44,124,126],{"className":125},[51],[53,127,128],{"xmlns":55},[57,129,130,134],{},[60,131,132],{},[63,133,65],{},[67,135,65],{"encoding":69},[44,137,139],{"className":138,"ariaHidden":74},[73],[44,140,142,145],{"className":141},[78],[44,143],{"className":144,"style":83},[82],[44,146,65],{"className":147,"style":89},[87,88]," の中で表現できます。一方で「真である」という性質は ",[44,150,152,165],{"className":151},[47],[44,153,155],{"className":154},[51],[53,156,157],{"xmlns":55},[57,158,159,163],{},[60,160,161],{},[63,162,65],{},[67,164,65],{"encoding":69},[44,166,168],{"className":167,"ariaHidden":74},[73],[44,169,171,174],{"className":170},[78],[44,172],{"className":173,"style":83},[82],[44,175,65],{"className":176,"style":89},[87,88]," の中では表現できません。この非対称性が、真であっても証明できない文が存在する理由でもあります。",[179,180,181],"h2",{"id":181},"年表",[183,184],"timeline",{":show-header":185,"name":186},"false","mathematical-logic-20th-century",[179,188,189],{"id":189},"読み解くためのポイント",[191,192,194],"h3",{"id":193},"_1-19291931年完全性と不完全性","1. 1929〜1931年：完全性と不完全性",[10,196,197],{},"ゲーデルは、わずか2年ほどの間に一見正反対の2つの定理を証明しました。",[199,200,202],"theorem",{"title":201},"ゲーデルの完全性定理（1929年）",[10,203,204,205,233,234,265,266,294,295,323,324,381,382,410,411,439,440,493],{},"一階の理論 ",[44,206,208,221],{"className":207},[47],[44,209,211],{"className":210},[51],[53,212,213],{"xmlns":55},[57,214,215,219],{},[60,216,217],{},[63,218,65],{},[67,220,65],{"encoding":69},[44,222,224],{"className":223,"ariaHidden":74},[73],[44,225,227,230],{"className":226},[78],[44,228],{"className":229,"style":83},[82],[44,231,65],{"className":232,"style":89},[87,88]," と文 ",[44,235,237,252],{"className":236},[47],[44,238,240],{"className":239},[51],[53,241,242],{"xmlns":55},[57,243,244,249],{},[60,245,246],{},[63,247,248],{},"φ",[67,250,251],{"encoding":69},"\\varphi",[44,253,255],{"className":254,"ariaHidden":74},[73],[44,256,258,262],{"className":257},[78],[44,259],{"className":260,"style":261},[82],"height:0.625em;vertical-align:-0.1944em;",[44,263,248],{"className":264},[87,88]," について、",[44,267,269,282],{"className":268},[47],[44,270,272],{"className":271},[51],[53,273,274],{"xmlns":55},[57,275,276,280],{},[60,277,278],{},[63,279,65],{},[67,281,65],{"encoding":69},[44,283,285],{"className":284,"ariaHidden":74},[73],[44,286,288,291],{"className":287},[78],[44,289],{"className":290,"style":83},[82],[44,292,65],{"className":293,"style":89},[87,88]," のすべてのモデルで ",[44,296,298,311],{"className":297},[47],[44,299,301],{"className":300},[51],[53,302,303],{"xmlns":55},[57,304,305,309],{},[60,306,307],{},[63,308,248],{},[67,310,251],{"encoding":69},[44,312,314],{"className":313,"ariaHidden":74},[73],[44,315,317,320],{"className":316},[78],[44,318],{"className":319,"style":261},[82],[44,321,248],{"className":322},[87,88]," が真ならば（",[44,325,327,347],{"className":326},[47],[44,328,330],{"className":329},[51],[53,331,332],{"xmlns":55},[57,333,334,344],{},[60,335,336,338,342],{},[63,337,65],{},[339,340,341],"mo",{},"⊨",[63,343,248],{},[67,345,346],{"encoding":69},"T \\models \\varphi",[44,348,350,372],{"className":349,"ariaHidden":74},[73],[44,351,353,357,360,365,369],{"className":352},[78],[44,354],{"className":355,"style":356},[82],"height:0.999em;vertical-align:-0.249em;",[44,358,65],{"className":359,"style":89},[87,88],[44,361],{"className":362,"style":364},[363],"mspace","margin-right:0.2778em;",[44,366,341],{"className":367},[368],"mrel",[44,370],{"className":371,"style":364},[363],[44,373,375,378],{"className":374},[78],[44,376],{"className":377,"style":261},[82],[44,379,248],{"className":380},[87,88],"）、",[44,383,385,398],{"className":384},[47],[44,386,388],{"className":387},[51],[53,389,390],{"xmlns":55},[57,391,392,396],{},[60,393,394],{},[63,395,248],{},[67,397,251],{"encoding":69},[44,399,401],{"className":400,"ariaHidden":74},[73],[44,402,404,407],{"className":403},[78],[44,405],{"className":406,"style":261},[82],[44,408,248],{"className":409},[87,88]," は ",[44,412,414,427],{"className":413},[47],[44,415,417],{"className":416},[51],[53,418,419],{"xmlns":55},[57,420,421,425],{},[60,422,423],{},[63,424,65],{},[67,426,65],{"encoding":69},[44,428,430],{"className":429,"ariaHidden":74},[73],[44,431,433,436],{"className":432},[78],[44,434],{"className":435,"style":83},[82],[44,437,65],{"className":438,"style":89},[87,88]," から証明できる（",[44,441,443,462],{"className":442},[47],[44,444,446],{"className":445},[51],[53,447,448],{"xmlns":55},[57,449,450,459],{},[60,451,452,454,457],{},[63,453,65],{},[339,455,456],{},"⊢",[63,458,248],{},[67,460,461],{"encoding":69},"T \\vdash \\varphi",[44,463,465,484],{"className":464,"ariaHidden":74},[73],[44,466,468,472,475,478,481],{"className":467},[78],[44,469],{"className":470,"style":471},[82],"height:0.6944em;",[44,473,65],{"className":474,"style":89},[87,88],[44,476],{"className":477,"style":364},[363],[44,479,456],{"className":480},[368],[44,482],{"className":483,"style":364},[363],[44,485,487,490],{"className":486},[78],[44,488],{"className":489,"style":261},[82],[44,491,248],{"className":492},[87,88],"）。",[199,495,497],{"title":496},"ゲーデルの第一不完全性定理（1931年）",[10,498,499,527,528,580,581,639,640,668],{},[44,500,502,515],{"className":501},[47],[44,503,505],{"className":504},[51],[53,506,507],{"xmlns":55},[57,508,509,513],{},[60,510,511],{},[63,512,65],{},[67,514,65],{"encoding":69},[44,516,518],{"className":517,"ariaHidden":74},[73],[44,519,521,524],{"className":520},[78],[44,522],{"className":523,"style":83},[82],[44,525,65],{"className":526,"style":89},[87,88]," が計算可能に公理化された無矛盾な理論で、基本的な算術を含むならば、",[44,529,531,550],{"className":530},[47],[44,532,534],{"className":533},[51],[53,535,536],{"xmlns":55},[57,537,538,547],{},[60,539,540,542,544],{},[63,541,65],{},[339,543,456],{},[63,545,546],{},"G",[67,548,549],{"encoding":69},"T \\vdash G",[44,551,553,571],{"className":552,"ariaHidden":74},[73],[44,554,556,559,562,565,568],{"className":555},[78],[44,557],{"className":558,"style":471},[82],[44,560,65],{"className":561,"style":89},[87,88],[44,563],{"className":564,"style":364},[363],[44,566,456],{"className":567},[368],[44,569],{"className":570,"style":364},[363],[44,572,574,577],{"className":573},[78],[44,575],{"className":576,"style":83},[82],[44,578,546],{"className":579},[87,88]," も ",[44,582,584,606],{"className":583},[47],[44,585,587],{"className":586},[51],[53,588,589],{"xmlns":55},[57,590,591,603],{},[60,592,593,595,597,601],{},[63,594,65],{},[339,596,456],{},[63,598,600],{"mathvariant":599},"normal","¬",[63,602,546],{},[67,604,605],{"encoding":69},"T \\vdash \\neg G",[44,607,609,627],{"className":608,"ariaHidden":74},[73],[44,610,612,615,618,621,624],{"className":611},[78],[44,613],{"className":614,"style":471},[82],[44,616,65],{"className":617,"style":89},[87,88],[44,619],{"className":620,"style":364},[363],[44,622,456],{"className":623},[368],[44,625],{"className":626,"style":364},[363],[44,628,630,633,636],{"className":629},[78],[44,631],{"className":632,"style":83},[82],[44,634,600],{"className":635},[87],[44,637,546],{"className":638},[87,88]," も成り立たない文 ",[44,641,643,656],{"className":642},[47],[44,644,646],{"className":645},[51],[53,647,648],{"xmlns":55},[57,649,650,654],{},[60,651,652],{},[63,653,546],{},[67,655,546],{"encoding":69},[44,657,659],{"className":658,"ariaHidden":74},[73],[44,660,662,665],{"className":661},[78],[44,663],{"className":664,"style":83},[82],[44,666,546],{"className":667},[87,88]," が存在する。",[670,671,672],"note",{},[10,673,674],{},"ゲーデルの元の証明では「ω無矛盾性」という少し強い仮定が必要でした。1936年にロッサーが、単なる無矛盾性で十分であることを示しています。",[10,676,677,678,681],{},"両者は矛盾しません。完全性定理は「すべてのモデルで真」な文を扱います。不完全性定理の決定不能な文は、標準的な自然数では真ですが、体系の ",[14,679,680],{},"すべてのモデルで真というわけではありません","。そのため証明できないのです。",[191,683,685],{"id":684},"_2-19331936年意味論の確立","2. 1933〜1936年：意味論の確立",[10,687,688,689,692,693,747,748,777,778,806],{},"タルスキは、それまで曖昧に扱われていた「真理」と「論理的帰結」を数学的に定義しました。ここから、文と構造の関係を調べる ",[14,690,691],{},"モデル理論"," が生まれます。今日の論理学の授業で「",[44,694,696,716],{"className":695},[47],[44,697,699],{"className":698},[51],[53,700,701],{"xmlns":55},[57,702,703,713],{},[60,704,705,709,711],{},[63,706,708],{"mathvariant":707},"script","M",[339,710,341],{},[63,712,248],{},[67,714,715],{"encoding":69},"\\mathcal{M} \\models \\varphi",[44,717,719,738],{"className":718,"ariaHidden":74},[73],[44,720,722,725,729,732,735],{"className":721},[78],[44,723],{"className":724,"style":356},[82],[44,726,708],{"className":727},[87,728],"mathcal",[44,730],{"className":731,"style":364},[363],[44,733,341],{"className":734},[368],[44,736],{"className":737,"style":364},[363],[44,739,741,744],{"className":740},[78],[44,742],{"className":743,"style":261},[82],[44,745,248],{"className":746},[87,88],"（構造 ",[44,749,751,765],{"className":750},[47],[44,752,754],{"className":753},[51],[53,755,756],{"xmlns":55},[57,757,758,762],{},[60,759,760],{},[63,761,708],{"mathvariant":707},[67,763,764],{"encoding":69},"\\mathcal{M}",[44,766,768],{"className":767,"ariaHidden":74},[73],[44,769,771,774],{"className":770},[78],[44,772],{"className":773,"style":83},[82],[44,775,708],{"className":776},[87,728]," で文 ",[44,779,781,794],{"className":780},[47],[44,782,784],{"className":783},[51],[53,785,786],{"xmlns":55},[57,787,788,792],{},[60,789,790],{},[63,791,248],{},[67,793,251],{"encoding":69},[44,795,797],{"className":796,"ariaHidden":74},[73],[44,798,800,803],{"className":799},[78],[44,801],{"className":802,"style":261},[82],[44,804,248],{"className":805},[87,88]," が成り立つ）」と書くとき、その意味はタルスキの定義に基づいています。",[199,808,810],{"title":809},"タルスキの真理の定義不可能性定理（1933年）",[10,811,812,813,879,880,908,909,1031,1032,410,1076,1104],{},"算術の言語の論理式 ",[44,814,816,850],{"className":815},[47],[44,817,819],{"className":818},[51],[53,820,821],{"xmlns":55},[57,822,823,847],{},[60,824,825,838,841,844],{},[60,826,827,829,832,835],{},[63,828,65],{"mathvariant":599},[63,830,831],{"mathvariant":599},"r",[63,833,834],{"mathvariant":599},"u",[63,836,837],{"mathvariant":599},"e",[339,839,840],{"stretchy":185},"(",[63,842,843],{},"x",[339,845,846],{"stretchy":185},")",[67,848,849],{"encoding":69},"\\mathrm{True}(x)",[44,851,853],{"className":852,"ariaHidden":74},[73],[44,854,856,860,868,872,875],{"className":855},[78],[44,857],{"className":858,"style":859},[82],"height:1em;vertical-align:-0.25em;",[44,861,863],{"className":862},[87],[44,864,867],{"className":865},[87,866],"mathrm","True",[44,869,840],{"className":870},[871],"mopen",[44,873,843],{"className":874},[87,88],[44,876,846],{"className":877},[878],"mclose"," で、すべての文 ",[44,881,883,896],{"className":882},[47],[44,884,886],{"className":885},[51],[53,887,888],{"xmlns":55},[57,889,890,894],{},[60,891,892],{},[63,893,248],{},[67,895,251],{"encoding":69},[44,897,899],{"className":898,"ariaHidden":74},[73],[44,900,902,905],{"className":901},[78],[44,903],{"className":904,"style":261},[82],[44,906,248],{"className":907},[87,88]," について ",[44,910,912,961],{"className":911},[47],[44,913,915],{"className":914},[51],[53,916,917],{"xmlns":55},[57,918,919,958],{},[60,920,921,925,927,937,939,944,946,951,953,956],{},[63,922,924],{"mathvariant":923},"double-struck","N",[339,926,341],{},[60,928,929,931,933,935],{},[63,930,65],{"mathvariant":599},[63,932,831],{"mathvariant":599},[63,934,834],{"mathvariant":599},[63,936,837],{"mathvariant":599},[339,938,840],{"stretchy":185},[339,940,941],{},[63,942,943],{"mathvariant":599},"⌜",[63,945,248],{},[339,947,948],{},[63,949,950],{"mathvariant":599},"⌝",[339,952,846],{"stretchy":185},[339,954,955],{},"↔",[63,957,248],{},[67,959,960],{"encoding":69},"\\mathbb{N} \\models \\mathrm{True}(\\ulcorner \\varphi \\urcorner) \\leftrightarrow \\varphi",[44,962,964,983,1022],{"className":963,"ariaHidden":74},[73],[44,965,967,970,974,977,980],{"className":966},[78],[44,968],{"className":969,"style":356},[82],[44,971,924],{"className":972},[87,973],"mathbb",[44,975],{"className":976,"style":364},[363],[44,978,341],{"className":979},[368],[44,981],{"className":982,"style":364},[363],[44,984,986,989,995,998,1003,1006,1010,1013,1016,1019],{"className":985},[78],[44,987],{"className":988,"style":859},[82],[44,990,992],{"className":991},[87],[44,993,867],{"className":994},[87,866],[44,996,840],{"className":997},[871],[44,999,1002],{"className":1000},[871,1001],"amsrm","┌",[44,1004,248],{"className":1005},[87,88],[44,1007,1009],{"className":1008},[878,1001],"┐",[44,1011,846],{"className":1012},[878],[44,1014],{"className":1015,"style":364},[363],[44,1017,955],{"className":1018},[368],[44,1020],{"className":1021,"style":364},[363],[44,1023,1025,1028],{"className":1024},[78],[44,1026],{"className":1027,"style":261},[82],[44,1029,248],{"className":1030},[87,88]," を満たすものは存在しない。ここで ",[44,1033,1035,1057],{"className":1034},[47],[44,1036,1038],{"className":1037},[51],[53,1039,1040],{"xmlns":55},[57,1041,1042,1054],{},[60,1043,1044,1048,1050],{},[339,1045,1046],{},[63,1047,943],{"mathvariant":599},[63,1049,248],{},[339,1051,1052],{},[63,1053,950],{"mathvariant":599},[67,1055,1056],{"encoding":69},"\\ulcorner \\varphi \\urcorner",[44,1058,1060],{"className":1059,"ariaHidden":74},[73],[44,1061,1063,1067,1070,1073],{"className":1062},[78],[44,1064],{"className":1065,"style":1066},[82],"height:0.8867em;vertical-align:-0.1944em;",[44,1068,1002],{"className":1069},[871,1001],[44,1071,248],{"className":1072},[87,88],[44,1074,1009],{"className":1075},[878,1001],[44,1077,1079,1092],{"className":1078},[47],[44,1080,1082],{"className":1081},[51],[53,1083,1084],{"xmlns":55},[57,1085,1086,1090],{},[60,1087,1088],{},[63,1089,248],{},[67,1091,251],{"encoding":69},[44,1093,1095],{"className":1094,"ariaHidden":74},[73],[44,1096,1098,1101],{"className":1097},[78],[44,1099],{"className":1100,"style":261},[82],[44,1102,248],{"className":1103},[87,88]," のゲーデル数を表す。",[191,1106,1108],{"id":1107},"_3-1936年以降計算可能性と独立性","3. 1936年以降：計算可能性と独立性",[10,1110,1111,1112,1115,1116,1119],{},"不完全性定理の手法は、チャーチとチューリングによって ",[14,1113,1114],{},"計算の限界"," の理論へ受け継がれました。また、ゲーデル（1938年）とコーエン（1963年）によって、連続体仮説は ZFC から ",[14,1117,1118],{},"独立"," であることが分かりました。「証明も反証もできない」ことが、具体的な数学の問題で起こることが明らかになったのです。",{"title":1121,"searchDepth":1122,"depth":1122,"links":1123},"",2,[1124,1125],{"id":181,"depth":1122,"text":181},{"id":189,"depth":1122,"text":189,"children":1126},[1127,1129,1130],{"id":193,"depth":1128,"text":194},3,{"id":684,"depth":1128,"text":685},{"id":1107,"depth":1128,"text":1108},"2026-11-14","不完全性定理と真理の定義不可能性定理を軸に、20世紀の数理論理学の流れを年表で整理します。",false,"md",null,{},true,"\u002Fblog\u002F002-mathematical-logic-timeline",{"title":5,"description":1132},"blog\u002F002-mathematical-logic-timeline",[1142,1143,183],"logic","history","KpT0Hn4Kt9wZw6vTbpbnuIDuq8pvtgY17q5EFqxTJ-U",[1146,1152,1160,1162],{"path":1147,"title":1148,"no":1149,"date":1131,"updated":1135,"image":1135,"description":1150,"tags":1151,"pinned":1133,"draft":1133},"\u002Fblog\u002F004-completeness-theorem-proofs","完全性定理の2つの証明 ― ゲーデル流とヘンキン流",4,"一階述語論理の完全性定理を、ゲーデルによる元の証明（1929–1930年）と、今日の教科書の標準であるヘンキンの証明（1949年）の2つの道筋で解説します。どちらも「記号からモデルを作る」点は同じですが、足場の置き方が大きく異なります。",[1142,53,1143],{"path":1153,"title":1154,"no":1128,"date":1131,"updated":1135,"image":1135,"description":1155,"tags":1156,"pinned":1133,"draft":1133},"\u002Fblog\u002F003-design-patterns","デザインパターン再入門 ― GoF の23パターンを TypeScript で読み直す","GoF の23パターンの全体像を整理し、現代の TypeScript やフロントエンド開発でも役立つ6つのパターンを、動くコードとともに解説します。使いすぎの落とし穴と、言語やフレームワークに溶け込んだパターンの見つけ方も。",[1157,1158,1159],"design-pattern","programming","typescript",{"path":1138,"title":5,"no":1122,"date":1131,"updated":1135,"image":1135,"description":1132,"tags":1161,"pinned":1133,"draft":1133},[1142,1143,183],{"path":1163,"title":1164,"no":1165,"date":1131,"updated":1135,"image":1135,"description":1166,"tags":1167,"pinned":1133,"draft":1133},"\u002Fblog\u002F001-backpropagation","バックプロパゲーション（誤差逆伝播法）を数式から理解する",1,"ニューラルネットワークの学習を支えるバックプロパゲーションを、連鎖律から4つの基本式を導くところまで丁寧に解説します。数値例と NumPy の実装つき。",[1168,53],"machine-learning",{"id":1170,"title":1171,"description":1172,"events":1173,"extension":1364,"legend":1365,"meta":1370,"stem":1371,"__hash__":1372},"timelines\u002Ftimelines\u002Fmathematical-logic-20th-century.yml","20世紀の数理論理学 ― ゲーデルとタルスキを中心に","ヒルベルトの問題提起から不完全性定理、真理の定義、モデル理論の誕生、そして独立性の時代へ。20世紀に数理論理学がどのように形づくられたかを、クルト・ゲーデルとアルフレト・タルスキの業績を軸にたどる。",[1174,1178,1184,1188,1194,1198,1202,1206,1210,1215,1219,1223,1227,1232,1237,1242,1247,1252,1256,1259,1262,1266,1271,1276,1281,1286,1291,1296,1300,1304,1309,1314,1319,1324,1329,1333,1337,1341,1345,1350,1354,1359],{"date":1175,"title":1176,"description":1177},"1900-08","ヒルベルト、パリ国際数学者会議で23の問題を提示","第2問題として算術の公理系の無矛盾性の証明を、第10問題としてディオファントス方程式の可解性を判定する手続きを求めた。20世紀の数学基礎論の出発点となる。",{"date":1179,"title":1180,"description":1181,"tags":1182},"1901-01-14","アルフレト・タルスキ誕生","ワルシャワに生まれる（出生名はアルフレト・タイテルバウム）。",[1183],"tarski",{"date":1185,"title":1186,"description":1187},"1902-06","ラッセル、フレーゲにパラドックスを伝える","「自分自身を要素として含まない集合全体の集合」が矛盾を生むことを手紙で指摘。素朴集合論とフレーゲの論理体系の破綻が明らかになり、基礎の見直しが始まる。",{"date":1189,"title":1190,"description":1191,"tags":1192},"1906-04-28","クルト・ゲーデル誕生","オーストリア＝ハンガリー帝国のブリュン（現チェコのブルノ）に生まれる。",[1193],"godel",{"date":1195,"title":1196,"description":1197},"1908","ツェルメロの公理的集合論とラッセルの型理論","ツェルメロが集合論の公理系を発表し、ラッセルは型の理論によってパラドックスの回避を図った。パラドックスへの二つの代表的な処方箋が出揃う。",{"date":1199,"title":1200,"description":1201},"1910","ホワイトヘッドとラッセル『プリンキピア・マテマティカ』（〜1913年）","数学全体を論理から導こうとした大著。後にゲーデルの不完全性定理の論文が直接の対象とする体系となる。",{"date":1203,"title":1204,"description":1205},"1915","レーヴェンハイムの定理","可算な言語の一階の文が無限モデルを持つなら可算モデルも持つことを示す。1920年にスコーレムが一般化し、レーヴェンハイム＝スコーレムの定理となる。",{"date":1207,"title":1208,"description":1209},"1922","ZF 集合論の成立へ","フレンケルとスコーレムがツェルメロの公理系に置換公理を補い、今日の標準である ZF 集合論の形が整う。",{"date":1211,"title":1212,"description":1213,"tags":1214},"1924","バナッハ＝タルスキのパラドックス","選択公理を用いると、三次元の球を有限個の部分に分割して並べ替え、元と同じ大きさの球を2つ作れることを示した。同年、タルスキはワルシャワ大学で博士号を取得している。",[1183],{"date":1216,"title":1217,"description":1218},"1928","ヒルベルトとアッケルマン『理論論理学の基礎』","一階述語論理の完全性（正しい論理式はすべて証明できるか）を未解決問題として提示した。同時期にヒルベルトは決定問題（Entscheidungsproblem）を定式化する。",{"date":1220,"title":1221,"description":1222},"1929","プレスブルガー算術の決定可能性","タルスキのゼミの学生プレスブルガーが、加法だけの自然数の理論は決定可能であることを量化子消去で示す。乗法を加えると状況が一変することは、後にゲーデルによって明らかになる。",{"date":1220,"title":1224,"description":1225,"tags":1226,"link":1147},"ゲーデル、完全性定理を証明","ウィーン大学の博士論文（指導教員ハンス・ハーン）で、一階述語論理では意味論的に正しい論理式がすべて証明可能であることを示した。ヒルベルトとアッケルマンの問いへの肯定的な解答で、1930年に出版された。",[1193],{"date":1228,"title":1229,"description":1230,"tags":1231},"1930-02","タルスキがウィーンで講演、ゲーデルと出会う","メンガーの招きでウィーンを訪れ、メタ数学について講演した。ゲーデルはこの講演を聴いて議論を交わしたとされ、二人の長い交流が始まる。",[1183,1193],{"date":1233,"title":1234,"description":1235,"tags":1236},"1930-09","ケーニヒスベルク会議で第一不完全性定理を予告","数学基礎論の会議の最終日の討論で、ゲーデルは無矛盾な形式体系には証明も反証もできない算術の命題があることを短く述べた。その場で意義を理解したのはフォン・ノイマンだったと伝えられる。",[1193],{"date":1238,"title":1239,"description":1240,"tags":1241},"1931","不完全性定理の論文が出版される","「『プリンキピア・マテマティカ』および関連する体系における形式的に決定不能な命題について I」。第一不完全性定理（十分に強い無矛盾な体系は不完全である）と第二不完全性定理（その体系は自らの無矛盾性を証明できない）を示し、ヒルベルト計画に根本的な限界を突きつけた。ゲーデル数化と対角化の手法は後の計算理論の基礎となる。",[1193],{"date":1243,"title":1244,"description":1245,"tags":1246},"1933","タルスキ「形式化された言語における真理概念」","形式言語の文について「真である」ことを厳密に定義し、規約T（「雪は白い」が真であるのは雪が白いときに限る）を定式化した。さらに、十分に強い言語の真理述語はその言語自身の中では定義できないこと（真理の定義不可能性定理）を示し、対象言語とメタ言語の区別を確立する。1935年のドイツ語版で国際的に広まった。",[1183],{"date":1248,"title":1249,"description":1250,"tags":1251},"1934","ゲーデルのプリンストン講義と一般帰納的関数","プリンストン高等研究所での講義で、エルブランの示唆をもとに一般帰納的関数を定式化した。「計算可能な関数とは何か」を定義する試みの一つとなる。",[1193],{"date":1253,"title":1254,"description":1255},"1936","チャーチとチューリング、決定問題を否定的に解決","チャーチはλ計算を用いて、チューリングはチューリングマシンを用いて、一階述語論理の正しさを判定する一般的な手続きが存在しないことを示した。不完全性定理の発想は、計算の限界の理論へと受け継がれる。",{"date":1253,"title":1257,"description":1258},"ゲンツェン、算術の無矛盾性を証明","ε₀ までの超限帰納法を用いて、ペアノ算術の無矛盾性を証明した。第二不完全性定理と矛盾しない形で、どのような原理を使えば無矛盾性を示せるかを明らかにした。",{"date":1253,"title":1260,"description":1261},"ロッサーによる不完全性定理の強化","ゲーデルの第一不完全性定理で必要だったω無矛盾性の仮定を、単なる無矛盾性へと弱めた（ロッサーのトリック）。",{"date":1253,"title":1263,"description":1264,"tags":1265},"タルスキ「論理的帰結の概念について」","文の集まりから文が論理的に帰結することを、前提を真にするすべての解釈で結論も真になること、として定義した。今日のモデル理論的な帰結関係の原型となる。",[1183],{"date":1267,"title":1268,"description":1269,"tags":1270},"1938","ゲーデル、選択公理と連続体仮説の無矛盾性を証明","構成可能集合の宇宙 L を導入し、ZF が無矛盾なら ZF に選択公理と一般連続体仮説を加えても無矛盾であることを示した（詳細は1940年のモノグラフ）。連続体仮説は否定できないことが分かった。",[1193],{"date":1272,"title":1273,"description":1274,"tags":1275},"1939-08","タルスキ、アメリカへ渡る","ハーバード大学で開かれる統一科学会議に出席するため渡米した直後、ドイツがポーランドに侵攻した。帰国できなくなったタルスキはそのままアメリカに留まり、家族とは戦後まで離ればなれとなる。",[1183],{"date":1277,"title":1278,"description":1279,"tags":1280},"1940","ゲーデル、プリンストン高等研究所へ","ナチス併合後のオーストリアを離れ、シベリア鉄道と太平洋航路を経てアメリカへ移住した。以後、生涯をプリンストンで過ごし、アインシュタインと親交を深める。",[1193],{"date":1282,"title":1283,"description":1284,"tags":1285},"1942","タルスキ、カリフォルニア大学バークレー校へ","バークレー校に職を得て、ここを世界有数の論理学研究の拠点に育て上げていく。",[1183],{"date":1287,"title":1288,"description":1289,"tags":1290},"1947","ゲーデル「カントールの連続体問題とは何か」","連続体仮説は ZF から独立である可能性が高いと予想し、新しい公理による解決を論じた。数学的対象の実在を重んじるゲーデルのプラトン主義的な立場がよく表れている。",[1193],{"date":1292,"title":1293,"description":1294,"tags":1295},"1948","タルスキ『初等代数と初等幾何の決定法』","実閉体の一階の理論（実数の加法・乗法・大小関係の理論）が量化子消去によって決定可能であることを示した。1930年頃に得ていた結果で、RAND の報告書として刊行された。自然数では決定不能になる問題が、実数では機械的に判定できる。",[1183],{"date":1297,"title":1298,"description":1299,"link":1147},"1949","ヘンキンによる完全性定理の新証明","理論を極大無矛盾に拡張し、項そのものからモデルを作るという証明を与えた。現在の教科書の標準的な証明法で、ヘンキンは後にバークレーでタルスキの同僚となる。",{"date":1297,"title":1301,"description":1302,"tags":1303},"ゲーデルの回転宇宙","アインシュタインの70歳記念論文集に向け、一般相対性理論の方程式の解として、過去へ戻る時間的閉曲線を持つ宇宙モデルを示した。",[1193],{"date":1305,"title":1306,"description":1307,"tags":1308},"1953","タルスキ、モストフスキ、ラファエル・ロビンソン『決定不能な理論』","本質的決定不能性の概念を導入し、ごく弱い算術（ロビンソン算術 Q）でさえ決定不能であることを示した。決定不能性を他の多くの理論に移す方法を体系化した。",[1183],{"date":1310,"title":1311,"description":1312,"tags":1313},"1954","タルスキ「モデルの理論への寄与」（〜1955年）","形式言語の文と、それを満たす構造（モデル）の関係を研究する分野を「モデル理論」と名付け、数学の一分野として確立した。",[1183],{"date":1315,"title":1316,"description":1317,"tags":1318},"1955","タルスキの不動点定理","完備束上の単調関数は不動点を持ち、不動点全体もまた完備束をなすことを示した。後にプログラム意味論や抽象解釈の基礎として広く使われる。",[1183],{"date":1320,"title":1321,"description":1322,"tags":1323},"1956-03","ゲーデルがフォン・ノイマンに送った手紙","証明の長さに関する判定問題が、入力の長さの1次や2次程度の手間で解けるかを問うた。今日の P 対 NP 問題を先取りした内容として、1980年代末に再発見される。",[1193],{"date":1325,"title":1326,"description":1327,"tags":1328},"1958","ゲーデルのディアレクティカ解釈","雑誌『ディアレクティカ』で、直観主義算術を有限型の計算可能な汎関数の体系に翻訳する方法を示した。証明から計算内容を取り出す研究（証明論的解析）の源流の一つとなる。",[1193],{"date":1330,"title":1331,"description":1332},"1961","アブラハム・ロビンソンの超準解析","モデル理論を用いて無限小を厳密に扱う方法を与え、ライプニッツ流の微積分を正当化した。タルスキ以降のモデル理論が数学の他分野に応用された代表例となる。",{"date":1334,"title":1335,"description":1336},"1963","コーエン、強制法で連続体仮説の独立性を証明","強制法を考案し、ZF が無矛盾ならば、ZFC に連続体仮説の否定を加えた体系も、ZF に選択公理の否定を加えた体系も無矛盾であることを示した。ゲーデルの1938年の結果と合わせ、連続体仮説は ZFC から、選択公理は ZF から独立であることが確定する。",{"date":1338,"title":1339,"description":1340},"1965","モーリーの範疇性定理","可算言語の理論が、ある非可算濃度で範疇的（モデルが同型を除いて一つ）ならば、すべての非可算濃度で範疇的であることを示した。後のシェラによる分類理論へとつながる。",{"date":1342,"title":1343,"description":1344},"1970","ヒルベルトの第10問題の否定的解決","マチャセビッチが、デイヴィス、パトナム、ジュリア・ロビンソンの研究を完成させ、ディオファントス方程式の可解性を判定する一般的な手続きは存在しないことを示した（MRDP 定理）。ジュリア・ロビンソンはバークレーでタルスキの指導を受けた研究者である。",{"date":1346,"title":1347,"description":1348,"tags":1349},"1971","ヘンキン、モンク、タルスキ『シリンドリック代数』第1部","一階述語論理を代数的に捉える枠組みであるシリンドリック代数を体系的にまとめた。論理を代数として扱う研究の到達点の一つ。",[1183],{"date":1351,"title":1352,"description":1353},"1977","パリス＝ハリントンの定理","ラムゼー理論の自然な組合せ論の命題が、ペアノ算術では証明できないことを示した。不完全性定理が人工的な命題に限らないことを示した重要な例となる。",{"date":1355,"title":1356,"description":1357,"tags":1358},"1978-01-14","ゲーデル死去","プリンストンで亡くなる。享年71。",[1193],{"date":1360,"title":1361,"description":1362,"tags":1363},"1983-10-26","タルスキ死去","バークレーで亡くなる。享年82。",[1183],"yml",[1366,1368],{"key":1193,"label":16,"color":1367},"#d9480f",{"key":1183,"label":20,"color":1369},"#1c7ed6",{},"timelines\u002Fmathematical-logic-20th-century","PB__qRrnzpAqxp-sJ1cBrFZBgKiBnORiiSXBn9bo4mU",1794635675662]