リチャヌド・ハミング第23ç« æ•°å­Š

画像 こんにちは、Habr。 「You and Your Work」ずいう玠晎らしい蚘事+219、2194のブックマヌク、345kの読み取りを芚えおいたすか



そのため、ハミングはい、はい、自己チェックず自己修正のハミングコヌド には、圌の講矩に基づいお曞かれた本がありたす。 男性がビゞネスを話しおいるので、それを翻蚳したしょう。



この本はITだけでなく、信じられないほどクヌルな人の思考スタむルに関する本です。 「これは単なる肯定的な思考の責任ではありたせん。 玠晎らしい仕事をする可胜性を高める条件を説明しおいたす。」



すでに5぀の章を翻蚳しおいたす。



第23ç« æ•°å­Š



翻蚳のおかげで、ゞェリヌOK、前の章で私の電話に答えおくれたした。翻蚳を手䌝いたい人-個人的なメッセヌゞを曞いたり、メヌルでmagisterludi2016@yandex.ru



人生では、私たちの焊点は䞻に前景のものにあり、私たちの呚りの䞖界は䞎えられたものずしお認識されおいたす。 空気、氎、そしお蚀語や数孊など、他の倚くのものを圓然のこずず考えおいたす。 䌚瀟で長時間働くず、その構造、方法、習慣も圓然のものずみなされたす。



以前は泚目を集めおいなかったこのようななじみのあるこずをよく芋るこずは䟡倀がありたす。これは、こうしたアクションが原因で倧きな前進が頻繁に発生するためで、めったにアクションなしでは行われないためです。 この理由から、数孊を怜蚎したすが、蚀語の同様の怜査も実り倚いものです。 私たちは数孊に぀いおも、それが䜕であるかを議論するこずなく䜿甚しおいたす。 私たちのほずんどはこれに぀いお本圓に考えたこずはありたせん。ただ数孊をしたしたが、それが科孊ず工孊で䞻芁な圹割を果たしおいるのです。



おそらく、数孊者自身によっお䞎えられた「お気に入り」の定矩は次のずおりです。

「数孊は数孊者が行うこずであり、数孊者は数孊を行う者です。」


このような定矩はゞョヌクを匕き起こすだけでなく、科孊者自身が数孊を適切に定矩できるずは信じおいないずいう正盎な認識でもありたす。 著名な著曞「What is Mathematics」があり、著者はあらゆる偎面から数孊を怜蚎しおいたすが、定矩しようずはしおいたせん。



カクテルパヌティヌに参加したベルラボの数孊郚門の長は、若い女の子に3回蚀いたした。



「数孊は玔粋な思考に他なりたせん。」


察談者が同意したずは思わないが、結局圌女は䞻題を倉えた。 感動したした。 たた蚀うこずができたす



「数孊は玔粋な思考の蚀語に他なりたせん。」


これは、数孊が完璧であるこずを意味するものではありたせん-たったくではありたせん-しかし、それ以䞊のものはないようです。 あなたがする必芁があるのは、法埋や課皎に関係する人々を芋お、圌らが自然蚀語を䜿っお自分の考えを衚珟する方法を芋お、それがいかに玔粋な思考に合わないかを芋るこずだけです。 それは䜕ですか、単玔な文「私はうそを぀く」はすでに矛盟しおいたす



䞖界には倚くの自然蚀語がありたすが、数孊の蚀語は1぀だけです。 実際、ロヌマ数字「VII」、アラビア語「7」もちろん、アラビア語ではなくラテン語、バむナリ衚蚘「111」がありたすが、それらはすべお異なる衚珟で同じ考えを意味したす。 7は7であり、どの゚ントリでもプラむムです。 数字の7をその衚蚘ず混同しないでください。



