れロで割るこずが暙準です。 パヌト2

パヌト1.実際、すべおがすでに私たちに分割されおいたす

パヌト2.真実は近くにある



最埌の郚分では、代数を拡匵し、算術的にれロで陀算するこずができたした。 おたけずしお、この方法だけではありたせんでした。 しかし、これらすべおの代数は、 「内郚には䜕があるのか​​、なぜ私たちに瀺されないのか」ずいう質問には答えたせんでした。



叀代人は結び目を線んだが 、そのような疑問は生じなかった 。 さお、あなたがどこにいおも、「䜕ずか、0でない」。 したがっお、答えは結節ず珟圚の間にありたす。 数孊では、すべおが厳密で䞀貫しおいるため、答えを倱うこずはありたせん。









できる限り答えに近づけるよう努力したす。 この郚分は、ほが完党に算術の哲孊に専念しおいたす。 ほずんどの堎合、資料の䞀郚は簡単です。 しかし、私たちはここで算数の孊校のコヌスを繰り返しおいたせん。



材料は、算術の構造を匷調するように蚭蚈されおいたす。 私たちはさたざたな偎面からそれを噛み、レむダヌをはがしたす。 目暙は、䜕が嘘であるかを理解するこずです。



2.真実は近くのどこかにある



2.1なぜわざわざ



再び荒野に急ぐために、この質問が定期的に発生する理由ず、答えを探す䟡倀があるものを理解したいず思いたす。



私たちが最初に蚀われたずきの孊幎を思い出しおみたしょう。「れロで割るこずはできたせん。 「それじゃない」 しかし、数孊の前は、すべおが論理的で䞀貫性がありたした。 スむカが積み重ねられ、メロンが差し匕かれ、リンゎが転がされたした。 どこからずもなく、数孊の研究のたさに始たりに、最初の犁断の果実が珟れたした。



叀兞的な回答セットはむラむラするだけです
  • 「できたせん」たたは「電卓を確認しおください」-コメントはありたせん。 特別な教育技術。



  • 「リンゎは2぀に分けるこずができたす。 あなたず友人のコリダ。 ぀できたす。 そしお、人をれロで割るず、䜕回カットする必芁がありたすか」-はい、理解できたせん。 そしお、質問に答えるのは無䜜法です。 先生は䜕のために 圌らは、数孊は「矎しい」、数孊は「女王」であり、ここでそのような恥ずかしさを蚀いたす。



  • 「2∙0 = 0および3∙0 = 0、䞡方の等匏をれロで陀算するず、2 = 0/0および3 = 0/0であるこずがわかりたす。 それは2 = 3か、それずも䜕を意味するのでしょうか」-もちろん、䟋は鮮明です。 しかし、そのような䟋は質問に答えを䞎えないだけでなく、科孊ぞの恐怖をsoきたす。 他のものを分割たたは乗算できない堎合はどうなりたすか。 私がすべるずどうなりたすか。 それずも、先生自身がそれを理解しなかったのでしょうか



  • 「理解するには、倚くの知識が必芁です。 圌らはこれを倧孊で勉匷したすが、党員ではありたせん」-ええ、はい、でも分割できたせんか これたで、因果関係は壊れおおらず、単玔なものから耇雑なものぞず倉化したした。 しかし、れロは数字ずしおの数字です。 陀算は、操䜜ずしおの操䜜です。 突然の犁止


しかし、教育システムは誰もspareしみたせん 蚌明 。 さらに進んで新しい知識を孊ぶ以倖に方法はありたせん。 「知識の飛躍」は、たるで数孊の進化の千幎を逃したかのように頭の䞭で起こりたす。 そしお、これはほんの始たりに過ぎたせん。







「 ...過床の急ぎを瀺す必芁はありたせん 。 認知行為の結果ずしお圌に起こる内なる革呜に慣れる時間を孊生に䞎える必芁がありたす 」 -F .クラむン、「高等教育の芳点からの初等数孊」


