論理、説明可胜性、および将来の理解

ロゞックに関連する発芋



ロゞックは倚くのこずの基瀎です。 しかし、ロゞック自䜓の基瀎は䜕ですか



シンボリックロゞックでは、「これは興味深い゚ッセむです」ずいうタむプのステヌトメントたたは「呜題」を瀺すために、pやqのようなシンボルが導入されたす。 たずえば、pずqに぀いお、匏NOTp AND qはNOT pORNOT qに䌌おいたす。



しかし、これらの「論理の芏則」はどこから来たのでしょうか ロゞックは正匏なシステムです。 ナヌクリッド幟䜕孊のように、公理䞊に構築するこずができたす。 しかし、公理ずは䜕ですか p AND q = q AND p、たたはNOT NOT p = pなどのステヌトメントで開始できたす。 しかし、いく぀の公理が必芁ですか それらはどれくらい簡単なのでしょうか



この質問は長い間苊痛でした。 しかし、2000幎1月29日日曜日の20:31に、唯䞀の公理がコンピュヌタヌの画面に珟れたした。 単玔なものは䜕もないこずをすでに瀺したしたが、すぐに、この小さな公理がすべおのロゞックを䜜成するのに十分であるこずがわかりたした。









圌女が本圓だずどうしおわかったの コンピュヌタヌにそれを蚌明させたからです。 そしお、本「 A New Type of Science 」すでにWolfram Dataリポゞトリで入手可胜で印刷した蚌拠は次のずおりです 。









Wolfram蚀語の最新バヌゞョンを䜿甚するず、誰でも1分以内にこの蚌明を生成できたす。 そしお、圌のすべおのステップは簡単に怜蚌できたす。 しかし、なぜ結果が真実になるのでしょうか 説明方法



機械孊習ずAIに関連するあらゆる皮類のコンピュヌティングシステムずアプリケヌションに぀いお、同様の質問がたすたす求められおいたす。 はい、䜕が起こっおいるのかがわかりたす。 しかし、これを理解できたすか



この問題は本質的に深いものであり、科孊技術の未来にずっお、たたすべおの知的開発の未来にずっお重芁だず思いたす。



しかし、これに぀いお話す前に、私が発芋した公理に぀いお議論したしょう。



物語



正匏な芏埋ずしおの論理は、玀元前4䞖玀に䜏んでいたアリストテレスから来おいたす。 アリストテレスは、物動物、原因などのカタログ化における圌の生涯の仕事の䞀郚ずしお、蚱容される圢匏の匕数のカタログを線集し、それらのシンボリックテンプレヌトを䜜成したした。



しかし、15䞖玀たでに代数が発明され、それによっお物事のより明確な絵が珟れたした。 しかし、1847幎になっおようやくゞョヌゞブヌルが代数ず同じ方法で論理を定匏化し、ANDやORなどの論理挔算が代数の芏則に䌌た芏則に埓っお機胜するようになりたした。



数幎埌、人々はすでに論理のための公理的システムを曞いおいたした。 兞型的な䟋は次のずおりです。









しかし、論理にはAND、OR、および本圓に必芁なのでしょうか 20䞖玀の最初の10幎埌、䜕人かの人々が、珟圚NANDず呌んでいる唯䞀の操䜜で十分であるこずを発芋したした。たずえば、p OR qはp NAND pNANDq NAND qずしお蚈算できたす。 NANDの「機胜的完党性」は、半導䜓技術の開発でなければ、氞久に奇劙なたたです。NAND機胜たたは関連するNORのみを実行するトランゞスタの組み合わせを䜿甚しお、珟代のマむクロプロセッサで数十億の論理挔算をすべお実装したす。



それでは、NANDに関しお論理の公理はどのように芋えるのでしょうか 1913幎にヘンリヌシェヌファヌによっお蚘録された最初の既知のバヌゞョンを次に瀺したすここで、ドットはNANDを瀺したす。









1910幎、アルフレッドノヌスホワむトヘッドずバヌトランドラッセルによる数孊の論理ず哲孊に関する3巻の著䜜であるPrincipia Mathematicaは、おそらくすべおの数孊を論理から挔canできるずいう考えを広めたした。 これを考えるず、論理の公理がどれほど単玔であるかずいう問題を研究するこずは非垞に興味深いものでした。 この分野で最も重芁な仕事は、リノィりずワルシャワこれらの郜垂はポヌランドの䞀郚でした、特にダンルカセビッチで行われたした1920幎の圌の仕事の副䜜甚ずしお、圌は括匧を必芁ずしない「ポヌランド語」レコヌドを発明したした。 1944幎、66歳で、ルカセビッチは前進する゜ビ゚ト軍から逃れ、1947幎にアむルランドで終わった。



䞀方、りィンチェスタヌずケンブリッゞで孊び、ケンブリッゞで数孊教垫になったアむリッシュマンカリュヌメレディスは、圌の平和䞻矩のために1939幎にアむルランドに戻るこずを䜙儀なくされたした。 1947幎、メレディスはダブリンで行われたルカセビッチの講矩に出垭したした。それは圌に単玔な公理を探求するきっかけずなりたした。



1949幎たでに、Meredithは2公理系を発芋したした。









ほが20幎埌、1967幎に圌はこれを次のように簡玠化するこずができたした。









これをさらに簡玠化するこずは可胜ですか Meredithはこれを䜕幎もいじり続け、䜙分なNANDをどこで削陀できるかを考え出したした。 しかし、1967幎以降、圌はそれ以䞊前進したせんでしたそしお1976幎に死亡したしたが、1969幎に3公理系を芋぀けたした。









論理の公理系を研究し始めたずき、メレディスの仕事に぀いお䜕も知りたせんでした。 単玔なルヌルからどのような振る舞いが生たれるかを理解する詊みの䞀環ずしお、私はこのトピックに興味を持ちたした。 1980幎代に、私のお気に入りのルヌル30など、可胜な限り単玔なルヌルを䜿甚したセルオヌトマトンでさえ、非垞に耇雑な動䜜に぀ながる可胜性があるずいう予期せぬ発芋をしたした。



この珟象の䞀般性を理解しようずしお1990幎代を過ごした埌、私は最終的にそれを数孊にどのように適甚できるかを芋たいず思いたした。 数孊では、実際、公理たずえば、算術、幟䜕孊、論理で䜜業を開始し、それらに基づいお、耇雑な定理党䜓を蚌明しようずしたす。



しかし、公理はどれほど簡単なのでしょうか それが私が1999幎に確立したかったものです。 最初の䟋ずしお、私は論理たたは同等にブヌル代数を勉匷するこずにしたした。 すべおの期埅、セルオヌトマトン、チュヌリングマシン、および偏埮分方皋匏を含むその他のシステムでの経隓を吊定するこずは、可胜な限り単玔なケヌスのリストを開始し、ある時点で䜕かを芋るこずができるこずを瀺唆しおいたす面癜い。



しかし、この方法で「ロゞックを開く」こずは可胜ですか これを蚀う唯䞀の方法がありたした。 そしお、1999幎の終わりに、私はすべおの可胜な公理系の空間を探玢するためにすべおを敎理し、最も単玔なものから始めたした。



ある意味で、公理のシステムは、たずえばp・qに䞀連の制玄を定矩したす。 圌女は、p・qが䜕であるかを蚀わず、p・qが満たさなければならない特性のみを䞎えたす䟋えば、q・p = p・qず蚀うこずができたす。 次に、問題は、これらのプロパティから、p・qがNand [p、q]のずきに成り立぀論理のすべおの定理を導き出すこずが可胜かどうかです。



䜕かを盎接確認できたす。 pずqがtrueずfalseである堎合、公理系を取り、どの圢匏p・qが公理を満たすかを確認できたす。 公理䜓系がq・p = p・qである堎合、はい、p・qはNand [p、q]にできたすが、必ずしもそうではありたせん。 たた、And [p、q]たたはEqual [p、q]、たたはロゞックのNAND関数ず同じレベルを満たさない他の倚くのオプションを指定できたす。 しかし、公理系{p・p・q・q・p= q}に到達するたでに、Nand [p、q]およびNor [p 、q]が唯䞀の有効なp・qモデルであり続ける-少なくずもqずpに2぀の可胜な倀しかないず仮定する堎合。



これは論理の公理のシステムですか いや たずえば、pずqに3぀の倀がある堎合、バリアントの存圚を意味したすが、これはロゞックにはありたせん。 しかし、1぀の公理からのこの公理䜓系が必芁なものに近いずいう事実は、論理が再珟される単䞀の公理を探す䟡倀があるこずを瀺しおいたす。 これはたさに私が2000幎1月にやったこずです私たちの時代では、このタスクはWolfram蚀語の非垞に䟿利な機胜、グルヌピングのおかげで促進されたした。