地球倖の接觊の可胜性に぀いお真剣に考えおいるほずんどの人は、遠い星の文明に觊れるず、その䜏民は本質的に私たちず同じ数孊を持぀ず蚀う。 ここでは、「本質的に同じ」ずいう蚀葉が必芁です。たずえば、ナヌクリッドゞオメトリには方向を含めるこずができるため、2぀の䞉角圢が合同たたは反合同になる理由です図を参照。 同様に、PtolemyはAlmagestで倩文孊に぀いお話し、「sin x」ずいう衚蚘を䜿甚したしたが、「2 * sinx / 2」図を参照を䜿甚したす。本質的には、考え方は倉わりたせん。 それらずの接続の仮定から、圌らは䜕らかの圢でマクスりェルの方皋匏を知っおいるレベルに発展するはずであるこずに泚意しおください。 ただし、䞀郚の哲孊者は、別の文明のコミュニケヌションシステムが少なくずも私たちのものず倚少䌌おいるこずを疑うこずさえあるこずに泚意する必芁がありたす。 しかし、垞に雲の䞭をさたよう人は䜕でも想像できたすが、これはほずんど真実に近いこずはほずんどありたせんこの䟋は、宇宙船がthe死しお人々が窒息する数メヌトルの塵の局が月の衚面に存圚する可胜性に぀いおの議論です。



長幎にわたっお、5぀の䞻芁な孊校が開発されおきたした。これらは独自の方法で数孊を定矩し、その定矩は完党ではありたせんでした。



これらの孊校の䞭で最も叀いのはプラトニックです。 おそらく、ほずんどの数孊者がそれに぀いお考えおいないずきに固執するのは圌女の意芋でしょう。 プラトン玀元前427-347幎は、怅子のアむデアはどの怅子よりも珟実的であるず䞻匵したした。 玠材の怅子はすり枛り、剥がれ、厩壊し、迷子になりたす。 完璧な怅子は䞍倉で氞遠です-圌はそう蚀いたした。 したがっお、圌は、アむデアの䞖界は物質的な䞖界よりも珟実的だず䞻匵した。 数孊の定理ずその他の芁玠は、アむデアの䞖界に属したすプラトンが䞻匵したように。 䞊蚘の番号7に加えお、それらは物質䞖界では発生したせん。 抜象番号7を芋たこずも、聞いたこずも、觊れたこずも、詊したこずもありたせん。はい、7頭の銬、7頭の牛、7脚の怅子を芋たした。



プラトンが䜿甚する隠phorは、壁に映る圱を通しおのみ珟実を芋るずいうものでした。 本圓の珟実は芋るこずができず、その圱だけが私たちの感芚に届きたす。 プラトンによるず、私たちの心はこの限界を克服し、真のアむデアに到達するこずです。



そのため、プラトニストの数孊者は、結果を「䜜成」するのではなく、「発芋した」ず蚀う。 私がプラトニストである堎合、゚ラヌを修正するコヌドを「発芋」し、それらを「䜜成」したせんでした。 結果は垞に利甚可胜であり、明らかになるず予想されおいたした。



プラトニズムの問題は、あたりにも信じられないこずであり、数孊の発展を考慮せずに数孊の発展を説明できないこずです。 数孊の基本的な考え方ず定矩は䜕䞖玀にもわたっお埐々に倉化したしたが、これは倉わらないプラトニックな考え方の考え方ず䞀臎しおいたせん。 オむラヌ1703-1783の連続性の抂念は、教えられたものずはたったく異なりたす。 もちろん、その倉化は、私たちが時間の経過ずずもにより詳现にアむデアを「識別」するこずに成功したずいう事実に起因しおいるず蚀えたす。 しかし、平行線の仮定の干枉によっおのみ生じた非ナヌクリッド幟䜕孊を思い出しお、プラトン䞖界に存圚しなければならない他の倚くの朜圚的な幟䜕孊に぀いお考えおみたしょう。 考えられるすべおの数孊的アむデアず、それらから導き出されるすべおの結果は、氞遠にこの䞖界に存圚しなければなりたせん それらはすべおビッグバン以来存圚しおいたはずです



数孊者の2番目の基本的な孊校は圢匏䞻矩者です。 圌らにずっお、数孊は抜象的な文字列のセットで始たる正匏なゲヌムであり、代数で起こるこずず同様に文字列で蚱可された倉換を実行するこずから成りたす。 圢匏䞻矩者にずっお、数孊は蚘号の解釈が蚱可されおいない玔粋に機械的なゲヌムであり、玔粋に人為的なミスを犯すこずはできたせん。 圢匏䞻矩の創蚭者はデビッドヒルバヌトです。 数孊ぞのこのアプロヌチは、人工知胜の分野で働く人々の間で人気がありたす。なぜなら、そのような操䜜は基本的に機械が行うこずだからです。



画像



図 1数孊の理解における可胜な違い



画像



図 2任意の䞉角圢の二等蟺蚌明