高校では、円ず䞉角圢の匏、刀別匏、䞉角関数のアむデンティティなどがどこからずもなく珟れたす。 それらを結合するものは䜕ですか それらのすべおは䞊から来た、それはどこで完党に䞍明です。 あなたはそれらを䜿甚する必芁があり、最悪の堎合、蚘憶したす。



倧孊に入孊するず、倧半は、行方䞍明の資料に戻る代わりに、専門性に偏った「塔」を研究したす。 䞊から来た数匏の量はもう気にしたせん。



はい、教育システムは理解できたす。 スペシャリストは、出展者が蚈算のどこから来たかを知っおいるずいう事実ではなく、結果に察しお支払われたす。



その結果、数孊者のように結論に達したせん。 「知識の飛躍」の瞬間、぀たり論理的連鎖の䞀郚を萜ずすず、聖sa匏が行われたす。 私たちは圌らが私たちに語ったこずを信じたす。 教科曞は経兞に倉わりたす









れロによる陀算の犁止は、数孊の最初で最も邪魔な犁止です。 したがっお、それは䞀生蚘憶されたす。 これは、「暗闇に芆われた謎」のように、すべおの数孊にその痕跡を残す教育孊的問題でもありたす。 これず比范しお、これは耇雑な問題であり、欠萜しおいる論理チェヌンの倧郚分を芋぀けるこずは難しくありたせん。



聖文を教科曞に戻すこずができたす。 犁止の理由は厳密に定矩する必芁がありたす。 それを明確に提瀺する教育者の仕事。 科孊は疑いをsoくべきではありたせん。



2.2陀算ずは



キャプテン゚ビデンスは、れロで陀算するためには、陀算ずは䜕であるかを知る必芁があるず述べおいたす。 悲しいこずに、Googleは「れロによる陀算の魔法」の支持者の倚くは、この地獄の最初の円さえも通過しないこずを瀺唆しおいたす。 ぀たり、圌らが䜕をし、䜕をするのかを理解するこずです。 りィキペディアを芋おみたしょう

陀算陀算は、4぀の最も単玔な算術挔算の1぀であり、乗算の反察です。 陀算は、あるものが別のものに含たれる回数をカりントする操䜜です。
これから䜕が続きたす









ここで芋぀けた最も有甚なものは、オペレヌション間の接続であるようです。 陀算は3番目の抜出、乗算ず枛算-2番目の加算、1番目の加算-のワむンであるず蚀えたす。 おそらくこの理由で、れロで䜜業しおいるずきに郚門が倱敗し始めたした。



2.3生成操䜜



したがっお、 加算挔算のみに、2぀の初期匕数項から挔算の結果合蚈を決定する方法に関するルヌルが含たれおいたす。 他のすべおの算術挔算は、このルヌル䞀臎する数倀を䜿甚したすが、さらに「远加条件」を課したす。









「远加条件」に応じお、算術挔算は盎接および逆に分割できたす。

  1. 盎接操䜜これは加算、乗算、环乗です。 远加によっおこれらの操䜜を衚珟するず、すべおの甚語が既知のたたになりたす。 いずれかの操䜜の結果を刀断するこずは難しくありたせん。









  2. 逆挔算枛算、陀算、ルヌトの取埗察数。 これらの操䜜は、察応する盎接操䜜を基本ずし、それを「反転」したす。 したがっお、加算によっお挔算を衚珟する堎合、少なくずも1぀の甚語は䞍明です。 この甚語は、操䜜の結果です。 量は通垞知られおいたす。









    䞀般的な堎合、操䜜の結果を決定するこずは簡単な䜜業ではありたせん。









すべおの盎接操䜜には1぀のプロパティがありたす。 圌らは閉じおいたす。 ぀たり、結果のタむプは入力数のタむプによっお完党に決定されたす2぀の敎数の積から小数の結果を取埗するこずは䞍可胜です。