3぀以䞋のNANDたたは「オペレヌタヌポむント」が存圚する公理が機胜しなかったこずを確認するのはかなり簡単でした。 1月29日日曜日の午前5時たでにそう、圓時私はフクロりでした、4぀のNANDを含む公理も機胜しないこずがわかりたした。 朝6時ごろに仕事をやめたずき、14個の候補が手に5぀のNANDを持っおいたした。 しかし、日曜日の倜に䜜業を続け、远加のテストを実斜するために、それらをすべお削陀しなければなりたせんでした。



蚀うたでもなく、次のステップは6 NANDで公理をチェックするこずでした。 288,684個ありたしたが、私のコヌドは効率的に機胜し、次のものが画面に衚瀺されるたでにそれほど時間はかかりたせんでしたはい、Mathematicaバヌゞョン4から









最初は私が䜕をしたのか理解できたせんでした。 私は、NANDが5぀の公理よりもさらに進んだ、NANDが6぀の25の同等でない公理があるこずを知っおいたした。 しかし、それらの間に論理を生成する公理はありたしたか 䞍芁な公理を砎棄できる経隓的な方法がありたした。 しかし、特定の公理の正確性を確実に知る唯䞀の方法は、たずえば、シェヌファヌの論理の公理を再珟できるこずを蚌明するこずでした。



プログラムを少し詊しおみたしたが、数日埌、受け取った25の公理のほずんどが機胜しないこずがわかりたした。 その結果、2぀が生き残りたした。















そしお、私の倧きな喜びは、コンピュヌタヌを䜿甚しお、䞡方が論理の公理であるこずを蚌明するこずができたした。 䜿甚された手法により、ロゞックのより単玔な公理が存圚しないこずが保蚌されたした。 したがっお、私は自分の目暙に到達したこずを知っおいたした。1䞖玀たたは数千幎の怜玢の埌、私たちは぀いに論理の最も単玔な公理を芋぀けたず蚀うこずができたす。



その埌すぐに、6぀のNANDを含む2぀の公理のシステムを発芋したした。これは、蚌明したように、ロゞックを再珟できるものです。















そしお、可換性ずしお可換性p・q = q・pをずるず、論理は4぀のNANDのみを含む公理から埗るこずができたす。



なぜこれが重芁なのか



誰かが「アリストテレスによっお始められた仕事を終えた」たたは少なくずもBooleず蚀っお、論理の公理の可胜な限り単玔なシステムを発芋したず蚀えるのはずおもクヌルだずしたしょう。 それは単なる仕掛けですか、たたはこの事実は重芁な結果をもたらしたすか



私が新しい皮類の科孊で開発したプラットフォヌムの前に、この事実を単なる奜奇心以䞊のものず考えるこずは難しいず思いたす。 しかし今では、数孊を発芋ず発明のどちらず芋なすべきかなど、あらゆる皮類の基本的な質問に関連しおいるこずが明らかになっおいるはずです。



人々が行う数孊は、少数の公理䜓系に基づいおおり、それぞれが数孊の特定の領域論理、矀論、幟䜕孊、集合論を定矩しおいたす。 しかし、抜象的に蚀えば、無限の数の公理䜓系がありたす。それぞれが、ただ人々がこれをやっおいなくおも、研究できる数孊の分野を定矩しおいたす。



本「新しい皮類の科孊」の前に、私は明らかに、コンピュヌティングの䞖界に「どこかに」存圚するものはすべお、人々が䜜成しお研究したものよりも「面癜くない」こずを意味しおいたした。 しかし、単玔なプログラムに関する私の発芋は、単に「どこかに」あるシステムは、人々が慎重に遞択したシステムほど豊かな可胜性がないこずを瀺しおいたす。



では、数孊の公理システムはどうでしょうか 既存の「そこのどこか」を人々が研究したものず比范するには、研究した数孊の既存の領域に公理系が存圚するかどうかを知る必芁がありたす。 そしお、人々によっお䜜成された埓来のシステムに基づいお、それらは非垞にどこか非垞に遠くにあるに違いないず結論づけるこずができたす-そしお䞀般に、圌らはあなたがすでにどこにいるか知っおいる堎合にのみ芋぀けるこずができたす。



しかし、私の公理システムの発芋は、「ロゞックはどこたでですか」ずいう質問に答えたした。セルラヌオヌトマトンのようなものに぀いおは、すべおの可胜なセルラヌオヌトマトン1980幎代のようにを数えるのは非垞に簡単です 公理システムでこれを行うのは少し難しいですが、それほど難しくはありたせん。 あるアプロヌチでは、私の公理は411; 3; 7; 118ずしお衚すこずができたす-たたは、Wolfram蚀語では









そしお、少なくずも可胜性のある関数圢匏のスペヌス倉数のマヌクアップを考慮しないには、この公理の堎所の芖芚的衚珟がありたす









人々が研究するこのような倚数の圢匏的なシステムに察する論理の基本的な重芁性を考えるず、合理的な衚珟では、論理は公理の可胜な限り単玔なシステムの1぀に察応するず考えられたす。 しかし、少なくずもNANDを䜿甚したプレれンテヌションでは、そうではありたせん。 公理の非垞に単玔なシステムはただありたすが、公理のシステムに番号を付け始めた堎合に芋぀けるこずができるすべおの可胜なものから10䞇の公理のシステムであるこずがおそらく最も簡単なものから始たるでしょう。



これを考えるず、明らかな次の質問は次のずおりです。他のすべおの公理システムに぀いおはどうでしょうか 圌らはどのように振る舞いたすか A New Kind of Scienceが探求するのはこの質問です。 そしお、その䞭で私は、自然界で芳察されるシステムのようなものは、倚くの堎合、可胜性に番号を付けるこずによっお芋぀けるこずができるこれらの「他の芏則」によっお最もよく説明されるこずを確認したす。



公理系に぀いおは、さたざたな公理系に察応する「数孊の領域」で䜕が起こっおいるのかを衚す絵を䜜りたした。 シリヌズは公理の特定のシステムの結果を瀺し、ボックスは公理の特定のシステムにおける特定の定理の真実を瀺したすはい、ある時点でゲヌデルの定理が発効したす。私の方法では、これは写真に瀺されおいるものの少し右偎に起こりたす。









「人が研究する」数孊の分野で根本的に特別なものはありたすか この写真や他の写真から刀断するず、明らかなこずは䜕も思い浮かびたせん。 これらの領域には、研究されたずいう歎史的事実ずいう特城が1぀しかないず思う。 「珟実の䞖界を蚘述する」たたは「脳の働きに関連する」などのステヌトメントを䜜成できたすが、本に蚘茉されおいる結果は反察を瀺唆しおいたす。



さお、論理の公理䜓系の意矩は䜕ですか そのサむズにより、論理の最終的な内容を公理的システムずしお感じるこずができたす。 そしお、少なくずも今のずころは、論理を「自然な理由」のために起こった「発芋」ずしおではなく、「人間によっお発明された構築物」ずしお考える必芁があるず信じさせられたす。



物語が違っおいお、本で行われおいるように可胜な限り単玔な公理のシステムを絶えず怜玢する堎合は、おそらく、その性質が私たちにずっお興味深いず思われるシステムのように、論理のために公理のシステムを「開く」でしょう。 しかし、考えられるすべおの公理系のごく少数を研究しおきたので、論理を「発明」、぀たり特別に䜜成された構造ず芋なすこずは理にかなっおいるず思いたす。



ある意味では、䞭䞖の論理はそのように芋えたした-可胜な堎合、䞉段論法受け入れられる匕数のタむプは、bArbArAやcElErAntのようなラテン語のニヌモニックの圢匏で衚珟されおいたした。 したがっお、珟圚、論理の公理の最も単玔なシステムずしお私たちが知っおいるもののニヌモニック衚珟を芋぀けるこずは興味深いです。



p・q・r・p・p・r・p= rから始たり、各p・qは接頭蟞たたはポヌランド語゚ントリHP蚈算機の「逆ポヌランド語゚ントリ」の逆ずしお衚すこずができたす。 Dpqの圢匏-したがっお、公理党䜓は= DDDpqrDpDDprprずしお蚘述できたす。 このテヌマには英語のニヌモニックもありたす-FIGure OuT Queue、ここでロヌルp、q、rはu、r、eによっお挔じられたす。 たたは、次の文の単語の最初の文字を芋るこずができたすBは挔算子で、p、q、rはa、p、cです「ビットごずに、すべおのケヌスをカバヌするブヌル代数の最良のバむナリ公理を蚈算したす」[プログラムによっお蚈算されたブヌル代数の最良の二項公理は、すべおの堎合を埐々に説明したす]。



蚌明の仕組み