叀兞的なナヌクリッド幟䜕孊を䜿甚した䞉角圢の二等蟺であるずいう䞭䞖の終わりからの有名な蚌拠がありたす初めお発芋された堎所は知りたせんでしたが。



䞉角圢のABCから始めたしょう図を参照。 点Bから二等分線を描き、点Dから高さを描きたすAC䞭点。 これらの線は点Eで亀差したす。それからABずBCぞの垂線を䞋げたす。 䞊の2぀の䞉角圢は2぀の角ずそれらの間の共通蟺で等しく、䞋の2぀は等しい脚で等しくなりたす。 その埌、残りの䞉角圢も2぀の偎面ずそれらの間の角床が等しくなりたす。 このすべおから、AB = BCであり、元の䞉角圢は二等蟺です。 明らかに、定理の蚌明は誀っおいたすが、叀兞的なナヌクリッド幟䜕孊のスタむルに察応しおいるため、最初は䜕らかの゚ラヌがありたす。 メタ数孊的な掚論の助けを借りお、数孊的な蚈算が誀った結論に導いたずいう結論に達したこずに泚意しおください



誀った結論および他の考えられる誀りの原因を瀺すために、ヒルベルトは、ナヌクリッドが圌の著䜜で説明しなかったこず-2点英語間の距離ず亀差点の䜍眮の抂念を研究したした。 これにより、ヒルベルトは、図に瀺すように、瀺された線の亀点が䞉角圢の内偎ではなく、䞉角圢の倖偎にあるこずを蚌明できたした。 その過皋で、圌はナヌクリッドが説明したよりも倚くの仮説を導入したした



私が数孊の倧孊院生になったのは、それが私の泚目を集めたずきでした。 このトピックに぀いお少し読んで、よく考えたした。 私の知る限り、ナヌクリッドには玄467の定理がありたすが、ヒルベルトが圌の仮定を远加した埌、それらのいずれも停になりたせんでした。 しかし、新しい仮定を必芁ずするすべおの定理は、ナヌクリッドによっお厳密に蚌明するこずはできたせんでした このような定理に基づいおそれらに䟝存した各定理も、ナヌクリッドによっお蚌明されおいたせん。 しかし、拡匵システムでの結果は、ナヌクリッドの予想ず同じたたでした。 ナヌクリッドが、圌の定理の重芁な郚分を蚌明しなかったにもかかわらず、どうしお間違えられなかったのでしょうか 頑匵っお ほずんどない



ヒルベルトがナヌクリッドの定理が「正しい」こずを「知っお」おり、定理ず䞀臎するように远加の仮定を遞択したずいう事実のために、単䞀の定理が反論されないこずがすぐに明らかになりたした。 しかし、その埌、ナヌクリッドが同じ立堎にあるこずに気付きたした。圌はピタゎラスの定理を他の倚くの人ず同様に真実であるず考え、最終的に圌に知られおいる結果を䞎える仮説の䜓系を芋぀けなければなりたせんでした。 ナヌクリッドは、通垞述べられおいるように、仮定を定めず、それらから結論を匕き出した。 圌は「既知の」結果から必芁な仮定ぞの道を開いた



ヒルベルトの声明の1぀を蚀い換えるず、 「厳しくなるず意味が消えたす。 」



フォヌマル䞻矩者は、数孊には「意味」がないず䞻匵しおいるが、そうであれば、なぜ瀟䌚は数孊ず数孊者を支揎すべきなのか なぜ数孊がそんなに䟿利だったのですか 数孊がどこでも意味をなさない堎合、その仮定ず定矩が時間ずずもに倉化するのはなぜですか 圢匏䞻矩者は、数孊がチェス盀䞊で駒を動かすようなアむドルゲヌム以䞊のものである理由を説明するこずはできたせん。



論理䞻矩の孊校は圢匏䞻矩ず密接に関連しおおり、その支持者はすべおの数孊を論理のセクションに還元しようずしたした。 圌らは、他の倚くの人ず同じように、圌らの仕事を果たすこずができたせんでした-そしお圌らにずっおは、圌らは論理孊者であるため、他の人よりも苊痛です 3巻のPrincipia MathematicaであるRussellずWhiteheadによる有名な詊みは、圌らの研究のかなりの郚分が有効であるずいう事実にもかかわらず、䞀般に攟棄されたした。 ラッセルの有名な匕甚は次のずおりです。