逆挔算は郚分的にしか閉じられおいたせん敎数の根の倀は敎数である堎合ずそうでない堎合がありたす。 結果を遞択できない堎合、操䜜は定矩されたせん 。 この問題は長い間、簡単な方法で解決されおいたす。操䜜ず数倀の結果の蚘録を新しいタむプの数倀ず考えおください。 。



したがっお、逆挔算ず新しいタむプの数倀を「生成」するず蚀えたす。



数孊蚀語
䞀般的な堎合、「逆挔算」ずいう甚語の䜿甚は、挔算が新しいタむプの数倀を生成する胜力を瀺すために受け入れられたせん。 たずえば、「远加条件」は次のこずができたす。

  • 操䜜の結果を1぀以䞊の甚語で蚘述したす䞊蚘の䟋に瀺すように。
  • 操䜜に参加した甚語の数小数、ルヌトを䜿甚した無理数の質問に察する答えずしお、操䜜の結果を決定したす。
  • 無限数の項の合蚈ずしお挔算の結果を決定したす。 さらに、すべおの甚語が知られおいたすPi番号ずオむラヌ番号。
陀算は生成操䜜の1぀です。 おそらく、出生過皋で䜕かがおかしくなり、新生児が負傷したした。 この質問に答えるには、郚門がどこから来たのか、れロがどこから来たのかを理解する必芁がありたす。



2.4算術の進化



算術挔算のアむデアず、それによっお生成される数倀のタむプを構造化しおみたしょう。 わかりやすくするために、算術の進化がどのように進むかを瀺すオプションの1぀を瀺したす。



2.4.1範囲



私たちは掞窟の䞭にいたす。 数える胜力があれば、誰も生たれたせんでした。 しかし、「熟考」の過皋で、「量」の抂念が䜕であるかに぀いお理解が生たれたした。 ぀たり、2぀のマンモスず2぀のリンゎには共通点があり、指を曲げるこずでそれを衚珟できるこずがわかっおいたす。 したがっお、この段階では自然数しか知りたせん。









倚くの自然数には、明確にするためにアスタリスク「*」が付いおいたす。 以䞋、「れロ」の抂念がないこずを匷調したす。



自然数のシヌケンスにはいく぀かの正匏な定矩がありたす。 私たちは、 ペアノの公理を基瀎ずしおいたす。 これらの定矩が叀代人によっお蚘述されなかったこずは泚目に倀したす。 それらは19䞖玀にのみ登堎し、その埌改良手順を経たした最初のバヌゞョンでは9でしたが、珟圚の圢匏ではすでに5がありたす。



私たちのタスクの枠組みにおける正匏な定矩ずその本質を考慮しおください䌝統的な蚀葉による説明はWikipediaにありたす 





  1. 「1」ずいう数字があり、それは圓然です。





  2. フォロヌアップ関数 Sxが導入されたした。 すべおの自然匕数に぀いお、次の自然数を返したす。 最初の近䌌非垞に倧たかなでは、これはSx= x + 1、たずえば2 = S1および3 = SS1です。





  3. 生成された番号のシヌケンスのグロヌバルルヌプバックに察する明瀺的な犁止が導入されたした。 数倀を生成するこずで、生成を開始した芁玠、぀たり1぀を取埗できたせん。





  4. follow関数の匕数が異なるず、結果も異なりたす。 したがっお、ロヌカルルヌプの明瀺的な犁止が導入されおいたす。 ぀たり、follow関数は、既に生成された数倀を再生成するべきではありたせん。





  5. 数孊的垰玍法により、シヌケンス芁玠のレベルからシヌケンス党䜓のレベルたで䞊昇させるこずができたす。 ある文 「P」が単䞀性および隣接する芁玠の各ペアに圓おはたる堎合、シヌケンスのすべおの芁玠に圓おはたりたす。



    たずえば。 数字2ず3の堎合、それらの間に1぀の䞭間芁玠2.5があり、3ず4の堎合は3.5であるなどです。 隣接する自然数の間には䞭間芁玠があり、それが唯䞀の芁玠であるず結論付けたす。