さお、私の公理䜓系の正しさをどのように蚌明したすか 頭に浮かぶ最初のこずは、そこから論理の有名な公理系を掚論するこずが可胜であるこずを瀺すこずです-たずえば、Schaefferの公理系









ここには3぀の公理があり、それぞれを導出する必芁がありたす。 Wolfram蚀語の最新バヌゞョンを䜿甚しお最初のものを出力するためにできるこずは次のずおりです









これが可胜になったこずは泚目に倀したす。 「蚌拠の察象」には、蚌拠に54の手順が䜿甚されたこずが蚘茉されおいたす。 このオブゞェクトに基づいお、各ステップを説明する「ノヌトブック」を生成できたす。









䞀般的に、䞭間補題のシヌケンス党䜓がここで蚌明され、最終結果を導き出すこずができたす。 補題の間には、盞互䟝存関係のネットワヌク党䜓がありたす。









しかし、シェファヌ公理システムの3぀の公理すべおの導出に関䞎するネットワヌク-埌者の堎合、信じられないほどの504ステップが䜿甚されたす。









はい、これらのネットワヌクがかなり混乱しおいるこずは明らかです。 しかし、この耇雑さの意味を説明する前に、この蚌拠の各ステップで䜕が起こるかに぀いお話したしょう。



䞻なアむデアはシンプルです。 単玔にp・q = q・pず曞かれた公理があるず想像しおください数孊的には挔算子が可換であるこずを意味したす。 より正確には、公理は、匏pおよびqに぀いお、p・qはq・pず同等であるず蚀いたす。



さお、この公理からa・b・c・d=d・c・b・aず掚定したいずしたしょう。 これは、公理を䜿甚しおd・cをc・dに、b・aをa・bに、最埌にc・d・a・bをa・b・c・d 



FindEquationalProofは基本的に同じこずを行いたすが、これらの手順はたったく同じ順序で行われず、方皋匏の巊偎ず右偎の䞡方を倉曎したす。









そのような蚌拠を受け取ったら、各ステップを远跡し、それらが蚘茉された結果を䞎えるこずを確認するだけです。 しかし、蚌拠を芋぀ける方法は 順列ず倉換の倚くの可胜なシヌケンスがありたす。 最終結果に成功するシヌケンスを芋぀ける方法は



可胜性のあるすべおのシヌケンスを詊しおみおください。そしお、それらの間に有効なシヌケンスがあれば、最終的には芋぀かるはずです。 問題は、倩文孊的な数のシヌケンスにすばやく到達できるこずです。 定理を自動的に蚌明する技術の倧郚分は、チェックするシヌケンスの数を枛らす方法を芋぀けるこずから成りたす。



これはすぐに技術的な詳现に陥りたすが、代数の基本を知っおいれば、基本的な考え方は簡単に議論できたす。 次のような代数的結果を蚌明しようずしおいるずしたす









これを行うには、保蚌された方法がありたす。代数のルヌルを適甚しお各蟺を明らかにするだけで、それらの類䌌性をすぐに芋るこずができたす。









なぜ機胜するのですか そのような匏を䜿甚する方法があるため、暙準的な圢匏になるたで䜓系的にそれらを枛らしたす。 公理の任意のシステムで同じ操䜜を行うこずは可胜ですか



すぐではありたせん。 代数では、単玔化された匏のパスに沿っお垞に「移動」できるようにする特別なプロパティがあるため、これは機胜したす。 しかし、1970幎代に、さたざたな科孊者がKnuth-BendixアルゎリズムたたはGröbner基底などの名前で独立しお数回、公理のシステムに必芁な内郚特性がない堎合でも、ありたす。



これは、FindEquationalProofValdmeisterのシステム、「ツリヌのマスタヌ」に基づくが提䟛する兞型的な蚌拠で起こるこずです。 いわゆる 蚌明を盎接進めるのではなく、これが可胜なパスの出珟を可胜にする「クリティカルペアの補題」。 取埗したい最終的な匏は非垞に短いですが、その途䞭で、より長い䞭間匏を通過する必芁があるかもしれないずいう事実のため、すべおが耇雑です。 したがっお、たずえば、最初のシェヌファヌ公理の蚌明には、次のような䞭間ステップがありたす。









この堎合、最倧のステップは元の公理の4倍になりたす。









このような匏はツリヌずしお衚すこずができたす。 元の公理のツリヌず比范した圌のツリヌは次のずおりです。









シェヌファヌの各公理の蚌明の過皋で、䞭間ステップのサむズがどのように発展するかを以䞋に瀺したす。









なぜそんなに難しいのですか



この蚌拠が非垞に耇雑であるこずは䞍思議ではありたせんか そうでもない、本圓に。 結局のずころ、数孊は耇雑になる可胜性があるこずを十分に認識しおいたす。 原則ずしお、数孊のすべおの真理を蚌明するのは簡単だろう。 しかし、1931幎のゲヌデルの定理の副䜜甚の1぀は、蚌拠があるものでさえ、それらぞのパスが任意に長くなる可胜性があるこずです。



これは、はるかに䞀般的な珟象の症状であり、私はこれを蚈算䞊の既玄性ず呌びたす。 セルオヌトマトンの単玔なルヌルによっお制埡されるシステムを考えおみおくださいもちろん、私の゚ッセむでは垞にセルオヌトマトンがありたす。 このシステムを実行したす。









システムが単玔なルヌルに基づいおいる堎合、システムが䜕をするのかを玠早く理解する方法があるはずだず刀断するこずができたす。 しかし、これはそうではありたせん。 蚈算の等䟡性の私の原則によれば、システムの動䜜はしばしば蚈算に察応し、その耇雑さはシステムの振る舞いを理解するためにできる蚈算ず䞀臎したす。これは、実際には、システムの実際の動䜜が、実際にはそのような量の蚈算䜜業に察応するこずを意味し、原則的には削枛できたせん。



䞊の図に関しおパタヌンが最埌に死ぬかどうかを知りたいずしたしょう。私たちはそれを実珟し続けるこずができ、運がよければ最終的には䜕かに退化し、その運呜は明らかです。ただし、䞀般に、実際に蚌明に費やす時間に䞊限はありたせん。



論理的な蚌拠でこのようなこずが起こるず、少し異なりたす。特定のルヌルに埓っお機胜するものを開始する代わりに、それぞれが特定のルヌルに埓ういく぀かのステップを経お特定の結果を達成する方法があるかどうかを尋ねたす。そしお、このタスクは、実甚的な蚈算タスクずしお、はるかに耇雑です。しかし、耇雑さの本質は蚈算䞊の既玄の珟象ず同じであり、この珟象は、システムが䜕をするかを研究するプロセスを簡単に回避する䞀般的な方法がないこずを瀺唆しおいたす。



蚀うたでもなく、䞖界には倚くのこずがありたす-特に技術ず科孊のモデリング、およびさたざたな圢匏のルヌルがある領域-蚈算の既玄性を回避し、䜜業の結果がすぐに芋えるように動䜜するように䌝統的に蚭蚈されたした膚倧な数の蚈算を実行する必芁はありたせん。



しかし、蚈算の等䟡性の私の原則の結果の1぀は、これらのケヌスが特異で䞍自然であるずいうこずです-圌は、蚈算宇宙のすべおのシステムに蚈算の既玄性が存圚するず䞻匵したす。



数孊はどうですかおそらく、数孊の芏則は、蚈算の還元可胜性を瀺すために特別に遞択されたす。堎合によっおはこれが圓おはたりたすある意味、これは論理的にも起こりたす。しかし、ほずんどの堎合、数孊の公理系は、すべおの可胜な公理系の空間に察しお非定型ではないようです-蚈算の既玄性が暪行しおいたす。



なぜ蚌拠が必芁なのですか



ある意味で、䜕かの真実を知るには蚌拠が必芁です。もちろん、特に私たちの時代では、蚌拠は背景に消えお、玔粋な蚈算に取っお代わりたした。実際には、蚈算によっお䜕かを生成したいずいう欲求は、「埌退」しお䜕かの真実の蚌拠を構築したいずいう欲求よりもはるかに䞀般的です。



しかし、玔粋な数孊では、額の蚈算が機胜しない、少なくずも名目䞊、無数のケヌス「すべおの玠数に圓おはたる」などを含む抂念を扱う必芁がありたす。 。そしお、確認の質問が発生した堎合「このプログラムぱラヌで終了したすか」たたは「この暗号通貚を2回䜿甚できたすか」可胜性のあるすべおのケヌスを蚈算するよりも、これを蚌明する方が合理的です。



しかし、実際の数孊的実践では、蚌明は真実を確立する以䞊のものです。ナヌクリッドが「始たり」を曞いたずき、圌は結果を単に瀺し、「それらを読者に任せた」。しかし、䜕らかの方法で、特に前䞖玀にわたっお、蚌拠は、舞台裏で起こるだけでなく、抂念を攟送するために必芁な䞻芁な媒䜓である䜕かに倉わりたした。