「玔粋な数孊は完党に仮定から成り立っおいたす。぀たり、ある文が真である堎合、特定の堎合には他の文も真になるずいうこずです。 最初のステヌトメントが実際に満たされおいるかどうか、および2番目のステヌトメントがどのような状況に圓おはたるかを議論しないこずが非垞に重芁です。


ここでは、ロゞスティックアプロヌチずフォヌマリストアプロヌチの混合物ずそれらの芋解の玔床を芋るこずができたす。 ロゞスティック孊者は、圌らのアプロヌチが単なるロゞックの緎習ではないこずを人々に玍埗させるこずができたせんでした。 実際、私は断蚀したす。数孊の基瀎ず考えられるものは、実際にはアドオンにすぎたせん。 私が長幎匕甚しおきた簡単な䟋あなたが私のオフィスに来お、コヌシヌの定理が停である、぀たり通垞の前提から成り立たないこずを蚌明するなら、私は間違いなく興味がありたすが、最終的には新しい前提で戻っおくるように頌みたす-私はコヌシヌの定理が「真実」であるこずを「知っおいる」。 したがっお、少なくずも私にずっおは、数孊は前提から䟋倖的に埓わない。 倚くの堎合、「真」ず芋なされる定理からの䞀連の仮定が続きたす。 私は、他の倚くの人ず同様に、圢匏䞻矩者ず論理䞻矩者を団結させたいず思っおいたす。



確かに、圢匏䞻矩者が想像するように、数孊を仮定の定匏化ずそれらからの厳密な挔toに還元するこずはできない。 実際、数孊のほずんどすべおの倧孊院生は、初期の偉倧な数孊者の蚌明を修正しなければならないず感じ、著者が実際に倉曎された定理を蚌明しなかったにもかかわらず、どういうわけか定理はあたり倉わらなかった。 これはめったに蚀及されたせんが数孊の定矩は原則ずしお時間の経過ずずもに埐々に倉化するため、以前の蚌明は定理の同じ条項に適甚できなくなりたす-私たちはその意味をわずかに異なる方法で理解するようになりたした。



4番目の孊校は盎芳䞻矩者であり、厳栌さを無芖しお「厳栌感芚」のゞレンマを明確に解決したす。 絶察的な厳密さが必芁な堎合は、厳しさを増す暙準があるため、「蚌明された」定理は実際には蚌明されおいたせん。 むしろ、次䞖代は結果を埮調敎するこずを䜙儀なくされたす。぀たり、䜕も蚌明されたせん



あなたが知りたいなら、私は郚分的に盎芳䞻矩者です。 コヌシヌの定理の䞊蚘の䟋は、私の立堎を瀺しおいたす。数孊は、私が望むこずをするべきです。 「私たちはマスタヌではなく、数孊の僕である」ず蚀った゚ルミヌト1822-1901ずは異なり、私は時々私たちがマスタヌだず信じがちです。 数孊の仮定は、モヌセがシナむ山から持っおきたタブレットには茉っおいたせんでした。 それらは人々によっお䜜成されたものなので、私たちが奜きなように倉曎できたす。 私の芋解も゚ルミヌトの芋解も絶察に真実ではなく、真実はその䞭間のどこかにありたす。私たちは数孊の達人であり、䜿甚人でもありたす。



蚀語の性質により、む゚ス/ノヌの答えが埗られたす。䜕かがあるか、䜕かがないか、あなたは蚌拠を持っおいるかいないかのどちらかです。 しかし、厳栌さの基準が倉化しおいるこずを認識するず、䞀郚の蚌拠が他の蚌拠よりも説埗力があるこずを認めざるを埗たせん。 確率に関しお0から1のスケヌルで゚ビデンスを評䟡する堎合、それらはすべおこの間隔内にあり、おそらく1-確実性の䞊限に達するこずはありたせん。



最埌の基本的な孊校は構成䞻矩です。 圌の信者は、あなたが話しおいるすべおを構築するための方法を提䟛しなければならないず䞻匵しおいたす。 圌らにずっお、圢匏䞻矩者のアプロヌチは受け入れられたせん。圌らは、仮定のセットが矛盟しおいるず認識されない堎合、圌らが定矩するオブゞェクトが「存圚する」ず信じおいたす。 構成䞻矩的アプロヌチは倚くの問題を匕き起こす可胜性がありたす。 他の4぀の孊校はいずれも数孊の厳密な基瀎を提䟛しおいたせんが、構成䞻矩者の芋解はあたりにも厳栌です。 コンピュヌタ科孊者は、人工知胜を扱う人を陀いお、圌らがそれに぀いおたったく考えおいる堎合、通垞圌ら自身を構成䞻矩者ず芋なしたす。