これらの公理からどのような結論を匕き出すこずができたすか 任意の圢匏グロヌバルたたはロヌカルでの呌び出しの犁止が導入されおいたす。 呌び出し音の犁止には、垞に次の芁玠の存圚が必芁です。 したがっお、「量」の抂念に基づいお、 「無限」の数孊的抂念が衚瀺されたす。 「無限」の抂念は、「量」の抂念なしでは存圚できたせん。



数孊蚀語
ピアノの公理の「開始芁玠」はほずんどれロです。 これを実行できない理由は、操䜜「枛算」の説明で開瀺されたすすぐに。



follow関数は、単語の文字通りの意味で加算挔算を䜿甚したせん。 これは、自然数のセットを構築し、加算挔算を正匏に定矩するために䜿甚される基本的な関数です。



぀たり、数倀ず算術挔算の䞡方が、follow関数を䜿甚しお決定されたす。



フォロヌアップ関数は、アルゎリズムの理論で考慮されるプリミティブな再垰関数のクラスに属したす 。 ご存知のように、 再垰の抂念には、その有限性 終端分岐の到達可胜性の芁件は含たれおいたせん。぀たり、「無限」の抂念も暗黙的に定矩しおいたす。


2.4.2远加



私たちの進化の䞭で起きた最初の䜜戊。 指党䜓のように曲げないでください、結果は党䜓になりたす。 リヌダヌの指の合蚈が他のすべおの指よりわずかに倧きい堎合を陀きたす。 十分な指がない堎合は、い぀でも掞窟内の科孊助手を呌び出しお、攟電グリッドを拡倧できたす。











2.4.2枛算



朚曜日に、ハンタヌは12匹のマンモスを撃ちたした。 金曜日に5個食べたした。 マンモスは䜕匹残っおいたすか











この問題は、指の延長を導入するこずで十分に解決されたす。 しかし、このアプロヌチは垞に機胜するずは限りたせん。 たずえば、週末の埋蔵量を芋積もるために、ハンタヌは残りの郚分で7本の指を曲げ、土曜日1日あたりの消費率で5本の指を䌞ばし、日曜日にそれを開くように「詊行」したす。











この時点で、「try」ず「catch」の間に「ArithmeticException」が発生したす。 結果は定矩されおいたせん 。 私たちの操䜜は、枛少が控陀額よりも倧きい堎合にのみ定矩されたす。









ただし、枛算の定矩には制限がありたせん。 芁件「a> b」を取り陀くために、 「順列芏則」を導入したす。 ぀たり、デクリメントされ枛算されたものを亀換したしょう。 ただし、IDがtrueのたたであるためには、マむナス蚘号などのマヌカヌで結果をマヌクする必芁がありたす。 数孊のすべおの皮類のマヌカヌは䞀般的ですたずえば、 











「順列」の補助挔算により、最初の抜象化-「 負の数 」に到達したした 。 自然数のマむナス蚘号の圢のマヌクは、遅延枛算の蚘号にすぎたせんただし、これはこれたでのずころです。









枛少ず枛算が等しい堎合、未定矩のケヌスは1぀だけです。 定矩したい堎合は、「䜕もない」ずいう抂念ずは䜕かずいう質問に答える必芁がありたす。 これらすべおの難しさを理由に、蚘号「0」で「なし」を瀺したす埌で詳しく調べたす。









「れロを远加/削陀するためのルヌル」の圢で決定を修正するこずは残っおいたす。 それらは、いく぀かの単玔な順列の埌のれロの定矩から続きたす。









導入されたルヌルがどの皋床機胜するかを芋おみたしょう。 方皋匏を解くず、2぀の既知の数倀から垞に未知の3分の1を芋぀けるこずができたす。 方皋匏のどの郚分にあるかは問題ではなく、解は垞に䞀意です。









順列の結果ずしお負の数が衚瀺されたしたが、れロは「無」を埋めたした。 負の数ずれロはさたざたな方法で生たれたす。 さらに、進化の2぀の分岐を怜蚎したす。れロのないすべおの数字ずれロの別々の数字です。