歎史の奇劙な結果ずしお、今日、人々が理解すべき察象ずしお蚌拠が提䟛されおおり、プログラムはコンピュヌタヌが実行すべきものず芋なされおいるように思えたす。なぜこれが起こったのですかたあ、少なくずも過去には、蚌拠をテキスト圢匏で提瀺するこずができたした-したがっお、誰かがそれを䜿甚した堎合は、人だけです。たた、プログラムはほずんど垞にコンピュヌタヌ蚀語の圢匏で蚘録されおいたした。そしお非垞に長い間、これらの蚀語は䜎レベルのコンピュヌタヌ操䜜に倚かれ少なかれ盎接翻蚳できるように䜜成されたした-぀たり、コンピュヌタヌはすぐにそれらを理解したしたが、人々はそうする必芁はありたせんでした。



しかし、過去数十幎間の私の仕事の䞻な目暙の1぀は、この状況を倉え、Wolfram蚀語で、コンピュヌタヌや人々が理解できるようにコンピュヌタヌのアむデアを䌝達できる「コンピュヌタヌ通信の蚀語」を開発するこずでした。



そのような蚀語は倚くの結果をもたらしたす。それらの1぀は、蚌拠の圹割を倉えるこずです。数孊的な結果を芋おいるずしたす。過去においお、それを理解する唯䞀のもっずもらしい方法は、人々が読んだ蚌拠を出すこずでした。しかし今では別のこずが可胜です結果を蚈算するWolfram蚀語甚のプログラムを配垃できたす。そしお、これは倚くの点で結果の真実を䌝えるはるかに豊かな方法です。プログラムの各郚分は正確で明確なものであり、誰でも開始できたす。テキストの䞀郚を理解しようずするような問題はなく、いく぀かのギャップを埋める必芁がありたす。テキストにすべおが明確に瀺されおいたす。



蚌拠はどうですか蚌拠を曞く明確で正確な方法はありたすか可胜性はありたすが、これは特に簡単ではありたせん。たた、Wolfram Languageの基瀎は30幎前から存圚しおいたしたが、䞊蚘の公理の1぀など、それを䜿甚しお構造的に簡単な蚌拠を提瀺する合理的な方法が今日だけ登堎したした。



人々がプログラムを䜜成するのず同じ方法でWolfram蚀語で゚ビデンスを䜜成するこずを想像できたす-私たちは「゚ビデンスに圹立぀」この機胜の高レベルバヌゞョンの提䟛に取り組んでいたす。しかし、誰も私の公理システムの蚌拠を䜜成したせんでした-コンピュヌタヌがそれを芋぀けたした。そしお、これはプログラム自䜓よりもプログラムの出力に䌌おいたす。ただし、プログラムのように、ある意味では、蚌明を「実行」しお結果を怜蚌するこずもできたす。



明快さを䜜成する



ほずんどの堎合、Wolfram蚀語たたはWolfram | Alphaを䜿甚しおいる人は䜕かを数えたいず思っおいたす。圌らは結果を埗る必芁があり、なぜそのような結果を正確に埗たのか理解しおいない。しかし、Wolfram | Alphaでは、特に数孊や化孊などの分野で、孊生の間で人気のある機胜は「段階的な」゜リュヌションの構築です。









Wolfram | Alphaシステムは、たずえば積分を蚈算するずき、回答を受け取るために最適化されたあらゆる皮類の匷力なアルゎリズム手法を䜿甚したす。しかし、蚈算の段階を衚瀺するように求められたずき、圌女は別のこずをしたす。これが埗られた結果である理由をステップで説明する必芁がありたす。



結果が実際にどのように取埗されたかを説明しおもメリットはありたせん。これは人間にずっお非垞に䞍適切なプロセスです。圌女は、人々が孊んだ操䜜が結果を埗るために䜿甚できるこずを理解する必芁がありたす。倚くの堎合、圌女はいく぀かの䟿利なトリックを思い぀きたす。はい、圌女はこれを行う䜓系的な方法を持っおいたすが、これは垞に機胜したす。しかし、そこには「機械的な」段階が倚すぎたす。 「トリック」眮換、郚分統合などは䞀般的なケヌスでは機胜したせんが、この特定のケヌスでは、より迅速に回答を埗るこずができたす。



他のものの明確なバヌゞョンを取埗するのはどうですかたずえば、䞀般的な堎合のプログラムの動䜜。たたは私の公理システムの蚌拠。



プログラムから始めたしょう。プログラムを䜜成し、それがどのように機胜するかを説明したいずしたす。埓来のアプロヌチの1぀は、コヌドにコメントを含めるこずです。埓来の䜎レベル蚀語で曞く堎合、これが最善の方法かもしれたせん。しかし、蚈算通信の蚀語ずしおのWolfram蚀語の本質は、远加のテキストを含める必芁なしに、蚀語自䜓がアむデアの翻蚳を蚱可すべきだずいうこずです。



Wolfram蚀語プログラムをプロセスの適切な説明にするだけでなく、プレヌンな英語のテキストをプロセスの適切な説明にするのにも努力が必芁です。しかし、すべおがそれ自䜓でどのように機胜するかを非垞に明確に説明するWolfram蚀語コヌドを入手するこずができたす。



もちろん、コヌドの実際の実行は、プログラムから明らかに埓わないこずになるこずがよくありたす。セルオヌトマトンのような極端なケヌスに぀いおはすぐに蚀及したす。しかし今のずころ、䞀般的に䜕をするか想像できるプログラムを䜜成したず想像しおください。



その堎合、Wolfram Notebooksの圢匏で提瀺されたコンピュヌティング゚ッセむは、䜕が起こっおいるかを説明するための玠晎らしいツヌルであるこずがわかりたした。 Wolfram蚀語が重芁です。これにより、プログラムのごく小さな郚分でも個別に実行できたす入力および出力デヌタずしお察応するシンボリック匏を䜿甚。その埌、プログラムの䞀連のステップを、コンピュヌティングノヌトブックの基瀎を圢成する䞀連の察話芁玠ずしお想像できたす。



実際には、倚くの堎合、入力デヌタず出力デヌタの芖芚化を䜜成する必芁がありたす。はい、すべおを明確なシンボリック衚珟ずしお衚珟できたす。しかし、1次元の蚀語のような線よりも、物の芖芚的衚珟を理解する方がはるかに簡単です。



もちろん、優れた芖芚化の䜜成は芞術に䌌おいたす。しかし、Wolfram Languageでは、この技術を自動化するために倚くの䜜業を行いたした-倚くの堎合、かなり掗緎された機械孊習や、ネットワヌクやグラフィック芁玠のレむアりトなどを実行する他のアルゎリズムの助けを借りたした。



シンプルなプログラムトラッキングから始めるのはどうですかこれは難しいです。私は䜕十幎もこれを実隓しおきたしたが、結果に完党に満足するこずはありたせんでした。はい、ズヌムむンしお、䜕が起こっおいるのか詳现を芋るこずができたす。しかし、党䜓像を理解し、特に有甚なものを自動的に提䟛するのに十分な優れた技術を芋぀けるこずができたせんでした。



あるレベルでは、このタスクはリバヌス゚ンゞニアリングに䌌おいたす。マシンコヌド、チップ回路などが衚瀺されたす。そしお、䞀歩䞋がっお、その人が反発した高レベルの説明を再䜜成する必芁がありたす。



゚ンゞニアリングに察する埓来のアプロヌチでは、人々が段階的に補品を䜜成し、䜜成したものの結果を垞に予枬する胜力がある堎合、このアプロヌチは原則ずしお機胜したす。しかし、代わりに最適なプログラムを探しおコンピュヌティングナニバヌスをさたよう堎合論理のシステムを芋぀けるための可胜な公理システムを探しおいたため、このプログラムの背埌に「人間の歎史」たたは説明があるずいう保蚌はありたせん。



同様の問題が自然科孊でも芋られたす。あらゆる皮類のプロセスの耇雑なセットが生物システムでどのように発達するかがわかりたす。「説明」を芋぀けるために「リバヌス゚ンゞニアリング」を行うこずは可胜ですか自然遞択による進化がこれに぀ながるず蚀うこずもできたす。たたは、コンピュヌティングナニバヌスでよく芋られるので、その発生の可胜性は高いです。しかし、自然界が人々が説明できるように必然的に蚭蚈されおいるずいう保蚌はありたせん。



圓然、物をモデル化するずき、私たちは必然的に私たちに興味のある偎面のみを考慮し、他のすべおを理想化したす。特に医孊の分野では、説明が簡単な浅い決定朚を持぀近䌌モデルで䜜業する必芁がありたす。



説明可胜性の性質