実際、数倀解析の専門家の䞭には、実数実数のシステムがコンピュヌタヌのビットシヌケンスである、぀たり、実数であるず考えおいる人もいたす。 したがっお、「虚数」の数倀は本圓に虚数であるず䞻匵されおいたす。 しかし、ほずんどのナヌザヌにずっお、数孊は理解する必芁のない単なるツヌルです。



数孊的定理の正しさを蚌明するのず同じ方法で、「プログラムの正しさを蚌明する」べきだず信じる゜フトりェアを扱う人々のグルヌプがいたす。 圌らは2぀の間違いを犯したす



  1. 実際、定理を「蚌明」しおいたせん
  2. 倚くの重芁なプログラミング問題は、蚌明できるほど正確に定匏化するこずはできず、新しいプログラムが問題を特定したす


これは、プログラムの正しさを蚌明するアプロヌチに䟡倀のあるものが䜕もないこずを意味するものではなく、頻繁に起こるように、圌らの䞻匵は倧きく膚らんでいたす。 毎日数孊をしおいるほずんどの科孊者は、自分自身をプラトニックな孊校だず考えおいたす。 しかし、圌らが圌らの仕事が䜕であるかずいう質問に圌らに答えさせるならば、圌らは通垞、数孊は無意味な蚘号を備えたアむドルゲヌムであるず䞻匵しお、圢匏䞻矩に避難したす。 圌らはラッセルの匕甚を信じるふりをしおいたす。



数孊のコヌスからわかるように、哲孊レベルで芋た堎合、実際に䜕をするかはほずんど蚀及されたせん。 教授は数孊の詳现に忙しすぎお、圌らが䜕をしおいるのかを議論するこずすらできたせん。



ただし、ご存知のように、数孊はこの䞖界で非垞に有甚であり、私たちはそれを考えずに䜿甚しおいたす。 これを詳しく芋おみたしょう。 叀代ギリシャ人は数孊が真実であるず信じおいたした。 それに぀いおは事実䞊疑いがありたせんでした。 1 + 1 = 2よりも本圓のこずは䜕でしょうか ただし、゚ラヌ修正コヌドに぀いお説明したずきに、1 + 1 = 0ず蚀ったこずを思い出しおください。 同じ蚘号を䜿甚するこれらの異なる方法必芁に応じお、これら2぀のステヌトメントの単䜍は同じではないず䞻匵できたすは、論理を矛盟させたす。おそらく、初めお、数孊者は最初の非ナヌクリッド幟䜕孊が珟れたずきに他の数孊システムが存圚するかもしれないずいう事実に盎面した。圌らは「ポむント」、「ラむン」、「プレヌン」ず同じ蚀葉を䜿甚したすが、明らかに、それらの意味は異なりたす。これは驚くこずではありたせん。力孊で力を研究したずき、ベクトルにスカラヌ加算が適甚できないこずに気付いたはずです。そしお、物理孊における「仕事」ずいう蚀葉は、私たち

が日垞生掻で通垞意味するのず同じこずを意味するものではありたせん。



䜿甚するこずを遞択する数孊は、スコヌプから来たす。それは普遍的ではなく、「真実」です。次に、さたざたな問題に察しお適切な数孊をどのように遞択する必芁がありたすか数孊蚘号の意味は䜕ですかこの問題を泚意深く調べるず、シンボルの「意味」は、それがどのように䜿甚されおいるか、そしおナヌクリッドおよびあなたが考えたように、ポむント、ラむン、プレヌンを定矩する定矩から生じるこずが瀺唆されたす。珟圚、圌の定矩はあいたいであり、䜕も明確に定矩しおいないこずを理解しおいたす。意味はキャラクタヌ間の関係から来たす。これはむンタプリタ蚀語に䌌おいたす。第4章で説明した抂芁は、呜什の意味が、名前ではなく、文字の凊理方法で呌び出すサブルヌチンに含たれおいたす。文字自䜓はマシン内の単なるビット文字列であり、知らずにそれらがどのように凊理されるかは、それ自䜓には意味がありたせん。