2.4.3乗算



乗算は定矩䞊、加算の省略衚蚘です。 自然数を掛けるず、結果は自然になりたす。 進化のこの段階で、定矩の有甚性は終わりたす。









定矩の負の数に぀いおは、それらを掛ける方法に぀いおの蚀葉はありたせん。 これらの芏則は適甚された問題を解決する過皋で埐々に圢成されたした 。 珟代の解釈では、それらは「蚘号の芏則」の圢での乗算ぞの远加ずしお知られおいたす。 それらは非垞によく定矩されおいるので、それらをれロ以倖の敎数に適甚するず、操䜜は閉じたたたになりたす。









れロの堎合、状況は根本的に異なりたす。 別のルヌル、「れロを乗算するルヌル」が導入されたす任意の数にれロを乗算するずれロになりたす。 しかし、この芏則は新しいように思えたす。 他のルヌルを導入するこずはできたせん。 乗算の定矩は、加算ず厳密に関連しおいたす。 加算を介しお乗算を開き、「れロの加算/枛算のルヌル」をそれぞれ䜿甚したす。れロ以倖は䜕も取埗できたせん。









数孊蚀語
算術代数ず䞀般代数の加算ず乗算の操䜜を比范するず、1぀の重倧な違いに気付くこずができたす。 算術では、これらの操䜜は定矩により関連付けられたす。 分配法はこれらの定矩の結果です。 䞀般的な代数では、逆に、操䜜は互いに独立しお蚘述され、すでにフィヌルドの定矩より正確にはリングで定矩されおおり、分垃法則によっお接続されおいたす。 その結果

  • フィヌルド定矩では、逆芁玠の芁件がありたす。 さらに、乗算ず加算に぀いおは、芁件は察称的に説明されおいたせん。 ニュヌトラル加算芁玠に逆乗算芁玠が存圚しないこずは蚱可されおいたすが、逆はできたせん。

  • 車茪の蚘述に察称性を持たせるために、私は通垞の分垃法則を攟棄しなければならず、したがっおフィヌルドを操䜜するこずはできたせんでした。
普遍性の冠である「耳の埌ろ」のフィヌルドは、初等算術に匕き寄せられたす。 しかし、このサポヌトを取り陀くために操䜜の芁件を察称的に蚘述するために分垃法の定矩を拡匵する必芁がありたすもちろんリングから開始。 別の代数システムが普遍性の冠になる可胜性があるず信じる理由があり、その分野は特別なケヌスであるこずが刀明したす。


2.4.4郹門



陀算は乗算の逆です。 正の数ず負の数を持぀方皋匏では、耇数の数を眮き換えるこずが可胜になりたす。









その結果、操䜜は「有理数」を生成したす。









それらを算術に入力するために、セットには「通垞の分数を䜿甚した挔算の芏則」が含たれおいたす 。 幞いなこずに、これらの芏則は、以前に玹介した「眲名芏則」ず共存したす。 その結果、方皋匏は、任意の配眮に察しお2぀の既知の数によっお未知数を決定する機胜を保持したす。









れロの堎合、有理数で乗算できたす。 以䞊で、調和は終わりたした 任意の数を持぀3皮類の方皋匏のうち2぀だけが解を芋぀けるこずができたす。















第䞀に、解答が芋぀からないほど䞍快な数の方皋匏を䜜成するこずが可胜になりたした。 解決策は「䞍可胜」です。









第二に、無限の数の解がある方皋匏を䜜るこずが可胜になりたした。 それらのいずれかを遞択するこずもできたせん。 決定は「曖昧」です。









掚枬するのは簡単です。れロによる陀算の問題の根源は、れロの乗算の「䞍可胜性」ず「あいたいさ」にありたす。 乗算は、「れロの加算/枛算のルヌル」を順に䌝えたす。 実際、加算のみを䜿甚しお、同じプロパティを持぀方皋匏を指定できたす。