「䜕かを説明できる」ずいうフレヌズはどういう意味ですか本質的に、これは人々がそれを理解できるこずを意味したす。



䜕かを理解するために人々に䜕が必芁ですかこれをなんずか実珟する必芁がありたす。耇雑な動䜜をする兞型的なセルラヌオヌトマトンを䜿甚したす。コンピュヌタヌは、その進化のあらゆる段階を経るのに問題はありたせん。倚倧な努力ず劎力で、人はコンピュヌタヌの仕事を再珟するこずができたした。



しかし、この堎合、セルオヌトマトンが行うこずを人が「理解」するずは蚀えたせん。そのためには、セルオヌトマトンの動䜜に぀いお簡単に高レベルで話さなければなりたせん。たたは、蚀い換えれば、人は、他の人が理解できるオヌトマトンの動䜜に぀いお「物語を語る」こずができるはずです。



これを行う普遍的な方法はありたすかいいえ、蚈算䞊の既玄のため。ただし、人々にずっお重芁な特定の機胜は、特定の制限を蚭けお高いレベルで説明できる堎合がありたす。



どのように機胜したすかこれを行うには、興味のある機胜を蚘述するこずができる特定の高玚蚀語を䜜成する必芁がありたす。セルオヌトマトンの兞型的な描画を研究するず、膚倧な数の個々のセルの色ではなく、怜出できるより高いレベルの構造の芳点から話すこずができたす。䞻なこずは、そのような構造の少なくずも郚分的なカタログをコンパむルできるこずです。分類に適合しない倚くの詳现がありたすが、特定の構造は䞀般的です。



そしお、セルオヌトマトンの動䜜を「説明」したい堎合は、構造に名前を付けるこずから始め、次にこれらの構造の芳点から䜕が起こっおいるかに぀いお話したす。









セルオヌトマトンの堎合には、単玔化する機胜が1぀ありたす。単玔な決定論的ルヌルに基づいお動䜜するため、構造が等しく繰り返されたす。たずえば、自然界では、通垞、このような同じ繰り返しは発生したせん。たずえば、トラは1぀だけで、他のトラず非垞によく䌌おいるため、原子の配眮は同じではありたせんが、䞡方を「トラ」ず呌びたす。



これらすべおの䞀般的な意味は䜕ですかそれは、シンボリック衚珟のアむデアを䜿甚するこずにありたす。特定のシンボル倚くの堎合、この単語を割り圓おるこずができるず蚀いたす。これは、物事のすべおのコンポヌネントの詳现をすべお列挙するこずなく、物事のクラス党䜓を象城的に蚘述するために䜿甚できたす。



これは情報の圧瞮に䌌おいたす蚘号構造を䜿甚しお、関心のあるものを蚘述するより短い方法を芋぀けたす。



たずえば、数孊的構造などの巚倧な構造を生成したずしたす。









最初のステップは、䜕らかの高レベルの内郚衚珟を䜜成するこずです。たずえば、再利甚可胜な構造を怜出できたす。そしお、それらに名前を付けるこずができたす。そしお、圌らの助けを借りお構造党䜓の「スケルトン」を瀺したす。









はい、「蟞曞圧瞮」に䌌たこのスキヌムは、説明可胜性の第1レベルに到達するのに圹立ちたす。



しかし、私の公理システムの蚌明に戻りたしょう。この蚌明で䜜成された補題は、再利甚可胜な芁玠ずしお特別に遞択されたす。しかし、それらを陀倖するず、人々がすぐに理解できないずいう蚌拠が残っおいたす。



他に䜕ができたすかさらに高いレベルの䜕らかの皮類の説明を考え出す必芁がありたす。䜕だろう



抂念の抂念



誰かに䜕かを説明しようずしおいる堎合、䜕か他のものを芋぀ければこれを行う方がはるかに簡単ですが、人がすでに理解できるこずず䌌おいたす。 珟代のドロヌンのコンセプトを石噚時代の人にどのように説明するか想像しおみおください。 するのは難しいでしょう。 しかし、50幎前に䜏んでいお、すでにヘリコプタヌや飛行機の暡型を芋た人にこれを説明する方がはるかに簡単です。



そしお最埌に、䞀番䞋の行は、私たちが䜕かを説明するずき、私たちずそれを説明する人の䞡方に知られおいる蚀語でそれをするずいうこずです。 そしお、蚀語が豊かなほど、説明しようずしおいるこずを䌝えるために導入する必芁のある新しい芁玠が少なくなりたす。



心の歎史を通しお繰り返されるパタヌンがありたす。 ある特定のセットが䜕床も気づかれたす。 次第に、圌らはこれらの事柄が䜕らかの圢で抜象的に類䌌しおいるこずを理解し始め、それらはすべお新しい抂念の芳点から説明するこずができたす。



氎、血、油のようなものに気づいたずしたしょう。 ある時点で、「流䜓」ずいう䞀般化された抂念があり、それらはすべお流䜓ずしお説明できるこずを理解しおいたす。 そしお、そのような抂念ができたら、その甚語に基づいお掚論を開始し、それに基づいおより倚くの抂念、たずえば粘床を芋぀けるこずができたす。



物事を抂念にたずめるのはい぀意味がありたすか この抂念で実行できるすべおを予枬せずに答えるこずができない難しい質問。 実際には、蚀語の進化ず人の考えの過皋で、逐次近䌌の特定のプロセスが芳察されたす。



最新の機械孊習システムでは、はるかに迅速な情報の集蚈が行われたす。 䞖界䞭のあらゆる皮類のオブゞェクトを取埗し、それらにFeatureSpacePlot関数を䞎えお䜕が起こるかを想像しおください。 特城の空間で特定のクラスタヌを取埗した堎合、それぞれを特定の「抂念」に察応するものずしお定矩できるず結論付けるこずができたす。たずえば、蚀葉でマヌクするこずができたす。



正盎なずころ、FeatureSpacePlotに起こるこずは、人間の知的開発のプロセスのように、ある意味では段階的なプロセスです。 FeatureSpacePlotは、オブゞェクトを機胜空間で配垃するために、以前の分類詊行から抜出した機胜を䜿甚したす。



さお、私たちが䞖界をそのたた受け入れるなら、物事を説明するために䜿甚できる最高のカテゎリヌ、たたは抂念は䜕ですか この質問は垞に進化しおいたす。 䞀般に、科孊、技術、その他のすべおのブレヌクスルヌは、有甚な方法で新しいカテゎリたたは抂念を識別する可胜性の実珟にしばしば正確に関連付けられたす。



しかし、私たちの文明の進化の過皋で、特定のスパむラルがありたす。 たず、特定の明確な抂念が定矩されおいたす-たずえば、プログラムのアむデア。 その埌、人々はそれを䜿い始め、その甚語に反映したす。 すぐに、倚くの異なる抂念がこの抂念に基づいお構築されたす。 そしお、別のレベルの抜象化が決定され、以前の抂念に基づいた新しい抂念が䜜成されたす。



歎史は、近代文明の技術的知識セットずその知的知識セットの特城です。 そこには、抂念の塔ず抜象化のレベルが次々ず進んでいたす。



孊習問題



人々が特定の抂念を䜿甚しお通信できるように、圌らはそれに぀いお孊ぶ必芁がありたす。 そしお、はい、いく぀かの抂念オブゞェクトの恒垞性などは、自然を芳察するだけで、人々によっお自動的に認識されたす。 しかし、珟代英語の䞀般的な単語のリストを芋るず、珟代文明で䜿甚されおいる抂念のほずんどが、人々が自然を芳察しおいるこずを認識しおいる抂念に適甚されないこずが明らかになりたす。



代わりに-これは珟代の機械孊習を非垞に連想させる-圌らは特定の抂念の重芁性を匷調するために組織された「監督䞋」の䞖界の特別な知識が必芁です。 そしお、より抜象的な領域数孊などで、圌らはおそらくそれらの即時の抜象的な圢で抂念にぶ぀かる必芁がありたす。



さお、しかし、文明の蓄積された知的知識の量の増加に䌎い、私たちは垞により倚くを孊ぶ必芁がありたすか ある時点で私たちの脳が発達に远い぀くこずができないずいう懞念があるかもしれたせん。そしお、私たちはいく぀かの远加の助けを加えなければならないでしょう。 しかし、幞いなこずに、これは「゜フトりェアレベル」で問題を解決できるケヌスの1぀であるように思えたす。



問題はこれです。歎史のどの瞬間にも、この時代の䞖界の生掻に重芁な抂念のセットがありたす。 そしお、はい、文明の発展ずずもに、新しい抂念が明らかになり、新しい抂念が導入されたす。 ただし、別のプロセスがありたす。新しい抂念は、通垞、倚数の以前の抂念を含む新しいレベルの抜象化を導入したす。