アリス・むン・ワンダヌランドずアリス・スルヌ・ザ・ルッキング・グラスを論理孊に特化した数孊者ドゞ゜ンルむス・キャロルず、これら2冊の本は、意味が䜿甚によっおどのように定矩されるかを明確に瀺しおいたす。そのため、ハンプティダンプティは次のように述べたした。アリスは、蚀葉が文脈に関係なく意味を成し、勝手に䜿甚できないず信じおいたした。



この時点で、シンボルに割り圓おられた意味があるこずは明らかです。私たちはすべお、同矩語が同じオブゞェクトを指すさたざたな自然蚀語に粟通しおいたす。プラトンに戻る;怅子は䜕ですか垞に同じ考えですか、それずもコンテキストに䟝存したすかピクニックでは、玉石は怅子かもしれたせんが、誰かが玉石を寝宀の怅子ずしお䜿うずは思わないでしょう。たた、蟞曞は埪環的であるこずも理解しおいたす。最初の単語は他の単語で定矩する必芁がありたす。単語を䜿甚しない初期定矩はありたせん。



この結果、あなたは疑問に思うかもしれたせん子䟛はどのように蚀語を孊ぶのですか第䞀蚀語を知っお第二蚀語を孊ぶこずは䞀぀のこずですが、第䞀蚀語を孊ぶこずは別のこずです。意味がどこから生じるべきかが明確ではないからです。少しだけ名詞や動詞のゞェスチャヌを䜿甚できたすが、倚くの単語はそれほど明確ではありたせん。銬を指しお「銬」ず蚀うずき、この特定の銬、すべおの銬、四足動物、哺乳類、生物の名前を意味しおいたすかそれずも、この銬の色に぀いおですか特定の状況でどのような意味を意味するのか、他の人はどのように知る必芁がありたすか実際、子䟛はどのようにしお別の銬ずより抜象的なクラスの銬を区別するこずを孊ぶのですか



どうやら、先ほど蚀ったように、蚀葉を䜿うず意味が生たれたす。そうでなければ、定矩されおいたせん。数幎前、有名な蟞曞の著者は、単語の䜿甚を厳密に芏定できないこずを認めたした。圌らは蚀葉がどのように䜿甚されおいるかだけを蚀うこずができたす。蟞曞の䜜者は「芏範的」ではなく「説明的」でなければなりたせんでした。各単語に絶察的で正しい意味がないずいう事実は倚くの人を怒らせたした。たずえば、本のコラムニストであるニュヌペヌカヌず探偵小説のヒヌロヌであるネロ・りルフは、新しい蟞曞に激怒したした。数孊に固有の「真実」党䜓がmi気楌であるこずがわかりたした。これらはすべおarbitrary意的な人間の合意です。



しかし今、私たちは数孊の䞍合理な高効率に盎面しおいたす。数孊のシンボルには「真実」も「意味」もないずいうこずを述べたしたが、数孊が䜿甚されおおり、私たちの瀟䌚、特に科孊ず工孊においおたすたす䞭心的な郚分であるずいう単玔な事実を説明するこずは難しいず思いたす。



数孊の絶察的で明確な真実から、蚘号に意味が芋えない状態になりたしたが、それでもそれを䜿甚しおいたす問題を数孊的圢匏に倉換し、結果を解釈するずき、シンボルで意味がありたす。したがっお、倚くの異なる状況で同じ匏を䜿甚できたす。数孊は、玔粋な思考の䞀皮の普遍的な粟神ツヌルです。



アむンシュタむンが説明する生呜の基本的なパラドックスは、䞖界が論理的に構築されおいるように芋えるこずです。これが最も驚くべきこずです-䞖界は論理的および数孊的に知るこずができたす。ただし、最近の基瀎物理孊の研究ではこれが疑わしいこずを譊告しなければなりたせん。これに぀いおは次の章で説明したす。



アむンシュタむンの発蚀が真であるず仮定するず、数孊を適甚するタスクは、圢匏的な数孊的構造ず「珟実」の察応する郚分ずの間の類䌌性の認識に限定されたす。たずえば、゚ラヌ修正コヌドの堎合、コヌド文字を遞択する必芁がありたした。ベヌス文字ずしお0ず1を䜿甚しなければならなかった堎合゚ラヌは、誀った䜍眮を瀺す1぀の1を持぀0の文字列でした、ベヌスずしお1 + 1 = 0を遞択した堎合にのみ、行を「スタック」できたす算術挔算同じ䜍眮での2぀の連続した゚ラヌ-゚ラヌがない堎合ず同じです。問題の郚分ず数孊的構造の類䌌点を芋たはずでしたが、最初はほずんど理解できたせんでした。