䞡方の匏で、任意の数たたはれロを取埗するために远加する必芁があるれロの数を決定する必芁がありたす。

郚門は質的に新しいものをもたらしたせんでした。 具䜓的な゚ンティティぞの加算の「䞍可胜性」ず「曖昧さ」が 、それぞれ1/0ず0/0の圢匏の䞍確実性で倉化したした。









最初の容疑者ずしおの陀算は、れロで陀算するこずが䞍可胜であるずいう事実のせいではないこずがわかりたす。









「れロ」の抂念が存圚しない限り、环乗および根の取埗察数を含むすべおの挔算は十分に閉じられ真理は耇玠数に基づく、算術はうたく機胜したす。 しかし、1぀の「しかし」がありたす。そのような算術の構成では、枛算挔算は完党には決定されたせん。



れロを導入するず、加算ず枛算がうたく機胜したす。 他の操䜜では、束葉杖をむンストヌルする可胜性が高くなりたす 等しい数ではなく。



2.5れロずは䜕ですか



したがっお、陀算操䜜はれロによる陀算の犁止のせいではありたせんでした。 れロに぀いお知っおいるこずすべおをたずめおみたしょう。

  1. れロの必芁性は、枛算挔算の決定に珟れたした。



  2. 枛算の䞍確実性のほずんどを解決するために、「順列芏則」が導入されたした。 数字の前のマむナス蚘号は、実際には「遅延枛算」マヌカヌです。 「順列芏則」がマスタヌしなかったすべおは、れロを閉じたした。 本質的に、 れロは「無」の抂念を瀺すために導入されたした 。

    蚘事の前の郚分数盎線の射圱拡匵で、「倩井から」笊号なしの無限倧を導入したした。 れロ、私たちが理解しおいないすべおのものに察する同様の「ギャグ」。 結果は、新しい䞍確実性の圢で、非垞に予枬可胜です。



  3. 「無」の抂念は、「数量」の抂念 自然数ず加算を決定するための基瀎ずは関係ありたせん 。 これらの抂念は単独で存圚し、たずえば「5぀のリンゎ」や「真空」など、完党に独立しお「熟考」できたす。 ぀たり、「無」の抂念は「数量」の抂念ずは関係がないため、本質的にれロも自然数ずは関係ありたせん。 枛算はこの抂念を䜿甚したすが、それを匕き起こしたせん。



    結果の挔算が存圚しないため、れロは他のすべおの数倀ず定性的に区別されたす。



    私たちが考慮しおいない数字の皮類ず操䜜の関係を明確にするために、可胜な限り簡朔に進化のテヌマを続けたす。 私たちは郚門に萜ち着きたした。 耇玠数ず無理数の䞀郚は、負の数の根察数をずる操䜜によっお生成されたす。 他の非合理的なものPi数ずオむラヌ数は、 無限の和ず無限の乗算の導入により衚瀺されたす。 . , .



  4. - “” “” “” . .



  5. , . , , “ / ” . , , . , .







最埌の段階で、詳现に停止する䟡倀がありたす。絶察れロではないこずを想像しおみたしょう。



マンモスがあるずしたしょう。茞送にはコンテナが必芁です。マンモスをコンテナに入れお匕き抜くず、コンテナは「䜕もない」状態になりたす䞊の写真ず同じように。ただし、2぀のマンモスのパッケヌゞは1぀のマンモスのパッケヌゞずは倚少異なりたす。盗難の堎合、残りのパッケヌゞのサむズに応じお請求する理由がありたす。そのため、ある「䜕もない」から別の「䜕もない」ずいう䞍䞀臎が生じる堎合がありたす。









「䜕もない」が違うのか、「䜕もない」が単䞀の絶察的な本質なのかこれは答えられない質問です。神が存圚するかどうかに぀いおの議論も同様であり、無意味です。この䞖界での答えはわかりたせん。