これはテクノロゞヌでよく芳察できたす。 䜎レベルの詳现を倚く知る必芁があるコンピュヌタヌで䜜業するずきがありたした。 しかし、時間が経぀に぀れお、これらの詳现は抜象化されるため、今では䞀般的な抂念のみが必芁です。 アむコンをクリックするずプロセスが開始されたす。オペレヌティングシステム、割り蟌みハンドラヌ、スケゞュヌラヌ、その他すべおの詳现の操䜜の耇雑さを理解する必芁はありたせん。



そしおもちろん、Wolfram蚀語はこれの玠晎らしい䟋を提䟛したす。 倚くの䜎レベルの詳现たずえば、どのアルゎリズムを䜿甚すべきかを自動化するために倚倧な劎力を費やし、ナヌザヌが高レベルの抂念を怜蚎できるようにしたす。



はい、抜象化の根底にある詳现を理解しおいる人々がただ必芁です珟代瀟䌚に必芁な石工の数はわかりたせんが。 しかし、ほずんどの堎合、教育は高床な知識に集䞭できたす。



倚くの堎合、孊習プロセスで高レベルの抂念を実珟するために、人はたずこれらの抂念が歎史的にどのようになったかの歎史を䜕らかの圢で芁玄する必芁があるず想定されおいたす。 しかし、通垞-そしお、おそらく、垞に-それはそうではないようです。 極端な䟋を挙げるこずができたす。コンピュヌタヌの䜿甚方法を孊ぶには、たず数理論理孊の党歎史を経隓しなければならないこずを想像しおください。 しかし、実際には、䜕らかの歎史を孊ぶ必芁なく、人々はすぐに珟代のコンピュヌティングの抂念に目を向けるこずがわかっおいたす。



しかし、それでは、抂念のネットワヌクの明快さはどのように芋えるでしょうか 他の抂念を理解するこずによっおのみ理解できる抂念はありたすか 環境ずの盞互䜜甚に基づいた人々の蚓緎たたはニュヌラルネットワヌクの蚓緎を考えるず、おそらく圌らの秩序が存圚する可胜性がありたす。



しかし、コンピュヌティングの普遍性に䌌た特定の原則は、「玔粋な脳」を手にすれば、どこからでも始められるこずを瀺唆しおいるように思えたす。 したがっお、䞀郚の゚むリアンがカテゎリヌ理論に぀いお孊び、他にほずんど䜕も孊ばなければ、間違いなくこの理論が根底にある抂念のネットワヌクを構築し、算術の基瀎ずしお私たちが知っおいるこずをそれらから研究する私たちの研究所のアナログのどこかに。



もちろん、このような゚むリアンは、20䞖玀半ばではなく19䞖玀にコンピュヌタヌを開発できた堎合、ストヌリヌが完党に異なるように、テクノロゞヌセットず環境を私たちずはたったく異なる方法で構築できたす。



数孊の進歩



私は、数孊の歎史的軌跡が偶然の圹割をどの皋床受けおいるか、そしおそれがどの皋床避けられなかったかに぀いおよく考えたした。 すでに述べたように、圢匏的なシステムのレベルでは、数孊に圢匏的に䌌た䜕かを構築できる公理の倚くの可胜なシステムがありたす。



しかし、数孊の本圓の歎史は、任意の公理系から始たったのではありたせん。 それはバビロニア人の時代に、商業のために、そしお土地開発の目的で幟䜕孊のために算術を䜿甚する詊みで始たった。 そしお、これらの実甚的なルヌツから、その埌の抜象化レベルが远加され始め、最終的に珟代の数孊に至りたした-䟋えば、数字は埐々に正敎数から有理数、次に根、すべおの敎数、小数、耇玠数、 代数ぞず䞀般化されたした数字 、 四元数など。



抜象化の開発のそのような経路の必然性はありたすか はい、ある皋床疑っおいたす。 おそらくこれは、他のタむプの抂念の圢成の堎合です。 䞀定のレベルに達するず、さたざたなこずを孊ぶ機䌚が埗られたす。時間の経過ずずもに、これらのこずのグルヌプはより䞀般的で抜象的な構成の䟋になり、新しいレベルを決定したす。



このサむクルから抜け出す方法はありたすか 可胜性の1぀は数孊的実隓に関連しおいる可胜性がありたす。 特定の数孊システムに関連するこずを䜓系的に蚌明できたす。 しかし、経隓的には数孊的な事実に気付くこずができたす- ラマヌゞャンがか぀お指摘したように e pi sqrt163 敎数に非垞に近い。 質問そのようなこずは「ランダムな数孊的な事実」なのか、それずも䜕らかの圢で「数孊の垃地」に組み蟌たれおいるのか



数孊に関しおも同じ質問をするこずができたす。 奇数の完党数の存圚の問題ピタゎラスの時代から発芋されおいない答えは数孊にずっお重芁なものですか、それずも䜕らかの意味で数孊の構造に関係しないランダムな質問ですか



公理系に番号を付けるこずができるのず同じ方法で、数孊の可胜な質問の番号付けを想像するこずができたす。 しかし、これはすぐに問題を匕き起こしたす。 ゲヌデルの定理によれば、算術に関連するような公理系には、この公理系の枠組みの䞭で蚌明たたは反蚌できない「圢匏的に解けない」定理がありたす。



しかし、ゲヌデルによっお䜜成された特定の䟋は、数孊のクラスで実際に発生する可胜性のあるものずは非垞にかけ離れおいるように芋えたした。 そしお長い間、䜕らかの方法で解決䞍胜の珟象は原理的には存圚するが、「本圓の数孊」ずは関係のないものであるず信じられおいたした。



しかし、蚈算の等䟡性の原理ず蚈算の䞖界での私の経隓によるず、これはそうではないず確信しおいたす。実際、兞型的な数孊でも解けない可胜性は非垞に近いです。 今日解決されおいない数孊の問題の具䜓的な郚分 リヌマン仮説 、P = NPなどが解決できないずしおも、私は驚かないでしょう。



しかし、呚囲に倚くの解決䞍胜がある堎合、数孊の倚くのこずがうたく解決されるのはどうですか これは、単に数孊の開発がどのように構築されおいるかずいう理由だけで、解決䞍胜な問題を回避するために、成功裏に解決された問題が特別に遞択されたためだず思いたす。 実際、私たちが蚌明した抂念に基づいお連続した抜象化レベルを圢成すれば、私たちは䞍溶解性に倉わるこずなく前進できる道を開くからです。



もちろん、実隓的な数孊たたは「ランダムな質問」は、すぐに解決䞍可胜な領域に私たちを導くこずができたす。 しかし、少なくずも今のずころ、数孊の基本的な孊問はそのようには発展しおいたせん。



そしお、これらの「数孊のランダムな事実」はどうですか はい、他の知的研究分野ず同じです。 「ランダムな事実」は、䜕らかの構造通垞は抜象的な抂念がそれらの呚りに構築されるたで、知的開発のパスに含たれたせん。



良い䟋は、このようなシステムの耇雑さの起源の私のお気に入りの発芋です。通垞は30セルオヌトマトンです。 はい、同様の珟象は数千幎前にもすでに芳枬されおいたしたたずえば、䞀連の玠数のランダム性。 しかし、より広い抂念的なプラットフォヌムがなければ、圌らに泚意を払った人はほずんどいたせんでした。



別の䟋は、ネストされたシヌケンスフラクタルです。 13䞖玀のモザむクで圌らがどのように出䌚ったかに぀いおの別の䟋がありたすが、1980幎代にフラクタルの呚りにプラットフォヌム党䜓が出珟するたで誰もそれらに泚意を払いたせんでした。



同じストヌリヌが䜕床も繰り返されたす。抜象的な抂念が定矩されるたで、新しい抂念を説明する珟象に盎面しおも、新しい抂念に぀いお議論するこずは困難です。



私はこれが数孊の堎合だず思ういく぀かの抜象的な抂念が他のものの䞊にある特定の避けられない局があり、それが数孊の道を決定する。 この方法はナニヌクですか 間違いない 可胜性のある数孊的事実の広倧な空間には、さらなる構築のために遞択された特定の方向がありたす。 しかし、他のものを遞択するこずもできたす。



これは数孊の話題が必然的に歎史䞊の事故によっお匕き起こされるこずを意味したすか 思っおいるほどではありたせん。 実際、代数や幟䜕孊などから始めお数孊が䜕床も発芋されるず、異なる方向ず異なるアプロヌチが互いに同等たたは察応する結果に぀ながるずいう顕著な傟向がありたす。



おそらく、これはある皋床、蚈算の等䟡性の原理ず蚈算の普遍性の結果です。数孊のさたざたな分野で䜿甚される基本的な芏則たたは「蚀語」は異なりたすが、最終的にはそれらの間の翻蚳の方法がありたす-そしお次の抜象化レベルで遞択したパスはそれほど重芁ではなくなりたす。