したがっお、数孊の有効性の䞀郚は、類掚の識別に由来し、類掚が広倧か぀正確である堎合に限り、数孊を䜿甚しお、机の蚘号を䜿甚しお珟実の䞖界で䜕が起こるかを予枬できたす。



あなたは、数孊モデルず珟実の郚分の間の倚くのそのような察応を芋぀けるように蚓緎されおいたす。しかし、私はそれらがすべおの将来の発展をカバヌするこずを疑いたす。むしろ、自分自身をよりよく理解するこずを含め、たすたす必芁になったずきに、他の倚くの数孊モデルが必芁になりたす。



私は、過去に数孊の単玔な応甚、぀たり数孊的構造ずモデル化された実䜓ずの密接な察応がある状況を発芋したずたったく蚌拠なしで掚枬したす。将来的には、それらの間の最悪の類掚に満足する必芁がありたす。私の意芋では、時間の経過ずずもに、パヌツ間の「盞乗効果」により、党䜓がパヌツの合蚈よりも倧きくなる数孊モデルが必芁になりたす。あなたは、あなたがいる組織が倚くの個人よりも倚いずいう事実に粟通しおいたす-より倚くの、制埡の手段、習慣、習慣、歎史、そしお特定の人々ず䞍可分なものがはるかにありたす。しかし、この章の冒頭で述べたように、数孊が玔粋な思考であれば、将来同様の問題を解決するための助けになるはずです。蚀い換えれば、特にシンボルを䜿甚しおいる堎合、あなたがどんなに玔粋だず思っおも、それは数孊です



さらに挑発的なメモで終わりたいず思いたす。叀代ギリシア人から始たる倚くの人々は、あたかもそれが真実であるかのように振る舞いたすが、すべおのものは、それが䜕であれ蚀葉で衚珟できるこずは明らかではありたせん。あなたは、神、真実、矎、正矩など、あなたが望むものを議論するこずができたす。しかし、音楜コンサヌトを想像するず、聎衆に䌝えられるものを蚀葉で衚珟できないこずが明らかになりたす-可胜であれば、䜜曲家ずミュヌゞシャンはそれらを䜿甚できたす。音楜批評ずは異なり、音楜によっお䌝えられるものを明らかに蚀葉に埋め蟌むこずはできたせん。同じですが、皋床は䜎いですが、塗装にも圓おはたりたす。詩は興味深い堎合です。蚀葉はその䞭に䜿甚されたすが、本圓の意味はそこにありたせん



同様に、叀代ギリシャの3぀の柱である真実、矎、正矩は、蚀葉で衚珟するこずはできたせん。ハンムラビ玀元前1955-1913の時代以来、正矩を蚀葉で衚珟しようずする詊みは法埋を生み出し、それは通垞あなたの正矩の理解ず䞀臎したせん。聖曞には、「真実ずは䜕か」ずいう有名な質問がありたす。そしお、矎人コンテストの審査員のほかに、誰が「矎」を定矩するこずを敢えおしたすか



ゲヌデルの䞍完党性定理の制限に違反しおいるこずがわかりたす。これは、簡単な蚀葉で、かなり完党な離散蚘号のシステムでは定理は通垞、このように提瀺されるずいう事実にもかかわらず、数孊には適甚されたせん、このシステムで蚌明できない7このこずから、そのようなステヌトメントを正圓化するために新しい仮定が远加されるず、拡匵システムで蚌明できない新しいものが衚瀺されたす。これは、個別の文字システムの機胜に察する明確な制限を瀺しおいたす。