数孊蚀語
:

  1. . , . , . , :









  2. . . , , . ( ) :

    . . .

    . .



  3. アルゎリズムの理論。算術をさらに詳しく調べるこずができたす。自然数のシヌケンスを構築し、加算挔算を決定するために、プリミティブな再垰関数のクラスが䜿甚されたす。シヌケンス関数 Sxは、ペアノの公理その1぀で䜿甚されたす。それずずもに、れロ関数 Oxが定矩されたす。これは垞にれロを返す関数です。
したがっお、自然数も加算もしたがっお他の挔算も行われない算術挔算の最䞋郚にはれロがありたす。









たあ、算術はれロがいく぀あるべきかずいう質問に答えるこずができたせん。 1぀のれロを䜿甚したす。前半で説明したホむヌルでは、無限の数のれロを䜿甚した算術が䜿甚されたした。しかし、れロの有限数がありたすが、耇数ありたす。



たぶん、そのような算術はうたく䜿われおいたす。JavaScriptで実装された「笊号付きれロ」による算術の最も明るい䟋の1぀。



数孊蚀語
笊号れロは、+ 0および-0ず同じ方法で蚘述されたすが、infinitesimalの蚈算ずは䜕の関係もありたせん。



笊号付きれロの導入は、番号行を拡匵するための別のオプションです。では、䞀般的なトポロゞ非垞に近い同䞀ではないスペヌス「がある2぀の原則に沿っおないハりスドルフ」。
しかし、この算術でさえ䞍確実性を䌎いたす。



JavaScriptの䟋
console.log(+0) => 0 console.log(-0) => -0 console.log(-0 === +0) => true console.log(0-0) => 0 console.log(-0-0) => -0 console.log(0/0) => NaN console.log(-0/0) => NaN console.log(-0/-0) => NaN console.log(Infinity/Infinity) => NaN console.log(-Infinity/Infinity) => NaN console.log(-Infinity/-Infinity) => NaN console.log(Infinity — Infinity) => NaN console.log(Infinity + Infinity) => Infinity
      
      





れロの数が有限である限り、算術の䞍確実性は残るず結論付けるこずができたす。



抂しお、れロの扱い方に関係ありたせん。 単䞀の絶察零床が必芁な堎合でも、数個たたは無限の堎合でも、算術は垞に私たちに適応できたす。











2.6無限は私たちのすべおです



最埌に、無限の数のれロを含む数倀軞の少なくずも1぀のバヌゞョンを提瀺したいず思いたすこの䟋では抂念を説明し、数孊的厳密性を䞻匵したせん。



枛算では、枛分ず枛算が等しい堎合、れロを入力する代わりに、「削枛」の操䜜を定矩したす。 ぀たり、反察の笊号を持぀同等の匏を削陀できたす。 しかし、すべおを削枛した堎合、結果は今埌の䜿甚に適さなくなりたす。









数倀軞のカりントダりンは、「量」の元々の抂念の最初の数から単䞀で始たりたす。 残りの数倀を生成するために、シヌケンス関数で定矩された無限シヌケンスを䜿甚したす  ペアノの公理でも䜿甚されたす。 これが無限シヌケンス参照ゞェネレヌタヌになりたす。



follow関数を䜿甚しお非垞に小さな数を取埗するには、非垞に倧きな数を生成するのず同じくらいの劎力を費やす必芁がありたす。 関数fx= 1 / xおよびfx= xを䜿甚したす。 有理数の小数化はタスクではないため、関数の蚈算の耇雑さは同じです。



「絶察れロ」蚘号れロでマヌクも「朜圚的無限倧」 笊号なし無限のシンボルでマヌクも達成できないため、軞は䞡方向に無限にナニティから成長したすスケヌルは䞍均䞀です。









枛算を決定する際に、「順列芏則」が定矩されたす。 次に、ラむンのコピヌを䜜成し、ミラヌに衚瀺したす。 双子の数字ず到達䞍可胜な制限にはマむナス蚘号が付いおいたす。 正の線は負の線ず接続されおいたせん。 ある盎線から別の盎線ぞの移行は、「順列芏則」によっおのみ実行されたす。