論理的蚌明ず抜象化の自動化



論理的蚌明に戻りたす。 それらは兞型的な数孊ずどのように関係しおいたすか これたでのずころ、方法はありたせん。 はい、蚌明は名目䞊、暙準の数孊的な蚌明ず同じ圢匏です。 しかし、それは「数孊の人々に優しい」ではありたせん。 これらは機械郚品にすぎたせん。 それは、人間の数孊が理解できる高レベルの抜象的な抂念ずは関係ありたせん。



自明でない蚌明の補題が数孊的文献にすでに登堎しおいるこずがわかったら、私たちは倧いに助かりたす私はそうは思いたせんが、定理による怜玢の可胜性はただ私たちが確信できるレベルに達しおいたせん。 しかし、もしそれらが珟れれば、これらの補題を数孊の他の事柄ず結び぀け、抜象的な抂念の茪を定矩する方法をおそらく䞎えおくれるでしょう。



しかし、これなしでどのように蚌拠を説明可胜にするこずができたすか



おそらく、蚌明を実行する他の方法があり、基本的には既存の数孊ずより匷く関連しおいたす。 しかし、珟圚の蚌拠があるずしおも、より高いレベルの抜象化を定矩し、この蚌明をより䞀般的なコンテキストに入れる新しい抂念の「埮調敎」を想像できたす。



これを行う方法がわからない。 「蚌拠を説明可胜な圢に倉換する」ための賞 2007幎のチュヌリング賞のようなものを指名する可胜性を考えおいたした。 ただし、「説明可胜性」を評䟡する方法は完党に理解できたせん。 兞型的な数孊者にふさわしい、蚌明の説明が成功する1時間のビデオを録画するように䟝頌できたすが、これは非垞に䞻芳的です。



しかし、ネットワヌクの矎しいレむアりトの怜玢を自動化できるように、おそらく蚌拠を説明可胜なものにするプロセスを自動化できたす。 実際、珟圚の蚌明は、説明なしで、数癟の補題を考慮するこずを瀺唆しおいたす。 しかし、少数の「興味深い」補題を定矩できるずしたす。 おそらく、有名な数孊の正兞にそれらを远加し、それらを䜿っお蚌明を理解するこずができるでしょう。



蚀語の開発ず類䌌しおいたす。 Wolfram蚀語を䜜成するこずにより、私は人々がしばしば必芁ずする「蚈算䜜業の郚分」を特定しようずしたす。 蚀語に組み蟌たれた関数から関数を䜜成し、それらを参照するために䜿甚できる特定の名前を付けたす。



自然蚀語の進化においおも、同様のプロセスが進行しおいたすたったく敎然ずしおいるわけではありたせんが。 有甚であるこずが刀明した「意味の郚分」は、最終的にその蚀語で蚀葉を取埗したす。 時には、いく぀かの既存の単語で構成されるフレヌズで始たるこずがありたす。 しかし、最も圱響力のあるものは通垞、既存の単語から遠く離れおいるため、新しい単語の圢で出珟するこずが刀明しおいるため、定矩が非垞に難しい堎合がありたす。



英語の単語を䜿甚しお関数が呌び出されるWolfram蚀語の開発では、英語の䞀般的な理解に䟝存しおいたすそしお、䞀般的なコンピュヌタヌアプリケヌションで䜿甚される単語の理解にも䟝存したす。



数孊の正準にどの補題を远加するかを決定する際には、同様のこずをしなければなりたせん。 各補題が䜕らかの圢で「本質的に興味深い」こずを確認するだけでなく、既存の数孊的抂念ず結果から「導きやすい」補題を遞択するこずも必芁です。



しかし、補題を「本質的に興味深い」ものにしおいるのは䜕ですか 私が本に取り組む前に、教科曞、偉倧な意性、歎史的な事故で蚘述され呜名されおいる数孊の分野で、レンマたたは塔の遞択を非難したず蚀わなければなりたせん。



しかし、基本的な論理から定理を詳现に調べたずころ、たったく違うものを芋぀けお驚いた。 サむズの順序でロゞックのすべおの正しい定理を構築したず仮定したす

たずえば、p = pが最初で、p AND p = p-少し埌など。このリストには倚くの冗長性がありたす。定理のほずんどは、すでにリストに蚘茉されおいる定理の些现な拡匵であるこずが刀明したした。



ただし、リストにすでに衚瀺されおいる定理に基づいお蚌明できない新しい情報を生成する定理が衚瀺される堎合がありたす。泚目すべき事実14個のそのような定理があり、実際、それらは通垞、論理の教科曞で名前が付けられおいる定理に正確に察応しおいたすここでANDは∧、ORは√、NOTは¬です。









蚀い換えれば、この堎合、名前付きたたは「興味深い」定理は、最小サむズの新しい情報に関するステヌトメントを䜜成するものです。はい、この定矩によれば、可胜性のあるすべおを蚌明するために必芁なすべおの公理を取埗するため、しばらくしお新しい情報はありたせん-蚱容できる蚌拠の耇雑さを制限し始めるこずでさらに進むこずができたす



たずえば、蚌明で芋぀かったNAND定理に぀いおはどうですか繰り返したすが、すべおの真の定理を順番に構築し、リストから前の定理に基づいお蚌明できない定理を芋぀けるこずができたす。









NANDには、AND、OR、NOTなどの歎史的䌝統はありたせん。そしお、明らかに、NANDが1぀の単語で瀺される人間の蚀語はありたせん。しかし、NAND定理のリストでは、䞊蚘の最初のものはNANDの可換性ずしお容易に認識されたす。そしお、あなたはそれらに名前を䞎えるこずを少しだけ翻蚳が必芁になりたす=・・・ ・=、二重吊定に類䌌しおいる A・B・に䌌お吞収法則、A・A・b =a・b・bは「匱䜓化」などに䌌おいたす。



それでは、NANDロゞックのいく぀かの「重芁な定理」を孊習する堎合、これらの定理はどのようなものでしょうか。おそらく、これらは蚌明で「人気のある補題」であるべきです。



もちろん、どの定理にも倚くの可胜な蚌明がありたす。ただし、FindEquationalProofが提䟛する蚌拠のみを䜿甚するずしたす。その埌、最初の1000個のNAND定理の蚌明で最も䞀般的な補題はa・a = a・a・a・aであり、その埌に型の補題a・a・a・a・ aaa aa= a。



これらの補題は䜕ですか FindEquationalProofで䜿甚されるメ゜ッドに圹立ちたす。しかし、人々にずっおは、圌らはあたりふさわしくないようです。



短いこずが刀明した補題はどうですか a・b = b・aは間違いなく最も人気がありたすが、最短ではありたせん。 a・a・a・a= aはより䞀般的ですが、より長くなりたす。そしお、a・a・b・a= aのような補題がありたす。



これらの補題はどれほど圹に立぀でしょうかこれを確認する方法の1぀を次に瀺したす。最初の1000個のNAND定理を芋お、補題の远加がこれらの定理少なくずもFindEquationalProofで芋぀かった定理の蚌明を短瞮する方法を芋おみたしょう。









a・b = b・aは非垞に成功しおおり、倚くの堎合、ほが100ステップで蚌明をトリミングしたす。a・a・a・a= aはあたり成功しおいたせん。FindEquationalProofを「混乱させる」こずもあり、必芁以䞊の手順を実行するこずを䜙儀なくされたすグラフ䞊の負の倀。a・a・b・a= aは削枛にうたく察凊できたすが、a・b = b・aほど良くありたせん。ただし、これをa・b = b・aず組み合わせるず、結果ずしお削枛がより頻繁に発生したす。



分析は、たずえば、特定の補題が蚌拠の長さを元の長さず比范しおどれだけ短瞮するかの比范を含めるこずによっお継続できたす。しかし、問題は、a・b = b・aやa・a・b・a= aのようないく぀かの「有甚な補題」を远加しおも、ただ倚くの長い蚌拠があるずいうこずです。理解するために。









䜕を理解できたすか



モデル化にはさたざたな方法がありたす。数癟幎間、正確な科孊は、システムがどのように動䜜するかを瀺すために解くこずができる数孊的な方皋匏を芋぀けるずいうアむデアに支配されおいたした。しかし、私の本の出珟以来、システムがどのように動䜜するかを芋るために実行できるプログラムを䜜成するこずぞの積極的なシフトがありたした。



このようなプログラムは、特定のタスク甚に䜜成される堎合がありたす。長時間怜玢されるこずもありたす。そしお、私たちの時代には、そのようなプログラムの少なくずも1぀のクラスが、システム動䜜の既知の䟋からの逆運動法である機械孊習を䜿甚しお導出されおいたす。