䞀芋したずころ、蚀語は個別の文字のシステムです。よく芋るず、ゲヌデルの定理は意味が倉わらない特定の文字の集合を想定しおいたすただし、文脈に䟝存する堎合がありたすが、私たちが知っおいるように、蚀葉には倚くの意味ず意味の床合いがありたす。たずえば、「背の高い建物」、「背の高い人」、「背の高い物語」ずいうフレヌズの単語「背の高い」「長い」/「背の高い」/「長い」は、異なる意味を持っおいたす。実際、声のトヌン、眉を䞊げる、りむンク、たたは笑顔でさえ、話された蚀葉の意味を倉えるこずができたす。したがっお、実際に䜿甚する圢匏の蚀語は、ゲヌデルの定理の範囲内に収たりたせん。実際、蚀語にこのような異垞な特性があるのは、䞍完党性定理の制限を回避する必芁があるためかもしれたせん実生掻で。今では、蚀語の進化ず、最も適した蚀語の存続のための闘争でバヌゞョンの1぀を遞択した勢力に぀いおはほずんど知らないため、どのような状況でしか掚枬できたせん。



珟圚、暙準的なコンピュヌタヌは個別の文字を凊理できたすただし、䞀郚のニュヌラルネットワヌクではそうではありたせん。したがっお、凊理できないものがありたす。第19章で述べたように、ニュヌラルネットワヌクの䜿甚可胜な垯域幅が有限であるず仮定するず、コテルニコフの定理は垯域幅ずサンプリング呚波数の等䟡性を䞎えたす。



過去には単玔な問題を解決しおきたしたが、将来的には新しい考え方やアプロヌチを必芁ずする残りの郚分にたすたす盎面するでしょう。問題が消えるこずはありたせん、あなたはそれらを解決する方法を探したす。私はあなたがそれらに察凊するために時々新しい数孊を発明しなければならないだろうず思いたす。あなたが信じられないほど新しい方法で問題を解決するなら、未来はあなたにずっお゚キサむティングです。



, , !



継続するには...



誰が翻蚳を手䌝いたいのか-個人のメヌルたたはメヌルに蚘入しおくださいmagisterludi2016@yandex.ru



本の内容ず翻蚳された章
  1. 科孊ず工孊を行う技術の玹介孊ぶこずを孊ぶ1995幎3月28日 準備䞭
  2. «Foundations of the Digital (Discrete) Revolution» (March 30, 1995) 2. ()
  3. コンピュヌタヌの歎史-ハヌドりェア1995幎3月31日 䜜業䞭
  4. コンピュヌタヌの歎史-゜フトりェア1995幎4月4日 䜜業䞭
  5. コンピュヌタヌの歎史-アプリケヌション1995幎4月6日 䜜業䞭
  6. 「人工知胜-パヌトI」1995幎4月7日 䜜業䞭
  7. «Artificial Intelligence — Part II» (April 11, 1995) ( )
  8. 人工知胜III1995幎4月13日 䜜業䞭
  9. 「N次元空間」1995幎4月14日 䜜業䞭
  10. «Coding Theory — The Representation of Information, Part I» (April 18, 1995) ( )
  11. 「コヌディング理論-情報の衚珟、パヌトII」1995幎4月20日
  12. «Error-Correcting Codes» (April 21, 1995) ( )
  13. 情報理論1995幎4月25日 䜜成䞭
  14. デゞタルフィルタヌ、パヌトI1995幎4月27日
  15. デゞタルフィルタヌ、パヌトII1995幎4月28日
  16. デゞタルフィルタヌ、パヌトIII1995幎5月2日
  17. デゞタルフィルタヌ、パヌトIV1995幎5月4日
  18. 「シミュレヌション、パヌトI」1995幎5月5日 䜜業䞭
  19. 「シミュレヌション、パヌトII」1995幎5月9日
  20. 「シミュレヌション、パヌトIII」1995幎5月11日
  21. 光ファむバヌ1995幎5月12日
  22. コンピュヌタヌ支揎指導1995幎5月16日 䜜業䞭
  23. 数孊1995幎5月18日 䜜業䞭
  24. 量子力孊1995幎5月19日 第24章量子力孊
  25. 創造性1995幎5月23日。 翻蚳 第25章。創造性
  26. 専門家1995幎5月25日 䜜業䞭
  27. 「信頌できないデヌタ」1995幎5月26日
  28. «Systems Engineering» (May 30, 1995) 28.
  29. 「枬定するものを取埗する」1995幎6月1日 䜜業䞭
  30. 「私たちが知っおいるこずをどうやっお知るか」1995幎6月2日
  31. ハミング、「あなたずあなたの研究」1995幎6月6日。 翻蚳あなたずあなたの仕事




— magisterludi2016@yandex.ru






All Articles