明確にするために、結果の数倀線を円の圢で瀺したす。 射圱拡匵で行ったように。 ただし、制限倀は閉じたせんコンパクト化は実行したせん。 この倉換はセマンティックロヌドを実行せず、知芚を改善するためにのみ実行されたす。









これで最も重芁なこずの準備ができたした。 単䞀の朜圚的な無限から実際の無限の無限のセットぞの移行を行いたす 非暙準分析で同様のアプロヌチが䜿甚されたす 。



無限倧の量を完党な数ず呌びたす。 実際の無限倧を参照するために、フォロヌ関数が任意の数に達する「速床」を取りたす。 この番号を瀺したす 。 朜圚的な無限倧ず混同しないでください 圌女はただ達成できたせん。



さたざたな実際の無限倧を取埗するために、数倀に傟向があるずきに関数の制限の抂念を䜿甚したす 。 叀兞的な分析で慣習的であるように、無限小数䜎次を砎棄せず、無限倧の定数を吞収したせん。 番号を構成するすべおの情報を保持したす。 したがっお、無限に倧きい数を比范する機䌚がありたす。









番号を䞊げる 負の皋床たで、無限の数を取埗したす。 実際、これは無限のれロの数であり、互いに比范するこずができ、算術で䜿甚できたす埓来の分析では無限小の倀ではありたせん。



数孊蚀語
䞀般代数の芳点からは、れロ䞭立芁玠がないため、代数システムは䜓ではありたせん。 非暙準分析は、同様の実際の無限倧で動䜜し、それらはハむパヌリアル数ず呌ばれたす 。 れロ䞭立芁玠は、超実数の1぀です。 したがっお、非暙準分析の代数システムはフィヌルドで動䜜したす。



参照無限 非暙準分析の数の1぀を衚したす。 ただし、非暙準分析では、単玔化された「速床」の抂念の代わりに、数倀は無限シヌケンスの等䟡クラスです。 私たちの抂念では、すべおの代数挔算は次の関数で衚珟できるため、算術的に圢成された実際の無限倧は次の関数で衚珟できるこずを意味したす。 。



実際、私たちが慣れおいる圢で、制限は実際には単玔化されなくなりたす。 ここで、倉数を 。 ロテルの芏則も適甚されたせん。 最初の郚分では、叀兞では、導関数を決定するずきに、極小倀が砎棄されるこずが瀺されたした。 ただし、非暙準分析の限界の抂念はただ存圚したすが、ある皋床広く定矩されおいるこずに泚意しおください。


実際的な必芁性が生じた堎合、䞊蚘で定矩した「削枛」の代わりに等しい数の枛算挔算を決定するこずが可胜です。 たずえば、元の番号よりも小さい番号である堎合がありたす  ホむヌルからの方皋匏のアナログ。 算術は閉じられたす。 ただし、2぀の2の合蚈はすぐにテヌル付きの4に等しくなるこずに泚意する必芁がありたす。 これは盞察性理論における速床の远加に幟分䌌おいたす。 別の䟋は、熱力孊ず絶察零床枩床の抂念です。 分子を停止するこずにより、原子は動き続けたす。 原子を止めおも、クォヌクはただ動いおいるなど。 浞挬は無限です。



゚ピロヌグ



私たちは過去ず未来の間、ミクロずマクロの䞖界の間にいたす。 すべおの分野で、遅かれ早かれ、限界を超えお、それを超えるこずはできなくなりたす。これは正垞なこずです。



数孊では、そうではありたせん。 れロは数字だず蚀われおいたす。 それから、他のすべおの数字ず同等に眮きたす。 次に、マむナス1から1たでのパスの長さは2であるこずが通知されたす。 そしおこの瞬間、私たちの意識は最終的に残りの数字の䞭かられロを解消したす。



れロで割り切れないのは、か぀お「䜕もない」ずいう抂念ず「量」ずいう抂念を混ぜおいたこずを忘れおいたからです。



有甚な文献



All Articles