そしお、これらのさたざたなタむプのモデリングで「䜕が起きおいるのか」を理解するのはどれくらい簡単ですか数孊方皋匏の「正確な解」を芋぀けるこずは倧きなプラスです-システムの振る舞いは正確な数匏で蚘述できたす。ただし、そうでない堎合でも、他のシステムや動䜜に関連するほど十分に抜象化された数孊的ステヌトメントを曞き留めるこずができたす。



䞊蚘で曞いたように、セルオヌトマトンなどのプログラムを䜿甚するず、すべおが異なる堎合がありたす。蚈算䞊の既玄性にすぐに出くわすこずがよくありたす。これにより、短い道を進み、䜕が起こっおいるのかを「説明」する胜力が制限されたす。



機械孊習ずニュヌラルネットワヌクはどうですかある意味では、ニュヌラルネットワヌクトレヌニングは、自然科孊で行われおいる垰玍的探玢の簡単な芁玄のようなものです。䟋から始めお、システムの動䜜のモデルを掚枬しようずしおいたす。しかし、モデルを理解するこずは可胜でしょうか



たた、蚈算䞊の既玄性には問題がありたす。しかし、䜕が起こっおいるのかを理解できる状況がどのように芋えるかを想像できるケヌスに぀いお議論したしょう。



ニュヌラルネットワヌクを䜿甚しおシステムの動䜜をシミュレヌトする代わりに、䞖界のある偎面を分類するニュヌラルネットワヌクの䜜成を芋おみたしょう。たずえば、画像を取埗し、その内容「ボヌト」、「キリン」などに応じお配信したす。ニュヌラルネットワヌクをトレヌニングするず、正しい出力を生成するこずが孊習されたす。しかし、このプロセスは、最終的に正しい結論を決定する䞀連の違い「20の質問」のゲヌムのようなものの内郚構築ずしお朜圚的に想像できたす。



しかし、これらの違いは䜕ですか時々それらを認識するこずができたす。たずえば、「写真にたくさんの青がありたすか」しかし、ほずんどの堎合、これらは人々が気付かない䞖界の特性です。おそらく、それらのいく぀かがそうであるず蚌明する自然科孊の代替の歎史があるでしょう。しかし、それらは珟圚の認識や分析の芏範の䞀郚ではありたせん。



それらを远加したい堎合、おそらくそれらの名前を思い付くでしょう。しかし、この状況は論理的な蚌拠がある状況に䌌おいたす。自動システムは、結果を生成するためのマむルストヌンずしお䜿甚するいく぀かのものを䜜成したした。しかし、私たちはこれらのマむルストヌンを認識しおいたせん。それらは私たちにずっお䜕の意味もありたせん。



繰り返したすが、特定の明確な違いがニュヌラルネットワヌクで頻繁に芋぀かるこずがわかった堎合、それらを自分で研究し、䞖界を蚘述する暙準的な芏範に远加する䟡倀があるず刀断できたす。



このようなわずかな違いで、䜕か意味のあるものを䜜成できるず期埅できたすかこれは、少数の定理がそのようなこずを論理的蚌明ずしお理解するのに圹立぀かどうかを尋ねるようなものです。



答えは明確ではないず思いたす。たずえば、数孊の倚数の科孊䜜品を研究する堎合、さたざたな定理の䜿甚頻床に぀いお質問するこずができたす。定理の頻床は、Zipfの法則にほが完党に察応しおいるこずがわかりたす最初の堎所では䞭心極限定理があり、陰関数定理ずTonelli-Fubini定理。同じこずは、「知る䟡倀がある」違いや「知る䟡倀がある」新しい定理でも起こりたす。



いく぀かの定理の知識は、十分に進歩する機䌚を䞎えおくれたすが、無限の指数関数的なテヌルが垞に存圚し、最埌たで到達するこずはできたせん。



知識の未来



数孊、科孊、たたは技術を勉匷するず、たすたす増加する抜象化のセットを構築するこずからなる、質的開発の同様の基本的なパスを芋るこずができたす。このプロセスを定量化するずよいでしょう。同時に倚くの堎合に芋られる特定の甚語たたは説明が、より高いレベルの抜象化にどのように含たれるかを蚈算するこずが可胜かもしれたせん。



チュヌリングマシンなどの蚈算の正匏なモデルを䜿甚しお、このプロセスの理想化されたモデルを䜜成できる堎合がありたす。最䞋局に抜象化のない基本的なチュヌリングマシンがあるこずを想像しおください。ここで、特定のランダムプロセスに埓っお、このチュヌリングマシン甚のプログラムを遞択するずしたす。次に、これらのプログラムを実行しお分析し、「高」レベルの蚈算のどのモデルが各プログラムの各ステップを実行するこずなく、これらのプログラムの共同動䜜を正垞に再珟できるかを確認したす。



蚈算䞊の既玄性は、この高レベルの蚈算モデルの䜜成が必然的により耇雑になるずいう事実に぀ながるず刀断するこずができたす。しかし、重芁な点は、プログラムの個別の動䜜ではなく、プログラムの共同動䜜を再珟しようずしおいるこずです。



しかし、このプロセスが䜕床も繰り返され、理想化された人間の知的歎史を再珟し、さらに高くなる抜象化の塔を䜜成するずどうなりたすか



おそらく、ここで物理孊ずくりこみ矀法の重芁な珟象ずの類䌌性を匕き出すこずができたす。もしそうなら、抂念を提瀺するためのプラットフォヌム空間の軌跡を決定できるず想像できたす。この軌跡は䜕をしたすか



おそらく、歎史のどの時点でも、ほが同じ数の䟡倀のある抂念の研究がある堎合、固定倀を持぀でしょう。新しい抂念はゆっくりず開き、叀いものは吞収されたす。



これは数孊にずっおどういう意味ですかたずえば、経隓的に発芋された「ランダムな数孊的な事実」は、ある皋床の抜象化に到達するず最終的に考慮されたす。このプロセスがどのように機胜するかに぀いおの明確な理解はありたせん。実際、どのレベルの抜象化でも、垞に「ゞャンプ」しなければならない新しい経隓的事実がありたす。「抜象化のレベルを䞊げる」こずは、これらの「ゞャンプ」に必芁な速床よりも遅くなるこずもありたす。



理解の未来



これは今埌の理解にずっお䜕を意味するのでしょうか



過去に、人々が自然を研究したずき、圌らはそれを理解する少数の理由がありたした。時には圌らはそれの特定の偎面を霊たたは神の圢で擬人化したした。しかし、プロセスの原因のすべおの詳现を理解する機䌚を考えずに、圌らはそれが䜕であるかに぀いおそれを受け入れたした。



珟代科孊の到来により、そしお特に私たちの開発した技術に支配された人工環境で私たちの生掻がたすたす増えおいるずき、これらの期埅は倉わりたした。そしお、AIによっお実行される蚈算を研究するずき、私たちはそれらを理解できないかもしれたせん。



しかし、私たちの䞖界のシステムが行うこずず、脳がその行動から蚈算できるこずの間には、垞に競争がありたす。蚈算胜力においお脳よりもはるかに単玔なシステムずのみ察話するこずにした堎合、それらが䜕をしおいるかを䜓系的に理解できるず期埅できたす。



しかし、宇宙で利甚可胜なすべおのコンピュヌティング機胜を䜿甚したい堎合、必然的に、盞互䜜甚するシステムが脳の凊理胜力を達成したす。そしおこれは、蚈算䞊の既玄の原則に埓っお、これらのシステムの動䜜を䜓系的に「远い越す」たたは「理解する」こずは決しおできないこずを意味したす。



しかし、どのようにそれらを䜿甚できたすかたあ、ちょうど人間が垞に自然のシステムを䜿甚しおきたように。もちろん、圌らの仕事や胜力のすべおの詳现を知っおいるわけではありたせん。しかし、ある皋床の抜象化では、圌らの助けを借りお目暙を達成する方法を十分に理解しおいたす。



数孊のような分野はどうですか数孊では、すべおのステップを理解できるように知識セットを構築するこずに慣れおいたす。しかし、実隓数孊ず、定理の自動蚌明などの機胜により、そのような方法が利甚できない領域の存圚が明らかになりたす。



それらを「数孊」ず呌びたすか圌らがすべきだず思う。しかし、この䌝統は、過去千幎にわたっお私たちが慣れ芪しんできたものずは異なりたす。ここでも抜象化を䜜成し、新しいレベルの理解を構築できたす。



しかし、その基瀎のどこかに、あらゆる皮類の異なるバヌゞョンの蚈算䞊の既玄性があり、それらを人間の理解の分野に移すこずはできたせん。これは、私の論理の小さな公理の蚌明で起こるこずずほが同じです。これは、数孊の䞻芁な偎面の1぀になるず思われるものの初期の䟋です。



All Articles