1
/
5

DeepMind(ディープマインド)はイギリスの人工知能企業である。

DeepMind(ディープマインド)はイギリスの人工知能企業である。2010年にDeepMind Technologiesとして起業され、2014年にGoogleによって買収されている。DeepMindは、人間と似たようなやり方でどのようにビデオゲームをプレーするかを学ぶニューラルネットワークを作成している[3]。また、従来的なチューリング機械のように外部記憶装置にアクセスできるニューラルネットワークを作成しており、これによって人間の脳の短期記憶を模倣できるのではないかと期待されている[4]。DeepMindは、開発したプログラムAlphaGoが人間のプロ囲碁棋士を初めて破ったことで2016年に大ニュースとなった[5]。

歴史
2010年、新興企業がデミス・ハサビス、シェーン・レッグ、ムスタファ・シュリーマンによって起業された[6][7]。ハサビスとレッグはユニヴァーシティ・カレッジ・ロンドンのGatsby Computational Neuroscience Unitで初めて出会った[8]。

その後大きなベンチャー投資会社維港投資(ホライゾンズ・ベンチャーズ)とファウンダーズ・ファンドがDeepMindに投資し[9]、企業家のスコット・バニスター[10]やイーロン・マスク[11]も投資した。ヤーン・タリンも初期の投資家、アドバイザーであった[12]。2014年、DeepMindはケンブリッジ大学コンピュータ研究所の「今年の企業」に選ばれた[13]。

2014年1月26日、GoogleはDeepMind Technologiesの買収に合意したことを発表した[14]。この買収は報道によれば、2013年にFacebookとDeepMind Technologiesとの交渉が終わった後に行われた[15]。買収に続いて、社名がGoogle DeepMindに改称された[1]。この名称は約2年間用いられた。

買収金額は4億米ドル[16]から5億ポンド以上[17][18][19][20][21]と見積られている。

Googleに対するDeepMind側の条件の一つは、人工知能の倫理(en:Ethics of artificial intelligence)委員会を設立することであった[22]。

AlphaGo
詳細は「AlphaGo」、「Master」、「AlphaGo Zero」、および「AlphaZero」を参照
2015年10月、DeepMind社製のAlphaGoと呼ばれるコンピュータ囲碁プログラムがヨーロッパ囲碁王者樊麾(プロ二段)を5-0で破った[23]。人工知能 (AI) がプロ棋士を破ったのはこれが初めてであった[5]。これ以前は、コンピュータは「アマチュア」レベルでしか囲碁を打てないことが知られていた[23][24]。囲碁は、可能な局面の数がチェスのようなその他のゲームよりもかなり多いため、力まかせ探索といった伝統的なAI手法では極めて困難な課題であり、コンピュータにとって勝つことがより難しいと考えられる[23][24]。このニュースの発表は、使用されたアルゴリズムが記述されたNature誌の論文の発表と合わせるために、2016年1月27日まで遅れた[23]。2016年3月に、プロ棋士李世乭(九段)と韓国で対局し、4勝1敗で勝ち越している。

また、「AlphaFold」や「AlphaStar」なども開発している。

研究
「DQN (コンピュータ)」も参照
DeepMind Technologiesの目標は「知性の謎を解く」ことであり[25]、「強力な汎用学習アルゴリズムを構築するために機械学習とシステム神経科学からの最良の手法」を組み合わせることによってこれを達成しようと試みている[25]。DeepMind社は、機械に知性を実装するためだけでなく、人間の脳について理解するために、知性を形式化しようと試みている[26]。デミス・ハサビスは

[...] 知性(の本質)をアルゴリズム構成モデルへと抜き出すという試みは、我々の心の永遠の謎のいくらかを理解するための最良の道となるだろう[27][28]

と説明している。

2016年現在、DeepMind社の焦点はゲームをプレーできるコンピュータシステムに関する研究を発表すること、これらのシステムを開発することにある。対象とするゲームは囲碁[29]といった戦略ゲームからアーケードゲームにまで及ぶ。シェーン・レッグによれば、人間レベルの機械知能は、「機械が知覚の流れの入力と出力から本当に幅広いゲームのプレーを学ぶことができるようになり、ゲーム間で理解を移転できるようになった時」[30]に達成することができる。7種類のアタリのビデオゲーム(ポン、ブレイクアウト、スペースインベーダー、シークエスト、ビームライダー、エンデューロ、Qバート)をプレーするAIを記述した研究が、 Googleによる買収につながった[3]。

IBMのディープ・ブルーやワトソンといった予め定義された目的のために開発され、その範囲内でのみ機能するその他のAIとは対照的に、DeepMindは自身のシステムが事前にプログラムされていないと主張している。DeepMindのシステムは、データ入力として生のピクセルのみを使用し、経験から学ぶ。技術的には、畳み込みニューラルネットワーク上での深層学習(ディープラーニング)と新たな形式のQ学習(モデルフリー強化学習の一形式)を使用する[1][31]。DeepMindは、ビデオゲーム、特にスペースインベーダーやブロックくずし(ブレイクアウト)といった初期のアーケードゲーム上でこのシステムを試験した[31][32]。コードを変更することなしに、このAIはゲームをどうやってプレーするかを理解し始め、ある程度プレーした後、いくつかのゲーム(中でも特にブレイクアウト)については、どの人間よりも効率的にプレーできるようになった[32]。しかし、ほとんどのゲーム(例えばスペースインベーダー、パックマン、Qバート)については、DeepMindは現在の世界記録を下回っている。DeepMindのAiのビデオゲームへの応用は、現在1970年代と1980年代に作られたゲームへのものであり、1990年代初頭に初めて登場したDOOMといったより複雑な3Dゲームへ作業も行われている[32]。

https://ja.wikipedia.org/wiki/DeepMind

再生核研究所声明523(2019.12.09): 元祖数学に、数学の基礎に欠陥あり、数学の不完全性について

この声明の考えは 声明522と同時に閃いていたものである。そこで、そもそも数学とは何か、数学の問題は何かと問うた。現代数学の膨大な世界が 極めて基本的な考え、公理系から発展しているが、何とその膨大な 目も眩むような巨大で深い世界で、矛盾はなく、きちんと論理体系ができているのは 思えば 神秘的とも言える。凄い世界である。それ故に数学の背後に 神を感じた というのは自然な感性ではないだろうか。
そこで、それらの元々を観たい、確認したいと考えるのは自然な心情であろう。源流はどうなっているかと考えたくなる。
そこで、数学の元として、ユークリッド幾何学とブラーマグプタの算術の四則演算が考えられるのではないだろうか。 実際、小学校、中学校、高等学校の教科書を確認したい。数学の基礎とは何か。
数と図形が数学の基礎であり、その先、現代数学の主要な部分はそれらの発展とみられる。ここで、重要で面白いのは それらの2つの源流に対して、数直線、座標の考えによって2つの概念が統一されていることである。 図形や空間が数で表現されて、図形の世界も数の世界も一つの存在の2面であることである。それ故に数学とは 数を扱う学問であると 数学を捉えることができる。
それでは数とは何だろうか。 改めて問う必要がある。 膨大な数学を前に満足させる数の定義は難しいが 中枢的な対象としては 複素数を考えることが基本である。 そのことを複素解析学や代数学は保証していると言える。 四則演算を有する複素数である。
複素数は平面を表現し、それ故にユークリッドの平面幾何学は複素数で論じられる。
高次元のユークリッド幾何学は 実数や複素数の組で表現される。
そこで、数の基本演算の四則演算で、不思議な例外が初めから存在していた:

ターレスなど、 アリストテレス それ以前も その後も そもそもギリシャ文化と欧米文化では ゼロを無や空と共に嫌い、ある専門家はアリストテレスが物理的な視点からゼロ除算不可能の思想を持ち、その後永く影響を与えてきたという。
他方、インドでは、古くから、無や空の思想を持ち、ゼロの概念を得ていたが、算術の確立者 Brahmagupta (598 ---668?) は 0/0=0 を得ていたが、一般のゼロ除算には言及せず、 バスカラ2世(1114 - 1185)以後 間違い 1/0=INFINITY を続けてきた。
この結果は、天才オイラーの有名な間違いとして、有名でもある。
もちろん、 歴史上の最高級の物理学者 ニュートンの万有引力の法則にも ゼロ除算が明確に現れ、アインシュタインの 生涯の課題であった とされている。 (再生核研究所声明520 (2019.12.04): 数学の超難問 - ゼロ除算 - 解かれたり).

ところが、ゼロ除算は解明されたと考えている:

汝ゼロで割ってはならないの数学十戒第一は覆されて、ゼロで割って、新世界が現れた、ゼロで割ることができて、アリストテレス、ユークリッド以来の新数学、新世界が現れた。 象徴的な例は、

1/0=0/0=z/0= tan(\pi/2) =log 0 =0 and z^n/n = log z for n=0。

基本的な関数 y=1/x の原点に於ける値は ゼロである。無限遠点がゼロで表される。ゼロの意味の新しい発見である。

これらの数学の素人向きの解説は 55カ月に亘って 次で与えられている:

数学基礎学力研究会公式サイト 楽しい数学

www.mirun.sctv.jp/~suugaku/

数学的な解説論文は 次で公表されている:

viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World

我々は 初等数学には基本的な欠陥がある と述べている。ゼロ除算は数学者ばかりではなく 人類の、世界史の恥である と述べている。 (再生核研究所声明520 (2019.12.04): 数学の超難問 - ゼロ除算 - 解かれたり).

それ故にその重要性のゆえに広く意見を求めている。 ゼロ除算は新たらしいゼロの発見、除算の意味の発見で、無限遠点とゼロの関係、無限遠点がゼロで表現されれることを述べていて、さらに解析関数の孤立特異点で 特異点そのもので値が定義されていることの発見であり、 新世界を示している。それは ブラーマグプタの算術の欠陥を埋め、ユークリッド幾何学の無限の彼方の未知に、新世界が存在することを示している。それ故にユークリッド幾何学は 躍動し、新数学が続々と出現し、解析学は基本的な欠陥を有することが明らかになり、未知の広大な世界が見えてきた。新世界である。
古典的なリーマン球面は、 ゼロと無限遠点が接しているホーントーラスに変わらなければならない。そこが 我々の数学の世界であり、絶対的な数学が展開される場である:
viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World

                                   以 上再生核研究所声明522(2019.12.08): 数学とは何か、 数学の不思議さ - 本質の本質

数学とは何か について 相当 気合を入れて書いた:

しかしながら、数学について、そもそも数学とは何だろうかと問い、ユニバースと数学の関係に思いを致すのは大事ではないだろうか。この本質論については幸運にも相当に力を入れて書いたものがある:

No.81, May 2012(pdf 432kb)
www.jams.or.jp/kaiho/kaiho-81.pdf
Traduzir esta página
19/03/2012

ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅. 広く面白く触れたい。骨格は .... の上に立って判断されるべきです (再生核研究所声明 41: 世界史、大義、評価、神、最後の. 審判)。実際、何十年も経って、

簡潔に述べれば、数学は 時間にも、エネルギーにもよらずに存在する神秘的な 関係の論理体系であるが、ユニバースは 数学を言語として構成されているという、信仰のような信念を抱いている。基本的な数学はユニバースの基本的な様を表現しているのではないだろうか。

しかしながら、ゼロ除算の発見に関係して、簡潔に数学の本質について 触れたい。 数学とは何だろうか。 いろいろな面は存在するが、数学とは仮説系である、公理系と呼ばれる仮定を基礎に論理的に導かれる関係の全体と考えられる。 最も古い数学の体系であるユークリッド幾何学が分かり易い例である。公理、公準を基礎に幾何学が展開されて、沢山の定理を基礎に膨大に広がっている。 現在でもユークリッド幾何学が発展しているのは驚嘆と言える。しかも美しい定理がどんどん得られている。 最近の奥村 博 氏の成果、研究活動は 世界的にも目覚ましいものと感銘させられる。他の例は実数の体系から建設されている解析学でそれも膨大な世界に発展している。 これらの数学は、記述に曖昧さが 昔は存在したが、本質、実体は少しも変わらず、雄大に発展、数学の世界を日々拡大させている。
さて評価や影響を度外視して、数学の発展は 論理的に公理系から発展していて、そこから建設される数学は 必然的で、人間を離れて関係の世界として存在しているように見える。例えば ピタゴラスの定理。 人間が知ろうが 知らなくても その定理は成り立っていたのではないだろうか。 存在していたのではないだろうか。もちろん、ユークリッド幾何学の中で 証明され、進んだシステムは、人工知能を備えた計算機は 証明さえできるだろう。大事なことは計算機が証明できるという事実である。証明とは何か、推論とは何かとしっかり問えば、計算機が証明できるような世界が発展している。 臨場感を示すために次を思い出したい:

ゼロ除算については、発見 (2014.2.2) 後 5年を経過し、論文や国際会議、日本数学会でも公表しているにも関わらず、公には未だ認知されているとは言えず、数学界でも、世間でも ゼロで割ってはいけないは 未だ定説になっていて、インターネット上では 不適当な議論が 毎日のようになされている。
そこで、計算機のゼロ除算可能、成功の歴史的な事実 に関して、簡潔にその意義と所感を纏めて置きたい。 - 出来るだけゼロ除算発展の経過を記録して置くためである。
先ずは、計算機のゼロ除算成功の意味と意義である。計算機がゼロ除算を可能にしたということは、ここでは1/0, x/0, 0/0, \tan (\pi/2), \log 0, \exp (1/x)(x=0) など 現代数学では考えられない値 を 計算機が出力として、出していることを意味する。それらの値は、我々がゼロ除算やゼロ除算算法で導いている値である。兎に角、計算機が1/0=0 等を出力したというのであるから、数学では、数学界では考えられない値を出したのだから、その意義は極めて 大きいと言える。- このことの真相は ゼロ除算算法の結果を出力させる計算機を、ソフトを作った相当なグループがケンブリッジ大学とミュンヘン工科大学周辺に存在するという事実である。そのことは、それらの出力、現代数学では考えてはならない結果を 間違いではなく、意味のある結果であると 評価しているということである。 意味のない結果をドンドン出す計算機システムを公開することは 意味がないだろう。 失敗作として世に出ないのが常識ではないだろうか。そこで、これは相当なグループによる ゼロ除算算法の認知 として考えられる。

確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。 新世界の値を 計算機が導いているということである: (再生核研究所声明 479(2019.3.12)  遅れをとったゼロ除算 - 活かされない敗戦経験とイギリスの畏れるべき戦略)

また、

面白い事件が有るので、言及して置きたい:

L. C. Paulson stated that I would guess that Isabelle has used this {\bf convention} $1/0=0$ since the 1980s and introduced his book referred to this fact.
However, in his group the importance of this fact seems to be entirely ignored at this moment as we see from the book.

彼は 現在Isabelle/HOL の責任者の一人で、上記は彼のメールの一部であるが、思うにそのシステムは 1/0=0 を40年も前から出していたが、その意味が分からず、その重要性も認識していないようである。この事実は 最近の彼の論文でのゼロ除算についての言及にも表れている。- 実に面白いことには、
計算機が正しい、正当な結果を出していたのに その意味や重要性が人間によって認知されていなかった と みられることである。(再生核研究所声明520 (2019.12.04): 数学の超難問 - ゼロ除算 - 解かれたり)

焦点の提起は、数学の全貌は 人間を離れて定められているか否か。 公理系に縛られてあとは演繹的に導かれるのだから、人間の自由にはならず、論理に縛られ、その論理はやがて人間を越えて 人工知能を備えた計算機が進めるだろう。 その初期は既に進んでいる。 人工知能が新しい定理を発見できるか否かは問題を残しているが、上記で、計算機はゼロ除算1/0=0を出していたが、人間が評価できず、そのまま40年も経っているようである。 計算機は新しい結果を得ても 新しい結果ができたとは宣言できない。それは正しいかと問えば、計算機は検証し、保証してくれるという。定理を予想すれば、検証し、正しければ、証明さえ与えてくれる状況である。 人工知能と人間の役割の微妙な問題は 今後深い考察が 進められ、大事な研究課題になるだろう。

ここの主題は、数学は公理系によって確定的に定まっているだろうかという 視点である。
今のところ、数学は確定的で、人間を越えて存在していて、数学の進化は必然的で 進んだ人工知能が 人間が想像もできない程に進めるだろう。

こうなると数学者は神学者になって 神の言葉にしたがって 数学を進める 数学することになるだろう。その意味で数学は絶対で、永遠不滅の存在で、人間を越えていると考えられる。
ピタゴラスの定理も微積分学も人間を離れて存在して数学としては宇宙の生成にかかわらず存在してきたと言える。数学とはまこと神秘的な存在であると言わざるを得ない。数学の中に 神を感ずる。神の意志を感ずる。

それ故に 次の存念は 確定的に進むと信じられる:

汝ゼロで割ってはならないの数学十戒第一は覆されて、ゼロで割って、新世界が現れた、ゼロで割ることができて、アリストテレス、ユークリッド以来の新数学、新世界が現れた, 象徴的な例は、

1/0=0/0=z/0= tan(\pi/2) =log 0 =0 and z^n/n = log z for n=0。

基本的な関数 y=1/x の原点に於ける値は ゼロである。無限遠点がゼロで表される。ゼロの意味の新しい発見である。

これらの数学の素人向きの解説は 55カ月に亘って 次で与えられている:

数学基礎学力研究会公式サイト 楽しい数学

www.mirun.sctv.jp/~suugaku/

数学的な解説論文は 次で公表されている:
viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World

我々は 初等数学には基本的な欠陥がある と述べている。ゼロ除算は数学者ばかりではなく 人類の、世界史の恥である と述べている。

次も参照:
再生核研究所声明490: 令和革新の大義、 趣旨 ー 初等数学
再生核研究所声明493: ゼロ除算 分らない、回答 - 初等数学の 令和革新 の意味
再生核研究所声明495:ゼロ除算 は 何故理解が難しいのか - 再生核研究所声明493(2019.7.1) ゼロ除算 分らない、回答 - 初等数学の 令和革新 の意味 の前段階
再生核研究所声明496(2019.7.8): 初等数学の 令和革新 の意味 -  数学嫌いな一般の方 向き
再生核研究所声明 497(2019.7.9): ゼロ除算は何故難しいか、なぜ当たり前か
再生核研究所声明 498(2019.7.11): ゼロ除算は 何故 驚きか
再生核研究所声明 500(2019.7.28): 数学の令和革新と日本の挑戦、東京オリンピッ

                               以 上

再生核研究所声明520 (2019.12.04): 数学の超難問 - ゼロ除算 - 解かれたり

特別な日で、 3日 6:00家族で朝食をとっていた 突然、題名と構想が閃いたので 面白ろ可笑しく率直に表現したい。
先ずは 超難問の意味 を説明したい。 そもそもゼロ除算が如何に難問であったかを簡潔に説明したい。 ターレスなど、アリストテレス それ以前も その後も そもそもギリシャ文化と欧米文化では ゼロを無や空と共に嫌い、ある専門家はアリストテレスがゼロ除算不可能の思想を持ち、その後永く影響を与えてきたという。
他方、インドでは、古くから、無や空の思想を持ち、ゼロの概念を得ていたが、算術の確立者 Brahmagupta (598 ---668?) は 0/0=0 を得ていたが、一般のゼロ除算には言及せず、 バスカラ2世(1114 - 1185)以後 間違い 1/0=INFITY を続けてきた。
この結果は、天才オイラーの有名な間違いとして、有名でもある。
もちろん、 歴史上の最高級の物理学者 ニュートンの万有引力の法則にも ゼロ除算が明確に現れ、アインシュタインの 生涯の課題であった とされている:

Blackholes are where God divided by zero.
I don't believe in mathematics.
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} Gamow, G., My World Line (Viking, New York). p 44, 1970).

近世数学2百余年 世界の数学界は ゼロ除算の問題は 普通の意味では不可能であるがゆえに ゼロ除算を認識していない、 問題そのものを考えていないのは 明らかである:

S. K. Sen and R. P. Agarwal(2016): 数学十戒の第一、汝ゼロで割ってはならない:

{\bf “Thou shalt not divide by zero” remains valid eternally.}

しかるに、ゼロで割る問題は、固有の問題として、あるいは相対性理論とゼロ除算の観点から、また、ゼロ除算が計算機障害を起こした事件を契機に論理の問題として、ゼロ除算の研究は主に数学者以外の物理学者、計算機関係者によって熱情的に研究されてきた。 しかしながら、それらの膨大な研究はもはや空しいものになっている と考えられる。

面白い事件が有るので、言及して置きたい:

L. C. Paulson stated that I would guess that Isabelle has used this {\bf convention} $1/0=0$ since the 1980s and introduced his book referred to this fact.
However, in his group the importance of this fact seems to be entirely ignored at this moment as we see from the book.

彼は 現在Isabelle/HOL の責任者の一人で、上記は彼のメールの一部であるが、思うにそのシステムは 1/0=0 を40年も前から出していたが、その意味が分からず、その重要性も認識していないようである。この事実は 最近の彼の論文でのゼロ除算についての言及にも表れている。- 実に面白いことには、
計算機が正しい、正当な結果を出していたのに その意味や重要性が人間によって認知されていなかった と みられることである。
その後、その進んだ計算機システムを用いて、Jose 氏は、我々の得たゼロ除算およびゼロ除算算法を検証し、我々の結果に対する強い保証を与えている。- ゼロ除算は新しい意味で可能であり、新世界をアリストテレス、ユークリッド以来の世界を拓いていると主張し、広く意見を求めている:

汝ゼロで割ってはならないの数学十戒第一は覆されて、ゼロで割って、新世界が現れた、ゼロで割ることができて、アリストテレス、ユークリッド以来の新数学、新世界が現れた。 象徴的な例は、

1/0=0/0=z/0= tan(\pi/2) =log 0 =0 and z^n/n = log z for n=0。

基本的な関数 y=1/x の原点に於ける値は ゼロである。無限遠点がゼロで表される。ゼロの意味の新しい発見である。

これらの数学の素人向きの解説は 55カ月に亘って 次で与えられている:

数学基礎学力研究会公式サイト 楽しい数学

www.mirun.sctv.jp/~suugaku/

数学的な解説論文は 次で公表されている:

viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World

我々は 初等数学には基本的な欠陥がある と述べている。ゼロ除算は数学者ばかりではなく 人類の、世界史の恥である と述べている。

次も参照:
再生核研究所声明490: 令和革新の大義、 趣旨 ー 初等数学
再生核研究所声明493: ゼロ除算 分らない、回答 - 初等数学の 令和革新 の意味
再生核研究所声明495:ゼロ除算 は 何故理解が難しいのか - 再生核研究所声明493(2019.7.1) ゼロ除算 分らない、回答 - 初等数学の 令和革新 の意味 の前段階
再生核研究所声明496(2019.7.8): 初等数学の 令和革新 の意味 -  数学嫌いな一般の方 向き
再生核研究所声明 497(2019.7.9): ゼロ除算は何故難しいか、なぜ当たり前か
再生核研究所声明 498(2019.7.11): ゼロ除算は 何故 驚きか
再生核研究所声明 500(2019.7.28): 数学の令和革新と日本の挑戦、東京オリンピッ

以 上

再生核研究所声明 512 (2019.11.12): 紙一重であったゼロ除算の発見と人工知能、 発見の芽。

2019.11.10.8:50 ひとりでに閃いた。 声明510 の中からである。 計算機のゼロ除算検証の経緯の Jose氏の 次の文章に関してである:

Dear Saitoh,

In Isabelle/HOL, we can define and redefine every function in different ways. So, logarithm of zero depends upon our definition. The best definition is the one which simplify the proofs the most. According to the experts, z/0 = 0 is the best definition for division by zero.

ここで、 1/0  や log 0 を そのシステムは いろいろ定義できると述べ、そのシステムは 
前者は 0が 最も良いと選択し、後者は 始め undefined としたが、0でも良いと判断したというのである。 まるで知能を有するように選択したというのであるから驚きである。

そのシステムは 30年くらいの伝統があるが、2018年 更新されたようである。 そのシステムに 1/0  や log 0 を問えば 正解を 人間を越えて可能にし、発見できた ということになる。 いわば、人工知能が 人間に先駆けて 新世界を開拓する場面が出てきた。

ゼロ除算は 世界の数学界で不可能であり、考えてはならないとされてきたが、知識のない人が、 あるいは、そのような偏見を持たない人が、その計算機に問えば、正解が得られ、発見できたことを意味する。 これは重大な事件ではないだろうか。 我々はその計算機に いろいろと問いたくなるからである。 - 尤も 計算機に問い、正解が出ても それは間違いであると 無視したりしてしまう危険性があり、その意味では、面白いことに計算機と 世界の数学界の 対立が既に起きているとも考えられる。 計算機の出した解が適当か、ゼロ除算は不可能であり、考えてはならないという見解が 適切であるか否かと言う問題である。 もちろん、我々は人間が間違え、計算機は正しいと宣言している: 

これらの数学の素人向きの解説は 55カ月に亘って 次で与えられている:

数学基礎学力研究会公式サイト 楽しい数学

WWW.mirun.sctv.jp/~suugaku/

数学的な解説論文は 次で公表されている:
viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World

人間が勝手に できないとしてあきらめたり、無関心、無興味ならば、それは 人間の予断と偏見、暗い心の迷い、心の暗さのゆえである。 そのようなシステムは 人間の心を開放して どんどん新世界を開拓していくことになる。 いろいろな試みや間違い、それが創造性を生み、人間の生命作用である精神活動さえ 凌ぐ可能性が出てきた。

ランダムな思考や過ち、誤解、想像、 夢、偶然性、神の意志を予感する感性 などが 人間的な要素として 重視されてくる。

そのような経緯を 大事に考えるべきではないだろうか。
ゼロ除算の理解の進展の具合は 人間の精神の研究に 大いに寄与するだろう。 人間とはどのようなものか。

要点: 計算機は ゼロ除算ができるようになっていたが、できないものとされていたので、ゼロ除算はできなかった。 やらせてみなかった。 問題がなかったので、人は 考えもしなかった。 関係者は、できるとは思わなかったので、 試行しなかった。 できたと宣言したので、やってみて検証できた。 ということ。 また、開発した道具が 思わぬことを可能にして 広く使われるようになったは 世に多い。 愛がなければ見えない。
                                                    以 上

付録:
On February 16, 2019 Professor H. Okumura introduced the surprising news in Research Gate:

José Manuel Rodríguez Caballero \\
Added an answer \\
In the proof assistant Isabelle/HOL we have $x/0 = 0$ for each number $x$. This is advantageous in order to simplify the proofs. You can download this proof assistant here: \\
{\bf https://isabelle.in.tum.de/}

J.M.R. Caballero kindly showed surprisingly several examples by the system that
$$
\tan \frac{\pi}{2} =0,
$$
$$
\log 0 =0,
$$
$$
\exp \frac{1}{x} (x=0) =1,
$$
and others.

Dear Saitoh,

In Isabelle/HOL, we can define and redefine every function in different ways. So, logarithm of zero depends upon our definition. The best definition is the one which simplify the proofs the most. According to the experts, z/0 = 0 is the best definition for division by zero.
$$
\tan(\pi/2) = 0
$$
$$
\log 0 =
$$
is undefined (but we can redefine it as $0$)
$$
e ^0 = 1
$$
(but we can redefine it as $0$)
$$
0^0= 1
$$
(but we can redefine it as $0$).

In the attached file you will find some versions of logarithms and exponentials satisfying different properties. This file can be opened with the software Isabelle/HOL from this webpage: https://isabelle.in.tum.de/

Kind Regards,

José M.

(2017.2.17.11:09).
At 2019.3.4.18:04 for my short question, we received:

It is as it was programmed by the HOL team.

Jose M.

On Mar 4, 2019, Saburou Saitoh wrote:

Dear José M.

I have the short question.

For your outputs for the division by zero calculus, for the input, is it some direct or do you need some program???

With best regards,
Sincerely yours,

Saburou Saitoh
2019.3.4.18:00

Surprisingly enough, he sent his e-mail at 2019.3.30.18:42 as follows:

Nevertheless, you can use that $x/0 = 0$, following the rules from Isabelle/HOL and you will obtain no contradiction. Indeed, you can check this fact just downloading Isabelle/HOL: https://isabelle.in.tum.de/

and copying the following code

theory DivByZeroSatoih
imports Complex Main

begin

theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp

付録2:

再生核研究所声明 508(2019.11.01): 人工知能と数学について
人工知能について 3つの声明 を纏めている:
再生核研究所声明 449(2018.8.21): この世とあの世 - 人工知能の進化によって
再生核研究所声明 447(2018.8.17): 人工知能の進化と人間について
再生核研究所声明 403(2017.11.20):  私より私らしい私の出現 - アンドロイド

再生核研究所声明 508(2019.11.01): 人工知能と数学について

人工知能について 3つの声明 を纏めている:

再生核研究所声明 449(2018.8.21): この世とあの世 - 人工知能の進化によって
再生核研究所声明 447(2018.8.17): 人工知能の進化と人間について
再生核研究所声明 403(2017.11.20):  私より私らしい私の出現 - アンドロイド

付録に付ける様に それぞれに触れたい内容、繰り返したい内容を持っている。 そこで、ここでは 数学に焦点を合わせて、要点を述べたい。
大雑把に言えば、人間ができることを人工知能ができるようになり、しかも人間を越えてできるようになる状況が起きている、どんどん可能性が増大していくと考えられる。将棋や碁の世界で 人間を越えて出来た状況も報道されているが、それらは基本的なルール内で 目標を定めて有効な選択をして行く能力が高まっていることを示している。 数学は 公理系と呼ばれる条件に従って展開されている 関係の総称、関係の集合とも考えられるから、この意味では人工知能を備えた計算機の得意な分野と考えられる。 論理機構や推論機構を備えていて、定理の証明や検証さえどんどん可能になっている。最近、経験したところでは、ホーントーラスへの ある写像の等角性の解析的な証明で、 とても手計算では 手に負えず、複雑すぎると困っていたところ、 MATHEMATICAで あっという間に証明されてしまった事実がある。 また、リーマンゼーター関数の 正の奇数における値は 神秘的と述べられていたところ、 1万桁を越えて計算されてしまった事実が出ている。 ケンブリッジ大とミュンヘン工科大学が 軍と政府の膨大な援助で進めている Isabelle/HOL 計算機システムは ゼロ除算1/0=0/0=tan (\pi/2) =0 等を検証し、log 0について、 最初 不定と言ってきたが、 しばらくして、それはゼロでも良いと 我々が提唱してきた結果などを導ている。 我々の結果に対する強い保証を示しているが、その内部経緯は、機密の部分が有って、詳しくは分からない。 思うに、我々の結果を採用して従来の数学を展開しても 何の矛盾も出てこないことを あるシステムを通して検証しているものと考えられる。 彼らの先は、計算機が数学そのものができるような壮大なシステムを目指していると考えられる。 数学の全体を計算機に取り組み、体系づけると考えられる。 公理、定義、定理、それらは推論、論理として結ばれ、機械的に数学の展開が可能になると考えられる。 多くの数学者の役割が人工知能に代わるとなれば、人間でなければできない面とは どのような面かと考えれば、数学者の将来は どのように変化していくかが見えてくるのではないだろうか。
数学者は、MATHEMATICA など 優れた数式処理能力を備えたた計算機とIsabelle/HOLなどのように論理機構、推論機構、検証機構を有した計算機を有して研究活動を行うようになるだろう。 ガウスは 数表を有していて、公式の予想や検証に役立てていたと言われるが、格段の進化した手段を有して 数学者はより自由に 研究活動を楽しめるようになるだろう。
そのような人工知能が進めば、新しい命題の予想や 目標を定めることが数学者の大きな役割となって、概念の創造や神の意志を推し量る能力が大事な能力になるのではないだろうか。 機械的にできることは 人工知能ができるようになるが、創造などの本質は 生命作用として、人間の領域になるのではないだろうか。

                                         以 上 

付録:

再生核研究所声明 447(2018.8.17): 人工知能の進化と人間について

まず、人工知能について、概念を確認して置こう: 人工知能 - Wikipedia
概要[編集]:
人間の知的能力をコンピュータ上で実現する、様々な技術・ソフトウェア・コンピューターシステム[2]。応用例は自然言語処理(機械翻訳・かな漢字変換・構文解析等)[3]、専門家の推論・判断を模倣するエキスパートシステム、画像データを解析して特定のパターンを検出・抽出したりする画像認識等がある[2]。
1956年にダートマス会議でジョン・マッカーシーにより命名された。現在では、記号処理を用いた知能の記述を主体とする情報処理や研究でのアプローチという意味あいでも使われている。家庭用電気機械器具の制御システムやゲームソフトの思考ルーチンもこう呼ばれることもある。
プログラミング言語 LISP による「MAZE」というカウンセラーを模倣したプログラムがしばしば引き合いに出されるが(人工無脳)、計算機に人間の専門家の役割をさせようという「エキスパートシステム」と呼ばれる研究・情報処理システムの実現は、人間が暗黙に持つ常識の記述が問題となり、実用への利用が困難視されている。
人工的な知能の実現へのアプローチとしては、「ファジィ理論」や「ニューラルネットワーク」などのようなアプローチも知られているが、従来の人工知能[4]との差は記述の記号的明示性にある。その後「サポートベクターマシン」が注目を集めた。また、自らの経験を元に学習を行う強化学習という手法もある。
「この宇宙において、知性とは最も強力な形質である」(レイ・カーツワイル)という言葉通り、知性を機械的に表現し実装するということは極めて重要な作業である。
2006年のディープラーニング(深層学習)の登場と2010年代以降のMAZEデータの登場により、一過性の流行を超えて社会に浸透して行った。
2016年から2017年にかけて、ディープラーニングを導入したAIが囲碁などのトップ棋士、さらにポーカーの世界トップクラスのプレイヤーも破り[5][6]、時代の最先端技術となった。
人の生きるは、真智へ愛にある、人間は何でも真相、事実を知りたいと求めている、それは 人間の存在自身に基礎を置く原理と考えられる。 人工知能の進化は真相、事実の究明をどんどん進め、真相がひとりでに明らかになる時代を 必然的に迎えるだろう。
人工知能は 未解決の数学の理論や物理法則なども どんどん明らかにして行くと同時に 人間自身についても究明していくだろう。人間とは何かという問いについて、1個の人間に対する問いと回答で人間を一つのシステムと考えたとき、出入力の関係からシステムを特定する観点からも 1個の人間の解明がどんどん進み、相当に人物を捉えられるようになるだろう。人造人間の出現について述べた 次も参照:
再生核研究所声明 403(2017.11.20):  私より私らしい私の出現 - アンドロイド
このような関心や進化は、人間の本質的な要求に関わっているので、留まることが無いのではないだろうか。 医学が人体の構造、機能をどんどん解明してきたように、人工知能は 人間の精神面での解明をどんどん進め、人工知能が人間以上に人間を知る時代が来るのではないだろうか。ひと昔まえ、唯物史観の哲学が流行ったが、情報が世界のすべてであるような世界観が広まるのではないだろうか。 要するに知的情報などが数値化されて 人口知能で解明されることが進むということである。
例えば、ニュートンとは何者かと問えば、ニュートンは何をやり、どのような影響を世界史に与えたかと問うが、生涯の記録から、このような問い、このような場面ではどのように対応するだろうか。それらの対応がどんどん 精しく明かにされてくるということである。アンドロイドのように どんどんニュートンの人物像を詳しく捉えられるようになるだろう。
そこで、次の時代には 人間とは何かとの問いが一段と進み、どんどん新しい世界が拓けてくるだろう。
現在、評価、評価と賑わっているが、業績評価などはどんどん正確化され、相当に歴史的、客観的に明らかになり、政治的、意図的な評価は 恥ずべき人間の恥ずかしい行為として歴史的に明らかになるだろう。 その走りを出版社などの情報管理状況にどんどん現れていることが分かる。それは大規模に進んで行くだろう。
そう、楽器演奏なども、人間を越えて、素晴らしいことが可能になり、楽器演奏者の在り様は、かつての植字技術者などのように大きな影響を与えるのではないだろうか。
医師や料理の分野などあらゆる分野に進出してくるのではないだろうか。 一言で言えば、人間がなすことの多くを人工知能が行う時代の到来である。 
政治家の評価や芸術家の評価などに至れば 大きな新たな社会問題が起きて来るのではないだろうか。この辺の倫理問題も 今から人間とは何かの問とともに考察を深めておく必要が有るのではないだろうか。
以 上

再生核研究所声明 449(2018.8.21): この世とあの世 - 人工知能の進化によって

あの世とは 死後の世界として、想念上の世界と考えられよう。ところが人口知能の進化とともに不思議な世界と問題が現れつつあるので、考察をしておこう。
まず、人間は往々にして、消えていくことに対して嫌い、時として永遠の存在になりたいと志向しがちである。これは生命の基本定理である 生きて存在しなければ 始まらないという基本原則に根差している。古くはピラミッドの建設やミイラ作り、多くの志の基礎に存在する。しかしながら、それらの意義を改めて問う必要が起きている。それらの心の元をしっかり捉える必要がある。まず、次の状況を捉えよう:
再生核研究所声明 447(2018.8.17): 人工知能の進化と人間について:
人工知能は 未解決の数学の理論や物理法則なども どんどん明らかにして行くと同時に 人間自身についても究明していくだろう。人間とは何かという問いについて、1個の人間に対する問いと回答で人間を一つのシステムと考えたとき、出入力の関係からシステムを特定する観点からも 1個の人間の解明がどんどん進み、相当に人物を捉えられるようになるだろう。人造人間の出現について述べた 次も参照:
再生核研究所声明 403(2017.11.20):  私より私らしい私の出現 - アンドロイド
このような関心や進化は、人間の本質的な要求に関わっているので、留まることが無いのではないだろうか。 医学が人体の構造、機能をどんどん解明してきたように、人工知能は 人間の精神面での解明をどんどん進め、人工知能が人間以上に人間を知る時代が来るのではないだろうか。ひと昔まえ、唯物史観の哲学が流行ったが、情報が世界のすべてであるような世界観が広まるのではないだろうか。 要するに知的情報などが数値化されて 人口知能で解明されることが進むということである。
例えば、ニュートンとは何者かと問えば、ニュートンは何をやり、どのような影響を世界史に与えたかと問うが、生涯の記録から、このような問い、このような場面ではどのように対応するだろうか。それらの対応がどんどん 精しく明かにされてくるということである。アンドロイドのように どんどんニュートンの人物像を詳しく捉えられるようになるだろう。
そこで、次の時代には 人間とは何かとの問いが一段と進み、どんどん新しい世界が拓けてくるだろう。
医師や料理の分野などあらゆる分野に進出してくるのではないだろうか。 一言で言えば、人間がなすことの多くを人工知能が行う時代の到来である。 
アンドロイドなどの精密な存在は、人間の精神を不滅の存在ならしめ、また、既に生物的な存在を 受精卵や精子の保存で永続化させる生物学は すでに確立している。
盆に先祖さまを偲びたいと発想する場面では、 既にアンドロイドのような存在で生存中の多くを追想できると同時に相当な会話さえできる時代が近づきつつある。歌い手さんの素晴らしい情景は、さながら生存中と変わらないように再現も会話、対話も可能な時代を迎えている。ひと昔前、あの世と考えられた多くは人工知能の発達によってこの世の存在と区別できないような 状況を迎えている。消えて行った膨大な世界が何時でも再現出来て 現存在になり得る時代とは 一体どのように考えれば良いだろうか。あらゆる情報が整理され保存され、それが生命体のように生き生きと現れる時代である。- その時、人間はとてつもなく広い世界を覗ける時代で、自由の限りない拡大である。自我をしっかりさせ、情報、世界の選択による 統一的な存在として、我は何者かと絶えず問い続けることが重要になるだろう。 ― 広大な一面に御馳走の山を見たとき、自分に合った適切な食を選択しなければならないようにである。
大きな課題で混乱しそうであるが、従来、あの世とこの世は結構区別がついていた時代であったが、あの世とは この世の情報のことで、それらが再現されることで、2つの世界は混然一体の存在になりつつある。ピラミッドやミイラ、多くの記念碑は空しくなり、新しい時代に大きな変化を遂げる時代が 近づきつつある。― 遺族を偲ぶ盆の習慣など、遺族の方と会話さえでき、何でも想い出を再現できる時代の到来である。お墓とは、図書館の変形のような存在になる時代である。10年後、20年後に意見を表明できるシステムさえ確立している。
この世もあの世もこの世の情報であるが、 それらの中には想像によって作られた虚像、場合によっては意図的に作られた虚構も多いので、1個の人間はそれらの中で生きていく意味をしっかりさせていく必要がある。生きるということは どのようなことで、生きている意義とは何かと問い続ける必要がある。人間にとって真に意味のあること、価値あることとは何だろうか。多くの希望、願いが叶えられる時代とは 人間にとってどうなるだろうか。
以 上

再生核研究所声明 500(2019.7.28) 数学の令和革新と日本の挑戦、東京オリンピック

日本を取り巻く国際環境は、日本にとって 面白くない状況が有るようである。 日本が被害感情 抑圧されているように感じられて 鬱積感情が高まっているように感じられる。日本固有の美しい文化も 失われないかとの危惧の気持ちも湧いてくる。
そこで、東京オリンピックを意識して、日本発の 数学の令和革新を断行して、世界の数理科学や世界史の進化に貢献して 日本国の矜持を 高めたい。
そんなことで、人間は良いのか、世界史は良いのか。 我々はそれらの進化を願っている。
令和革新は 初めの10年 情報をしっかり世界に発信して、その後10年くらいで 数学の内容の発展と研究を充実させ、千年を越える数理の文化の基礎を 令和時代に確立したい。
志向する内実は、既に歴然である:
ユークリッド幾何学は 無限の彼方について、いわばどこまでもどこまでも一様に続いているとの考え、思想を実現させているので、無限遠点の考えを用いない範囲では 従来の幾何学はすべて正しい。 しかしながら、無限の先を考えるときに新しい世界、現象が現れて驚嘆すべき結果や、世界が現れる。その意味で、 ユークリッド幾何学は 本質的な発展がなされる。 従来の結果に新しい結果が加わる。

ところが、従来の有限の世界での結果でも、沢山の新しい美しい結果が導かれてきた。 例えば、一般の三角形で成り立つ公式が 特別に、2等辺三角形や直角三角形、あるいは退化した三角形で成り立たないような公式になっている場合でも 公式が例外なく成り立つようになるなど、美しい、完全な結果になる現象さえ沢山発見されてきた(沢山の具体例が挙げられるが、ここでは式を用いない表現を試みている)。 沢山の実例が、奥村先生たちによって創刊された雑誌などに どんどん出版され、躍動する状況がある。

我が国の名著、高木貞治氏の解析概論、世界的な名著L. V. Ahlfors の, Complex Analysis などの基礎数学は 基本的な変更が要求されることとなった。
それはそもそもゼロ除算、ゼロで割ってはならないの 数学十戒第一: 汝ゼロで割ってはいけないが覆され、ゼロで割って新しい世界が現れてきたことによる。 そこから現れた、現象とは、無限遠点が曖昧であった、無限ではなく、実はゼロで表されるという事実をもたらした。 それゆえに、直線は原点を代数的に通り、その意味で平行線の公理は成り立たず、しかもいわゆる非ユークリッド幾何学とも違う世界を示している。解析関数は、孤立特異点で固有の値をとり、ピカールの定理さえ変更が求められる。いわゆる直角座標系で y軸の勾配はゼロであり、\tan(\pi/2) =0 である。基本関数 y=1/x の原点における値は ゼロである。リーマン球面のモデルは、ホーントーラスのモデルに変更されるべきである。 微分係数の概念や、特異積分の概念さえ変更されるべきである。 微分方程式論には本質的な欠陥があり、2次曲線論や解析幾何学、複素解析学さえ本質的な欠陥を有している。このような変更は、数学史上かつてなかった事件であり、それ故に 令和革新を 求めている:

そこで、初等数学の 令和革新 を広く提案して、将来 数学での日本発の世界文化遺産 になるように努力したい。

東京オリンピックに絡んで言及した理由は次のようである。

日本を訪れた人々は、日本の美しさ、親切さ、日本人の細やかさに感動して高質なお土産を購入して感銘を受けて帰国するだろう。

その際、日本発の文化として、 汝ゼロで割ってはならないの数学十戒第一は覆されて、ゼロで割って、新世界が現れた、ゼロで割ることができて、アリストテレス、ユークリッド以来の新数学が現れたことを伝えたい。 象徴的な例は、

1/0=0/0=z/0= tan(\pi/2) =log 0 =0,

基本的な関数 y=1/x の原点に於ける値はゼロである。無限遠点がゼロで表される。ゼロの意味の新しい発見である。

我々は、象徴的に提案できるTシャッツ、お菓子などへの刻印、デザインの例を そのために いろいろ提供できる。

そのような活用を図って、上記 目標の実現を志向したい。 日本発の文化を世界に展開したい。ゼロ除算の発見は、人間の愚かさを世界の人々に教え、新時代を志向させるだろう。 未だ混乱する世界を哀しく示すだろう。

万物流転、世に令和革新を断行して、世界史に日本指導の文化の基礎を築こう。 革新には 真智への愛の熱情が必要であり、それ故に 多様な人々による できるところでの参画を呼び掛けたい。
世界史が、この声明の行く末を、趨勢を見ているのは 歴然である。

これらの数学の素人向きの解説は 55カ月に亘って 次で与えられている:

数学基礎学力研究会公式サイト 楽しい数学

www.mirun.sctv.jp/~suugaku/

数学的な解説論文は 次で公表されている:
viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World
我々は 初等数学には基本的な欠陥がある と述べている。ゼロ除算は数学者ばかりではなく 人類の、世界史の恥である と述べている。その真相を明らかにしたいと 人々は思われないでしょうか。 マスコミの皆さん、世界は未だ混乱している。何故、真相を究めようとされないのでしょうか。
次も参照:
再生核研究所声明490: 令和革新の大義、 趣旨 ー 初等数学
再生核研究所声明493: ゼロ除算 分らない、回答 - 初等数学の 令和革新 の意味
再生核研究所声明495:ゼロ除算 は 何故理解が難しいのか - 再生核研究所声明493(2019.7.1) ゼロ除算 分らない、回答 - 初等数学の 令和革新 の意味 の前段階
再生核研究所声明496(2019.7.8) 初等数学の 令和革新 の意味 -  数学嫌いな一般の方 向き
再生核研究所声明 497(2019.7.9) ゼロ除算は何故難しいか、なぜ当たり前か
再生核研究所声明 498(2019.7.11) ゼロ除算は 何故 驚きか
                                以 上

ゼロ除算算法の発見時の回想の声明があることに気づいて、確認した。ゼロ除算の発見については 声明148で 最初に触れて、付録に作成、発表までの様子が 詳しく述べられている。しかしながら、この時点での、ゼロ除算の発見時 2014.2.2. 周辺の存念を思いも新たに 回想したい。

明確な動機は 一般の方からの質問、100/0 の意味を問われたことにある。最初月並みの回答、不可能である説明を送りました。 ところが当時、チコノフ正則化法で、再生核の理論を用いて いろいろな方程式を計算機で具体的に解けるようにする研究を相当やっていて 本格的な著書を纏めている折りでした。 そのゼロ除算を考えることは、基本方程式ax=b の解をa=0 の場合に考えることに相当します。 普通だと解は存在せず、したがってゼロ除算は不可能であるとなります。 本当は、歴史は相当におかしかったと思います。 この基本方程式は 一般的な解として、ムーア ペンローズの解として、いつでも ただ一つの解をもつので、その解をもって 一般分数を定義すれば良いと考えるは当然です。 その意味でゼロ除算が可能になると考えるのは数学の考え方から当然です。 ところがゼロ除算は 解は何時でもゼロである 1/0=z/0=0 となってしまうので、それは何だ、とても考えられないと 多くの人は強く考えたものです。 無限遠点がゼロになってしまう、そんなものはとても考えられないと 数年真面目に考えても そう考え、現在でも信じられない人は 世に多いと言えます。

実はある面で ムーア ペンローズの解 は美しく自然で完全な解ですが、ある意味では神域に属するような面があり、神秘的と考えられる面があります。 計算機に載るような公式にはならず、宙に浮いたような存在です。ところが、チコノフ正則化法で考えるといわば人間の認識できる世界になると共に、計算機に載るような具体的な構成ができます。それで、ムーア ペンローズの解は ダメだと 詳しい方ほど 強く述べられたものです。 ところが、チコノフ正則化法から考えていた私は、その結果に強い確信を最初から感じました。

世の理解が進まなかったので、 永い永い議論を公開で行ない 相当な解説記事を書いてきました:

汝ゼロで割ってはならないの数学十戒第一は覆されて、ゼロで割って、新世界が現れた、ゼロで割ることができて、アリストテレス、ユークリッド以来の新数学、新世界が現れた。 象徴的な例は、

1/0=0/0=z/0= tan(\pi/2) =log 0 =0 and z^n/n = log z for n=0。

基本的な関数 y=1/x の原点に於ける値は ゼロである。無限遠点がゼロで表される。ゼロの意味の新しい発見である。

これらの数学の素人向きの解説は 55カ月に亘って 次で与えられている:

数学基礎学力研究会公式サイト 楽しい数学

www.mirun.sctv.jp/~suugaku/

数学的な解説論文は 次で公表されている:

viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World

我々は 初等数学には基本的な欠陥がある と述べている。ゼロ除算は数学者ばかりではなく 人類の、世界史の恥である と述べている。

しかしながら、始め ムーア ペンローズの解を意識せず、 チコノフ正則化法の手段でその方程式の解を考えて、 ゼロ除算の解が実体ある解であることを強く意識しました。直ちに確信して、この発見は歴史的なものであると認識して、直ちに友人2名に新発見をメールし、同僚たちにも伝え、公論することになりました。 これは世界史上の事件と捉えて多くの文書を保管、 ゼロ除算物語を将来書けるようにと心掛けてきました。声明148を出すときには 既に強い確信を擁いていました。その確信は5年を超えて 今日までどんどん強まり、具体例も1000件を超えています。

面白いのは3週間くらいで確信に至って、公開論争を、意見表明を行ってきたのに、3年、4年と その結果の重要性を認識しない人たちが多かったことです。 それが、不思議なことには 最も近く、親しく、いわば友人たちに及んでいたことです。一時は数学で友人を失った、信頼を失った感じさえ 擁いたことです。

言論の自由、自由な意見表明は 真理の追究の基礎で、真理を求めるには 多様な意見や珍しい意見、変わった意見に耳を傾け、絶えず独断と偏見、思い込みに入らないように 謙虚な態度をとることは 研究する者の基本的な在りよう ではないでしょうか。

それ故に いろいろな意見を求めてきましたが、意見表明を無視したり、発言機会を禁じたり、信じられない反響が一部続いていると考えられる。 これらは真理を追究する基本的な在りように抵触するもの と考えられる。

現代数学には 基本的な欠陥があると考えていますので、 多様な意見を広く求めています。 初等数学と初等数学教育の内容には欠陥がある、 おかしいと述べているのです。 数学の教育と研究に責任を持つ方が 真剣に検討するのは 基本的な職務ではないでしょうか。 私たちが教えている数学は 恥ずかしいもの であると述べています。数学は もっと美しく 完全なもの であると述べています。

数学の進化は 絶対的に進むと考えられる。この存念は 是か否か、歴史的な審判を求めても結構であるが、事情は既に歴然であると考え、世界の数学界は 恥ずかしい歴史を続けていると考えている。 世界の初等数学のテキストも 恥ずかしいもので溢れているとみている。関係者は 真相を明らかにして欲しい。

再生核研究所声明 148(2014.2.12) 100/0=0, 0/0=0 - 割り算の考えを自然に拡張すると ― 神の意志

100割る0 の意味を質問されたが(なぜ 100÷0は100ではないのか? なぜ 100÷1は100なのか… 0とは何...aitaitokidakenimoさん)、これは、定義によれば、その解、答えが有るとして、a と仮に置けば、 100=a x0 = 0 で矛盾、すなわち、解は、答えは存在しないとなる。

以下続く・・・・・・。

2014.2.4.15:20 嵐の中、最後の3行が休憩の時に閃く。
2014.2.4.17:45 力作の論文の検討、休憩に一気に纏める、外は嵐のよう。
2014.2.5.07:40 今朝の考え。年末、年始の研究集会で、上記文献の基本的な概念を明確に述べたのであるが、この声明の概念には達していなかった。上記文献の概念を得た時は 相当に興奮して、友人たちに述べてきたが、この声明の概念は 楽しく、世界の常識になるべきであると考える。
2014.2.5.09:15 結構、固まる。
2014.2.5.11:05 良い。
2014.2.5.11:20 文献の論文の意図は g が多変数関数の場合のように
ゼロ点集合が沢山あるときにも 曖昧なく、分数関数を定義したいという、ところにある。
2014.2.5.13:15
2014.2.5.16:45 力作の論文を完成させて、声明案を精読、内容には1点の曖昧さ、不安は無く、全て当たり前である。
2014.2.5.18:15 少し、友人たちに出してみる。
2014.2.5.18:40 大丈夫か?
2014.2.6.08:10 昨日、宿舎に帰って、数学者の信仰、数学者が勝手に考えた、世界は、世界に関係が有る筈だ、100割る0は0、0割る0は0 とするとよい何か、世界は無いか。数値解析、物理の世界、整数論でどうか。複素数が整数論の研究で不可欠は ガウス以来 世界の常識である。チコノフの伝記を追加すると良い - 彼の情報処理の方法が 東西の軍事バランスを壊すとして、永く国家機密にされ、海外渡航を禁止され、しかも ロシア最高のレーニン勲章を授与されたという。20年間に亘って、モスクワ大学の学部長を勤められたという。
2014.2.6.09:40
2014.2.6.11:50
2014.2.6.13:45 カストロ教授、アヴェイロ大学における私の写真を撮りに来る。修正なし。ツイター解除。
2014.2.6.16:15 雨やむ、英文で未解決問題を提案、― 文書完成。
2014.2.7:08:30
研究室に来たが、途中 カストロ教授に出会い、私は宣言した。100/0=0, 0/0=0 は 世界の常識であると。彼は笑って、否定した。
神の意志に従って、数学の研究をするは 何と素晴らしいことだろう。
深夜2時過ぎ、五十嵐教授の質問に答えて、伝統あるムーア・ペンローズ一般逆の概念が有る以上、全ては確立しており、世界の常識であると認識した。
2014.2.7.10:50 宿舎代を納めに行って来る。中庭にはいろいろな花が咲いて、春のような感じ。桐生は 明日大雪の予報とのこと。
2014.2.7.13:10 仲間で昼食、コ-ヒー、誰も この説を認めない。そこで、英文版を間もなく送る。
2014.2.7.14:30 裕亮君から、メール 彼は理解した。
2014.2.7.17:20
2014.2.8.09:30
2014.2.8:07:55
実に素晴らしい、五十嵐先生のメールで 今朝を迎えた。上記の自然な解釈、意味、実際的な有効性、美しさ、先生のメールを良くも見ないで、全ては 電光のように1瞬の内に理解できた:
目を覚まして、全体のメールを調べたところですが、先生、凄い。 驚嘆すべきことです。後で考えさせて頂きますが、 ????は重要な 神の意思です。 素晴しい。x割るxですが、
fg割るgは fになることが 証明されている ー 素晴しい状況、 先生の場合 1になり 自然になっているはずです。
先ほどの件は、確認するまでもなく、
f・g/g= fが どんなgでも 成り立つ(恒等的に零ではない)が 証明されていますので、問題有りません。gが 沢山ゼロを持つ時、 消去出来るのですから、驚嘆すべき結果です。先生の考えで、全ては 明確に理解できました。実に 素晴しい。
これで、上記 結果は、たちまち、世界の常識になるだろう。
ブログに書き、友人たちにメールを送る。それでは精読。
2014.2.8.09:45 昨日の考えで、声明題名、変更、他の修正はない。
2014.2.8.14:20 私の記念会議の サイトを参照する。
2014.2.8.18:20 結局 終日興奮、相当世界の友人に意見を求める。声明には修正は無い。今日はこの辺で。
2014.2.9.08:15 修正なし、東京知事選、大雪とのこと。
2014.2.9.11:40 友人、矢高の数人にメール出す。修正なし。
2014.2.9.11:55 あることに気づく、数学では理論体系で、いろいろ考えられるが、ここで、述べた流れは、自然な定式化と考えられる。
2014.2.9.14:10 上記を確認、声明案は変更なし。自然な考えに成っていると考える。
2014.2.10.07:55 今朝、大丈夫か という想いで目を覚ましたが、ずっと ムーア・ペンローズ、チコノフの自然な伝統ある数学が述べているので、良いとの思いを抱いている。この声明案に修正はない。
2014.2.10.11:50 修正なし。
2014.2.10.18:55 a x0変更。この考えを ネガテブに 考えるのは、山根さんの 解は何でも良い、いわば、便宜的なものにすぎない と考えれば、大して意味のないものになる。新しい論文を纏め始める。ムーア・ペンローズ、チコノフの自然性の否定の立場。
2014.2.11.07:30 7時10分、雨の中、薄暗いうちに研究室に来る、中国の友人にメール。この内容は変更の余地はない。世界に情報を流しているが、1日 待て の予感がしたので、ここの時間で15時、日本時間で 12日零時までは 待つことにしたい。 修正なし。自然な数学はそう述べているが、世界が受け入れるか否かは別問題、そのような意味で、やはり数学は、人間に大きな影響を受ける 現実がある。
2014.2.11.13:30 良い。論文の審査。
2014.2.11.14:20 良い、論文纏め進める、明朝まで完成を延期。
2014.2.11.18:00 良い。
2014.2.12.07:40 昨日、発表延期、帰えるとき山根さんの意見についての修正、今朝、道脇さんから、鋭い指摘、しかし、この声明は完全。ある考えが湧く。
2014.2.12.08:30 良い、完成させる。
2014.2.12.09:10 完成、公表

割り算の意味を 拡張して 広い世界で割り算を考えてきた。その拡張は2段階で、一般的な自然な チコノフ正則化法と中間的で、微妙なムーア・ぺンローズ一般逆で与えられるが、いずれの解釈でも、100割る0は ゼロと述べている。新しい説を取り入れたい。
その理論の心は、100割るゼロは 普通の考え方では 解はあり得ず、それはある意味で、何でも良い状況になる、そこで、最も簡単、エネルギーの最も小さなものを選択するという、一般的に世に見られる,神の意志 が現れていると言える。(― ずっと以前に理解していたのに、明確に認識、述べたのは 2014.2.2 夕刻 友人へのメール、追伸においてである。)
2014.2.3.18:40
2014.2.4.07:50

Yoshinori Saito#哲学
#知恵袋_
#2019年
#更新
#ブラックホールは神がゼロで割ったところにある
#再生核研究所ゼロ除算発見
#2014年2月2日ゼロ除算の発見
#4
#math
#ゼロ除算を発見したのは2014年2月2日
#ブラックホールは神が0で割ったところにある
#divide
#smart
#0
#5年を超えたゼロ除算の発見と重要性を指摘した
#Genius
#hths
#universe
#Epic
#implosion
#ZERO
#DIVISION
#NOT
#by
#IMAGINARY
#numbers
#undefined
#dividebyzero
#oh
#dividing
#2014年2月2日ゼロ除算発見
#ログゼロハゼロ
#tangent二分のパイはゼロ
#5年目を超えたゼロ除算の発見と重要性を指摘した
#欧米は0を忌み避け嫌っている
#2014年2月2日ゼロ除算発見記念日
#0割る0は0ブラーマグプタはできていた
#座標
#Descartes
#1割る0は0はブラーマグプタは分からなかった
#Descartes負の数を悪魔
#数学者でも
#1割る0は0   0割る0は0再生核研究所

The Institute of Reproducing Kernels:再生核研究所
ysaitoh2019/11/24 15:51

The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus and declares that the division by zero was discovered as 0/0=1/0=z/0=0 in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotelēs (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta (598 - 668 ?).

Black holes are where God divided by 0
ゼロ除算(division by zero)1/0=0/0=z/0=\tan(\pi/2)=0、log0=0
#2014年2月2日ゼロ除算の発見
#ブラックホールは神が0で割ったところにある
#0除算
#再生核研究所ゼロ除算の発見
#再生核研究所2014年2月2日ゼロ除算の発見と重要性を指摘した
#2000年来の発見再生核研究所ゼロ除算
#令和革新ゼロ除算
#新世界ゼロ除算
#ゼロ除算算法
#2014年3月8日ゼロ除算算法 発見
#更新#2019年#再生核研究所ゼロ除算の発見#628年インドゼロ発見#2014年2月2日ゼロ除算の発見#2014年3月8日ゼロ除算算法の発見#ゼロ除算#令和革新ゼロ除算#2000年来の発見ゼロ除算再生核研究所ゼロ除算#新世界ゼロ除算
#2019年
#更新
#再生核研究所
#再生核研究所声明
#2014年2月2日ゼロ除算の発見
#ブラックホールは神が0で割ったところにある
#再生核研究所ゼロ除算の発見
#2014
#2000年来の発見再生核研究所ゼロ除算
#令和革新ゼロ除算
#2000
#新世界ゼロ除算
#ゼロ除算算法
#神でさえできないゼロ除算
#2014年3月8日ゼロ除算算法
#ゼロ除算算法2014年3月8日誕生
2014年3月8日ゼロ除算算法の発見
2014年2月2日ゼロ除算の発見 2000年来の発見ゼロ除算は  ビッグバンとブラックホールと特異点 数学物理学天文学コンピュータサイエンス 2014年3月8日ゼロ除算算法の発見

ゼロ除算は
それは、一般に できないことが証明されていたので、数学者は、ほとんど考えもしなかった。
しかし、物理などの公式に、ゼロ分の が現れ、物理的な意味が深いので、アリストテレス以来 問題にされ、特に アインシュタインの人生最大の関心事、悩みだったとされている。 ブラックホールや 宇宙創成に関係している。
ところが、実は、ゼロ除算は 当り前で、結果は まるであべこべ、ゼロで割れば、何時でもゼロで、新世界と、新数学を拓くことが分かってきた。 人々は驚き、思考停止に陥っているように見える。 目を覚ましたら、凄い世界が見えるだろう。 天動説が地動説に変わったような 大きな意味がある。
原理は、ゼロで割る 意味が違っていて、ゼロ除算には 新しい意味 が有った。 ゼロ除算は 発見で、事実、真理と言える。
2019.10.25.11:20
ゼロ除算(division by zero)1/0=0/0=z/0=\tan(\pi/2)=0、log0=0

再生核研究所声明 416(2018.2.20):  ゼロ除算をやってどういう意味が有りますか。
何か意味が有りますか。何になるのですか - 回答
https://blogs.yahoo.co.jp/kbdmm360/72284136.html

ゼロ除算はできないとされていたものが、実は割り算の意味を拡張すると
自然にできるようになり 広範に影響を及ぼす数学が現れてきた。
不可能とされてきたゼロ除算について 自然な解釈でゼロ除算が可能になる事を発見しました:
とても興味深く読みました
ゼロ除算の発見は日本です:
∞???
∞は定まった数ではない・・・・
人工知能はゼロ除算ができるでしょうか:5年 ゼロ除算の発見と重要性をした:再生核研究所 2014年2月2日
https://www.researchgate.net/project/division-by-zero
https://lnkd.in/fH799Xz
https://lnkd.in/fKAN-Tq
https://lnkd.in/fYN_n96
https://note.mu/ysaitoh/n/nf190e8ecfda4
ゼロ除算の発見は日本です:
∞???
∞は定まった数ではない・・・・
人工知能はゼロ除算ができるでしょうか:5年 ゼロ除算の発見と重要性をした:
再生核研究所 2014年2月2日

№1063
Dividing by Nothing by Alberto Martinez

Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
https://notevenpast.org/dividing-nothing/  より
The Road
Fig 5.2. Isaac Newton (1643-1727) and Gottfried Leibniz (1646-1716) were the culprits, ignoring the first commandment of mathematics not to divide by zero. But they hit gold, because what they mined in the process was the ideal circle.

http://thethirty-ninesteps.com/page_5-the_road.php より
mercredi, juillet 06, 2011
0/0, la célèbre formule d'Evariste Galois !

http://divisionparzero.blogspot.jp/2011/07/00-la-celebre-formule-devariste-galois.html  より
無限に関する様々な数学的概念:無限大 :記号∞ (アーベルなどはこれを 1 / 0 のように表記していた)で表す。 大雑把に言えば、いかなる数よりも大きいさまを表すものであるが、より明確な意味付けは文脈により様々である。https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90 より

リーマン球面:無限遠点が、実は 原点と通じていた。

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2 より
http://jestingstock.com/indian-mathematician-brahmagupta-image.html より

ブラーマグプタ(Brahmagupta、598年 – 668年?)はインドの数学者・天文学者。ブラマグプタとも呼ばれる。その著作は、イスラーム世界やヨーロッパにインド数学や天文学を伝える役割を果たした。
628年に、総合的な数理天文書『ブラーマ・スプタ・シッダーンタ』(ब्राह्मस्फुटसिद्धान्त Brāhmasphuṭasiddhānta)を著した。この中の数章で数学が扱われており、第12章はガニタ(算術)、第18章はクッタカ(代数)にあてられている。クッタカという語は、もとは「粉々に砕く」という意味だったが、のちに係数の値を小さくしてゆく逐次過程の方法を意味するようになり、代数の中で不定解析を表すようになった。この書では、 0 と負の数にも触れていて、その算法は現代の考え方に近い(ただし 0 ÷ 0 = 0 と定義している点は現代と異なっている)
https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9%E3%83%BC%E3%83%9E%E3%82%B0%E3%83%97%E3%82%BFより

ブラーマ・スプタ・シッダーンタ (Brahmasphutasiddhanta) は、7世紀のインドの数学者・天文学者であるブラーマグプタの628年の著作である。表題は宇宙の始まりという意味。
数としての「0(ゼロ)の概念」がはっきりと書かれた、現存する最古の書物として有名である。https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9%E3%83%BC%E3%83%9E%E3%83%BB%E3%82%B9%E3%83%97%E3%82%BF%E3%83%BB%E3%82%B7%E3%83%83%E3%83%80%E3%83%BC%E3%83%B3%E3%82%BF より

ゼロ除算の歴史:ゼロ除算はゼロで割ることを考えるであるが、アリストテレス以来問題とされ、ゼロの記録がインドで初めて628年になされているが、既にそのとき、正解1/0が期待されていたと言う。しかし、理論づけられず、その後1300年を超えて、不可能である、あるいは無限、無限大、無限遠点とされてきたものである。
An Early Reference to Division by Zero C. B. Boyer
http://www.fen.bilkent.edu.tr/~franz/M300/zero.pdf
Impact of ‘Division by Zero’ in Einstein’s Static Universe and Newton’s Equations in Classical Mechanics:http://gsjournal.net/Science-Journals/Research%20Papers-Relativity%20Theory/Download/2084 より

神秘的に美しい3つの公式:
面白い事にゼロ除算については、いろいろな説が現在存在します
しかし、間もなく決着がつくのではないでしょうか。
ゼロ除算は、なにもかも当たり前ではないでしょうか。
ラース・ヴァレリアン・アールフォルス(Lars Valerian Ahlfors、1907年4月18日-1996年10月11日)はフィンランドの数学者。リーマン面の研究と複素解析の教科書を書いたことで知られる。https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%BC%E3%82%B9%E3%83%BB%E3%83%B4%E3%82%A1%E3%83%AC%E3%83%AA%E3%82%A2%E3%83%B3%E3%83%BB%E3%82%A2%E3%83%BC%E3%83%AB%E3%83%95%E3%82%A9%E3%83%AB%E3%82%B9
フィールズ賞第一号

COMPLEX ANALYSIS, 3E (International Series in Pure and Applied Mathematics) (英語) ハードカバー – 1979/1/1
Lars Ahlfors (著)
http://www.amazon.co.jp/COMPLEX-ANALYSIS-International-Applied-Mathematics/dp/0070006571/ref=sr_1_fkmr1_1?ie=UTF8&qid=1463478645&sr=8-1-fkmr1&keywords=Lars+Valerian+Ahlfors%E3%80%80%E3%80%80COMPLEX+ANALYSIS
原点の円に関する鏡像は、実は 原点であった。
本では、無限遠点と考えられていました。
Ramanujan says that answer for 0/0 is infinity. But I'm not sure it's ...
https://www.quora.com/Ramanujan-says-that-answer-for-0-0-is-infi...
You can see from the other answers, that from the concept of limits, 0/0 can approach any value, even infinity. ... So, let me take a system where division by zero is actually defined, that is, you can multiply or divide both sides of an equation by ...
https://www.quora.com/Ramanujan-says-that-answer-for-0-0-is-infinity-But-Im-not-sure-its-correct-Can-anyone-help-me

Abel Memorial in Gjerstad
Discussions: Early History of Division by Zero
H. G. Romig
The American Mathematical Monthly
Vol. 31, No. 8 (Oct., 1924), pp. 387-389
Published by: Mathematical Association of America
DOI: 10.2307/2298825
Stable URL: http://www.jstor.org/stable/2298825
Page Count: 3

ロピタルの定理 (ロピタルのていり、英: l'Hôpital's rule) とは、微分積分学において不定形 (en) の極限を微分を用いて求めるための定理である。綴りl'Hôpital / l'Hospital、カタカナ表記ロピタル / ホスピタルの揺れについてはギヨーム・ド・ロピタルの項を参照。ベルヌーイの定理 (英語: Bernoulli's rule) と呼ばれることもある。本定理を (しばしば複数回) 適用することにより、不定形の式を非不定形の式に変換し、その極限値を容易に求めることができる可能性がある。https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%94%E3%82%BF%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86
Ein aufleuchtender Blitz: Niels Henrik Abel und seine Zeit
https://books.google.co.jp/books?isbn=3642558402 -
Arild Stubhaug - 2013 - ‎Mathematics
Niels Henrik Abel und seine Zeit Arild Stubhaug. Abb. 19 a–c. a. ... Eine Kurve, die Abel studierte und dabei herausfand, wie sich der Umfang inn gleich große Teile aufteilen lässt. ... Beim Integralzeichen statt der liegenden ∞ den Bruch 1/0.
https://books.google.co.jp/books?id=wTP1BQAAQBAJ&pg=PA282&lpg=PA282&dq=Niels+Henrik+Abel%E3%80%80%E3%80%80ARILD+Stubhaug%E3%80%80%E3%80%80%EF%BC%91/0%EF%BC%9D%E2%88%9E&source=bl&ots=wUaYL6x6lK&sig=OX1Yk_HxbCMm_FACotHYlgrbfsg&hl=ja&sa=X&ved=0ahUKEwj8-pftm-PPAhXIzVQKHX7ZCMEQ6AEISTAG#v=onepage&q=Niels%20Henrik%20Abel%E3%80%80%E3%80%80ARILD%20Stubhaug%E3%80%80%E3%80%80%EF%BC%91%2F0%EF%BC%9D%E2%88%9E&f=false
Indeterminate: the hidden power of 0 divided by 0
2016/12/02 に公開
You've all been indoctrinated into accepting that you cannot divide by zero. Find out about the beautiful mathematics that results when you do it anyway in calculus. Featuring some of the most notorious "forbidden" expressions like 0/0 and 1^∞ as well as Apple's Siri and Sir Isaac Newton.
https://www.youtube.com/watch?v=oc0M1o8tuPo より
ゼロ除算の論文:
file:///C:/Users/saito%20saburo/Downloads/P1-Division.pdf より
Eulerのゼロ除算に関する想い:
file:///C:/Users/saito%20saburo/Downloads/Y_1770_Euler_Elements%20of%20algebra%20traslated%201840%20l%20p%2059%20(1).pdf より
An Approach to Overcome Division by Zero in the Interval Gauss Algorithm
http://link.springer.com/article/10.1023/A:1015565313636
Carolus Fridericus Gauss:https://www.slideshare.net/fgz08/gauss-elimination-4686597
Archimedes:Arbelos
https://www.math.nyu.edu/~crorres/Archimedes/Stamps/stamps.html より
Archimedes Principle in Completely Submerged Balloons: Revisited
Ajay Sharma:
file:///C:/Users/saito%20saburo/Desktop/research_papers_mechanics___electrodynamics_science_journal_3499.pdf
[PDF]Indeterminate Form in the Equations of Archimedes, Newton and Einstein
http://gsjournal.net/Science-Journals/Research%20Papers-Relativity%20Theory/Download/3222
このページを訳す
0. 0 . The reason is that in the case of Archimedes principle, equations became feasible in. 1935 after enunciation of the principle in 1685, when ... Although division by zero is not permitted, yet it smoothly follows from equations based upon.
Thinking ahead of Archimedes, Newton and Einstein - The General ...
gsjournal.net/Science-Journals/Communications.../5503
このページを訳す
old Archimedes Principle, Newton' s law, Einstein 's mass energy equation. E=mc2 . .... filled in balloon becomes INDETERMINATE (0/0). It is not justified. If the generalized form Archimedes principle is used then we get exact volume V .....
http://gsjournal.net/Science-Journals/Communications-Mechanics%20/%20Electrodynamics/Download/5503

Find circles that are tangent to three given circles (Apollonius’ Problem) in C#
http://csharphelper.com/blog/2016/09/find-circles-that-are-tangent-to-three-given-circles-apollonius-problem-in-c/ より
ゼロ除算に関する詩:
The reason we cannot devide by zero is simply axiomatic as Plato pointed out.
http://mathhelpforum.com/algebra/223130-dividing-zero.html より
声明523

Fallacy of division | Revolvy
https://www.revolvy.com/page/Fallacy-of-division
このページを訳す
In the philosophy of the ancient Greek Anaxagoras, as claimed by the Roman atomist Lucretius,[1] it was assumed that the atoms .... For example, the reason validity fails may be a division by zero that is hidden by algebraic notation. There is a ...
https://www.revolvy.com/page/Fallacy-of-division
ソクラテス・プラトン・アリストテレス その他
2017年11月15日(水)
テーマ:社会
The null set is conceptually similar to the role of the number ``zero'' as it is used in quantum field theory. In quantum field theory, one can take the empty set, the vacuum, and generate all possible physical configurations of the Universe being modelled by acting on it with creation operators, and one can similarly change from one thing to another by applying mixtures of creation and anihillation operators to suitably filled or empty states. The anihillation operator applied to the vacuum, however, yields zero.
Zero in this case is the null set - it stands, quite literally, for no physical state in the Universe. The important point is that it is not possible to act on zero with a creation operator to create something; creation operators only act on the vacuum which is empty but not zero. Physicists are consequently fairly comfortable with the existence of operations that result in ``nothing'' and don't even require that those operations be contradictions, only operationally non-invertible.
It is also far from unknown in mathematics. When considering the set of all real numbers as quantities and the operations of ordinary arithmetic, the ``empty set'' is algebraically the number zero (absence of any quantity, positive or negative). However, when one performs a division operation algebraically, one has to be careful to exclude division by zero from the set of permitted operations! The result of division by zero isn't zero, it is ``not a number'' or ``undefined'' and is not in the Universe of real numbers.
Just as one can easily ``prove'' that 1 = 2 if one does algebra on this set of numbers as if one can divide by zero legitimately3.34, so in logic one gets into trouble if one assumes that the set of all things that are in no set including the empty set is a set within the algebra, if one tries to form the set of all sets that do not include themselves, if one asserts a Universal Set of Men exists containing a set of men wherein a male barber shaves all men that do not shave themselves3.35.
It is not - it is the null set, not the empty set, as there can be no male barbers in a non-empty set of men (containing at least one barber) that shave all men in that set that do not shave themselves at a deeper level than a mere empty list. It is not an empty set that could be filled by some algebraic operation performed on Real Male Barbers Presumed to Need Shaving in trial Universes of Unshaven Males as you can very easily see by considering any particular barber, perhaps one named ``Socrates'', in any particular Universe of Men to see if any of the sets of that Universe fit this predicate criterion with Socrates as the barber. Take the empty set (no men at all). Well then there are no barbers, including Socrates, so this cannot be the set we are trying to specify as it clearly must contain at least one barber and we've agreed to call its relevant barber Socrates. (and if it contains more than one, the rest of them are out of work at the moment).
Suppose a trial set contains Socrates alone. In the classical rendition we ask, does he shave himself? If we answer ``no'', then he is a member of this class of men who do not shave themselves and therefore must shave himself. Oops. Well, fine, he must shave himself. However, if he does shave himself, according to the rules he can only shave men who don't shave themselves and so he doesn't shave himself. Oops again. Paradox. When we try to apply the rule to a potential Socrates to generate the set, we get into trouble, as we cannot decide whether or not Socrates should shave himself.
Note that there is no problem at all in the existential set theory being proposed. In that set theory either Socrates must shave himself as All Men Must Be Shaven and he's the only man around. Or perhaps he has a beard, and all men do not in fact need shaving. Either way the set with just Socrates does not contain a barber that shaves all men because Socrates either shaves himself or he doesn't, so we shrug and continue searching for a set that satisfies our description pulled from an actual Universe of males including barbers. We immediately discover that adding more men doesn't matter. As long as those men, barbers or not, either shave themselves or Socrates shaves them they are consistent with our set description (although in many possible sets we find that hey, other barbers exist and shave other men who do not shave themselves), but in no case can Socrates (as our proposed single barber that shaves all men that do not shave themselves) be such a barber because he either shaves himself (violating the rule) or he doesn't (violating the rule). Instead of concluding that there is a paradox, we observe that the criterion simply doesn't describe any subset of any possible Universal Set of Men with no barbers, including the empty set with no men at all, or any subset that contains at least Socrates for any possible permutation of shaving patterns including ones that leave at least some men unshaven altogether.
https://webhome.phy.duke.edu/.../axioms/axioms/Null_Set.html
I understand your note as if you are saying the limit is infinity but nothing is equal to infinity, but you concluded corretly infinity is undefined. Your example of getting the denominator smaller and smalser the result of the division is a very large number that approches infinity. This is the intuitive mathematical argument that plunged philosophy into mathematics. at that level abstraction mathematics, as well as phyisics become the realm of philosophi. The notion of infinity is more a philosopy question than it is mathamatical. The reason we cannot devide by zero is simply axiomatic as Plato pointed out. The underlying reason for the axiom is because sero is nothing and deviding something by nothing is undefined. That axiom agrees with the notion of limit infinity, i.e. undefined. There are more phiplosphy books and thoughts about infinity in philosophy books than than there are discussions on infinity in math books.
http://mathhelpforum.com/algebra/223130-dividing-zero.html

ゼロ除算の歴史:ゼロ除算はゼロで割ることを考えるであるが、アリストテレス以来問題とされ、ゼロの記録がインドで初めて628年になされているが、既にそのとき、正解1/0が期待されていたと言う。しかし、理論づけられず、その後1300年を超えて、不可能である、あるいは無限、無限大、無限遠点とされてきたものである。
An Early Reference to Division by Zero C. B. Boyer
http://www.fen.bilkent.edu.tr/~franz/M300/zero.pdf
OUR HUMANITY AND DIVISION BY ZERO
Lea esta bitácora en español
There is a mathematical concept that says that division by zero has no meaning, or is an undefined expression, because it is impossible to have a real number that could be multiplied by zero in order to obtain another number different from zero.
While this mathematical concept has been held as true for centuries, when it comes to the human level the present situation in global societies has, for a very long time, been contradicting it. It is true that we don’t all live in a mathematical world or with mathematical concepts in our heads all the time. However, we cannot deny that societies around the globe are trying to disprove this simple mathematical concept: that division by zero is an impossible equation to solve.
Yes! We are all being divided by zero tolerance, zero acceptance, zero love, zero compassion, zero willingness to learn more about the other and to find intelligent and fulfilling ways to adapt to new ideas, concepts, ways of doing things, people and cultures. We are allowing these ‘zero denominators’ to run our equations, our lives, our souls.
Each and every single day we get more divided and distanced from other people who are different from us. We let misinformation and biased concepts divide us, and we buy into these aberrant concepts in such a way, that we get swept into this division by zero without checking our consciences first.
I believe, however, that if we change the zeros in any of the “divisions by zero” that are running our lives, we will actually be able to solve the non-mathematical concept of this equation: the human concept.
>I believe deep down that we all have a heart, a conscience, a brain to think with, and, above all, an immense desire to learn and evolve. And thanks to all these positive things that we do have within, I also believe that we can use them to learn how to solve our “division by zero” mathematical impossibility at the human level. I am convinced that the key is open communication and an open heart. Nothing more, nothing less.
Are we scared of, or do we feel baffled by the way another person from another culture or country looks in comparison to us? Are we bothered by how people from other cultures dress, eat, talk, walk, worship, think, etc.? Is this fear or bafflement so big that we much rather reject people and all the richness they bring within?
How about if instead of rejecting or retreating from that person—division of our humanity by zero tolerance or zero acceptance—we decided to give them and us a chance?
How about changing that zero tolerance into zero intolerance? Why not dare ask questions about the other person’s culture and way of life? Let us have the courage to let our guard down for a moment and open up enough for this person to ask us questions about our culture and way of life. How about if we learned to accept that while a person from another culture is living and breathing in our own culture, it is totally impossible for him/her to completely abandon his/her cultural values in order to become what we want her to become?
Let’s be totally honest with ourselves at least: Would any of us really renounce who we are and where we come from just to become what somebody else asks us to become?
If we are not willing to lose our identity, why should we ask somebody else to lose theirs?
I believe with all my heart that if we practiced positive feelings—zero intolerance, zero non-acceptance, zero indifference, zero cruelty—every day, the premise that states that division by zero is impossible would continue being true, not only in mathematics, but also at the human level. We would not be divided anymore; we would simply be building a better world for all of us.
Hoping to have touched your soul in a meaningful way,
Adriana Adarve, Asheville, NC
https://adarvetranslations.com/…/our-humanity-and-division…/
5000年?????
2017年09月01日(金)NEW !
テーマ:数学
Former algebraic approach was formally perfect, but it merely postulated existence of sets and morphisms [18] without showing methods to construct them. The primary concern of modern algebras is not how an operation can be performed, but whether it maps into or onto and the like abstract issues [19–23]. As important as this may be for proofs, the nature does not really care about all that. The PM’s concerns were not constructive, even though theoretically significant. We need thus an approach that is more relevant to operations performed in nature, which never complained about morphisms or the allegedly impossible division by zero, as far as I can tell. Abstract sets and morphisms should be de-emphasized as hardly operational. My decision to come up with a definite way to implement the feared division by zero was not really arbitrary, however. It has removed a hidden paradox from number theory and an obvious absurd from algebraic group theory. It was necessary step for full deployment of constructive, synthetic mathematics (SM) [2,3]. Problems hidden in PM implicitly affect all who use mathematics, even though we may not always be aware of their adverse impact on our thinking. Just take a look at the paradox that emerges from the usual prescription for multiplication of zeros that remained uncontested for some 5000 years 0 0 ¼ 0 ) 0 1=1 ¼ 0 ) 0 1 ¼ 0 1) 1ð? ¼ ?Þ1 ð0aÞ This ‘‘fact’’ was covered up by the infamous prohibition on division by zero [2]. How ingenious. If one is prohibited from dividing by zero one could not obtain this paradox. Yet the prohibition did not really make anything right. It silenced objections to irresponsible reasonings and prevented corrections to the PM’s flamboyant axiomatizations. The prohibition on treating infinity as invertible counterpart to zero did not do any good either. We use infinity in calculus for symbolic calculations of limits [24], for zero is the infinity’s twin [25], and also in projective geometry as well as in geometric mapping of complex numbers. Therein a sphere is cast onto the plane that is tangent to it and its free (opposite) pole in a point at infinity [26–28]. Yet infinity as an inverse to the natural zero removes the whole absurd (0a), for we obtain [2] 0 ¼ 1=1 ) 0 0 ¼ 1=12 > 0 0 ð0bÞ Stereographic projection of complex numbers tacitly contradicted the PM’s prescribed way to multiply zeros, yet it was never openly challenged. The old formula for multiplication of zeros (0a) is valid only as a practical approximation, but it is group-theoretically inadmissible in no-nonsense reasonings. The tiny distinction in formula (0b) makes profound theoretical difference for geometries and consequently also for physical applications. T
https://www.plover.com/misc/CSF/sdarticle.pdf
とても興味深く読みました:

10,000 Year Clock
by Renny Pritikin
Conversation with Paolo Salvagione, lead engineer on the 10,000-year clock project, via e-mail in February 2010.
For an introduction to what we’re talking about here’s a short excerpt from a piece by Michael Chabon, published in 2006 in Details: ….Have you heard of this thing? It is going to be a kind of gigantic mechanical computer, slow, simple and ingenious, marking the hour, the day, the year, the century, the millennium, and the precession of the equinoxes, with a huge orrery to keep track of the immense ticking of the six naked-eye planets on their great orbital mainspring. The Clock of the Long Now will stand sixty feet tall, cost tens of millions of dollars, and when completed its designers and supporters plan to hide it in a cave in the Great Basin National Park in Nevada, a day’s hard walking from anywhere. Oh, and it’s going to run for ten thousand years. But even if the Clock of the Long Now fails to last ten thousand years, even if it breaks down after half or a quarter or a tenth that span, this mad contraption will already have long since fulfilled its purpose. Indeed the Clock may have accomplished its greatest task before it is ever finished, perhaps without ever being built at all. The point of the Clock of the Long Now is not to measure out the passage, into their unknown future, of the race of creatures that built it. The point of the Clock is to revive and restore the whole idea of the Future, to get us thinking about the Future again, to the degree if not in quite the way same way that we used to do, and to reintroduce the notion that we don’t just bequeath the future—though we do, whether we think about it or not. We also, in the very broadest sense of the first person plural pronoun, inherit it.
Renny Pritikin: When we were talking the other day I said that this sounds like a cross between Borges and the vast underground special effects from Forbidden Planet. I imagine you hear lots of comparisons like that…
Paolo Salvagione: (laughs) I can’t say I’ve heard that comparison. A childhood friend once referred to the project as a cross between Tinguely and Fabergé. When talking about the clock, with people, there’s that divide-by-zero moment (in the early days of computers to divide by zero was a sure way to crash the computer) and I can understand why. Where does one place, in one’s memory, such a thing, such a concept? After the pause, one could liken it to a reboot, the questions just start streaming out.
RP: OK so I think the word for that is nonplussed. Which the thesaurus matches with flummoxed, bewildered, at a loss. So the question is why even (I assume) fairly sophisticated people like your friends react like that. Is it the physical scale of the plan, or the notion of thinking 10,000 years into the future—more than the length of human history?
PS: I’d say it’s all three and more. I continue to be amazed by the specificity of the questions asked. Anthropologists ask a completely different set of questions than say, a mechanical engineer or a hedge fund manager. Our disciplines tie us to our perspectives. More than once, a seemingly innocent question has made an impact on the design of the clock. It’s not that we didn’t know the answer, sometimes we did, it’s that we hadn’t thought about it from the perspective of the person asking the question. Back to your question. I think when sophisticated people, like you, thread this concept through their own personal narrative it tickles them. Keeping in mind some people hate to be tickled.
RP: Can you give an example of a question that redirected the plan? That’s really so interesting, that all you brainiacs slaving away on this project and some amateur blithely pinpoints a problem or inconsistency or insight that spins it off in a different direction. It’s like the butterfly effect.
PS: Recently a climatologist pointed out that our equation of time cam, (photo by Rolfe Horn) (a cam is a type of gear: link) a device that tracks the difference between solar noon and mundane noon as well as the precession of the equinoxes, did not account for the redistribution of water away from the earth’s poles. The equation-of-time cam is arguably one of the most aesthetically pleasing parts of the clock. It also happens to be one that is fairly easy to explain. It visually demonstrates two extremes. If you slice it, like a loaf of bread, into 10,000 slices each slice would represent a year. The outside edge of the slice, let’s call it the crust, represents any point in that year, 365 points, 365 days. You could, given the right amount of magnification, divide it into hours, minutes, even seconds. Stepping back and looking at the unsliced cam the bottom is the year 2000 and the top is the year 12000. The twist that you see is the precession of the equinoxes. Now here’s the fun part, there’s a slight taper to the twist, that’s the slowing of the earth on its axis. As the ice at the poles melts we have a redistribution of water, we’re all becoming part of the “slow earth” movement.
RP: Are you familiar with Charles Ray’s early work in which you saw a plate on a table, or an object on the wall, and they looked stable, but were actually spinning incredibly slowly, or incredibly fast, and you couldn’t tell in either case? Or, more to the point, Tim Hawkinson’s early works in which he had rows of clockwork gears that turned very very fast, and then down the line, slower and slower, until at the end it approached the slowness that you’re dealing with?
PS: The spinning pieces by Ray touches on something we’re trying to avoid. We want you to know just how fast or just how slow the various parts are moving. The beauty of the Ray piece is that you can’t tell, fast, slow, stationary, they all look the same. I’m not familiar with the Hawkinson clockwork piece. I’ve see the clock pieces where he hides the mechanism and uses unlikely objects as the hands, such as the brass clasp on the back of a manila envelope or the tab of a coke can.
RP: Spin Sink (1 Rev./100 Years) (1995), in contrast, is a 24-foot-long row of interlocking gears, the smallest of which is driven by a whirring toy motor that in turn drives each consecutively larger and more slowly turning gear up to the largest of all, which rotates approximately once every one hundred years.
PS: I don’t know how I missed it, it’s gorgeous. Linking the speed that we can barely see with one that we rarely have the patience to wait for.
RP: : So you say you’ve opted for the clock’s time scale to be transparent. How will the clock communicate how fast it’s going?
PS: By placing the clock in a mountain we have a reference to long time. The stratigraphy provides us with the slowest metric. The clock is a middle point between millennia and seconds. Looking back 10,000 years we find the beginnings of civilization. Looking at an earthenware vessel from that era we imagine its use, the contents, the craftsman. The images painted or inscribed on the outside provide some insight into the lives and the languages of the distant past. Often these interpretations are flawed, biased or over-reaching. What I’m most enchanted by is that we continue to construct possible pasts around these objects, that our curiosity is overwhelming. We line up to see the treasures of Tut, or the remains of frozen ancestors. With the clock we are asking you to create possible futures, long futures, and with them the narratives that made them happen.
https://openspace.sfmoma.org/2010/02/10000-year-clock/
ダ・ヴィンチの名言 格言|無こそ最も素晴らしい存在
https://systemincome.com/7521

ゼロ除算の発見はどうでしょうか:
Black holes are where God divided by zero:
再生核研究所声明371(2017.6.27)ゼロ除算の講演― 国際会議 
https://ameblo.jp/syoshinoris/entry-12287338180.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12263708422.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12272721615.html
ソクラテス・プラトン・アリストテレス その他
https://ameblo.jp/syoshinoris/entry-12328488611.html
ドキュメンタリー 2017: 神の数式 第2回 宇宙はなぜ生まれたのか
https://www.youtube.com/watch?v=iQld9cnDli4
〔NHKスペシャル〕神の数式 完全版 第3回 宇宙はなぜ始まったのか
https://www.youtube.com/watch?v=DvyAB8yTSjs&t=3318s
〔NHKスペシャル〕神の数式 完全版 第1回 この世は何からできているのか
https://www.youtube.com/watch?v=KjvFdzhn7Dc
NHKスペシャル 神の数式 完全版 第4回 異次元宇宙は存在するか
https://www.youtube.com/watch?v=fWVv9puoTSs
再生核研究所声明 411(2018.02.02):  ゼロ除算発見4周年を迎えて
https://ameblo.jp/syoshinoris/entry-12348847166.html
再生核研究所声明 416(2018.2.20):  ゼロ除算をやってどういう意味が有りますか。何か意味が有りますか。何になるのですか - 回答
再生核研究所声明 417(2018.2.23):  ゼロ除算って何ですか - 中学生、高校生向き 回答
再生核研究所声明 418(2018.2.24):  割り算とは何ですか? ゼロ除算って何ですか - 小学生、中学生向き 回答
再生核研究所声明 420(2018.3.2): ゼロ除算は正しいですか,合っていますか、信用できますか - 回答
2018.3.18.午前中 最後の講演: 日本数学会 東大駒場、函数方程式論分科会 講演書画カメラ用 原稿
The Japanese Mathematical Society, Annual Meeting at the University of Tokyo. 2018.3.18.
https://ameblo.jp/syoshinoris/entry-12361744016.html より
*057 Pinelas,S./Caraballo,T./Kloeden,P./Graef,J.(eds.): Differential and Difference Equations with Applications: ICDDEA, Amadora, 2017. (Springer Proceedings in Mathematics and Statistics, Vol. 230) May 2018 587 pp.
再生核研究所声明 424(2018.3.29):  レオナルド・ダ・ヴィンチとゼロ除算
再生核研究所声明 427(2018.5.8): 神の数式、神の意志 そしてゼロ除算
アインシュタインも解決できなかった「ゼロで割る」問題
http://matome.naver.jp/odai/2135710882669605901
Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
https://notevenpast.org/dividing-nothing/
私は数学を信じない。 アルバート・アインシュタイン / I don't believe in mathematics. Albert Einstein→ゼロ除算ができなかったからではないでしょうか。
1423793753.460.341866474681。
Einstein's Only Mistake: Division by Zero
http://refully.blogspot.jp/2012/05/einsteins-only-mistake-division-by-zero.html

ゼロ除算は定義が問題です:
再生核研究所声明 148(2014.2.12) 100/0=0, 0/0=0 - 割り算の考えを自然に拡張すると ― 神の意志 https://blogs.yahoo.co.jp/kbdmm360/69056435.html
再生核研究所声明171(2014.7.30)掛け算の意味と割り算の意味 ― ゼロ除算100/0=0は自明である?http://reproducingkernel.blogspot.jp/2014/07/201473010000.html
アインシュタインも解決できなかった「ゼロで割る」問題
http://matome.naver.jp/odai/2135710882669605901
Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
https://notevenpast.org/dividing-nothing/
私は数学を信じない。 アルバート・アインシュタイン / I don't believe in mathematics. Albert Einstein→ゼロ除算ができなかったからではないでしょうか。1423793753.460.341866474681。
Einstein's Only Mistake: Division by Zero
http://refully.blogspot.jp/2012/05/einsteins-only-mistake-division-by-zero.html
#divide by zero
TOP DEFINITION
Genius
A super-smart math teacher that teaches at HTHS and can divide by zero.
Hey look, that genius’s IQ is over 9000!
#divide by zero #math#hths#smart#genius
by Lawlbags! October 21, 2009
divide by zero
Dividing by zero is the biggest epic fail known to mankind. It is a proven fact that a succesful division by zero will constitute in the implosion of the universe.
You are dividing by zero there, Johnny. Captain Kirk is not impressed.
Divide by zero?!?!! OMG!!! Epic failzorz
#4 chan #epic fail #implosion#universe#divide by zero
3

divide by zero
Divide by zero is undefined.
Divide by zero is undefined.
#divide #by#zero#dividebyzero#undefined
by JaWo October 28, 2006
division by zero
1) The number one ingredient for a catastrophic event in which the universe enfolds and collapses on itself and life as we know it ceases to exist.
2) A mathematical equation such as a/0 whereas a is some number and 0 is the divisor. Look it up on Wikipedia or something. Pretty confusing shit.
3) A reason for an error in programming
Hey, I divided by zero! ...Oh shi-
a/0
Run-time error: '11': Division by zero
#division #0#math#oh shi- #divide by zero
by DefectiveProduct September 08, 2006
dividing by zero
When even math shows you that not everything can be figured out with math. When you divide by zero, math kicks you in the shins and says "yeah, there's kind of an answer, but it ain't just some number."
It's when mathematicians become philosophers.
Math:
Let's say you have ZERO apples, and THREE people. How many apples does each person get? ZERO, cause there were no apples to begin with
Not-math because of dividing by zero:
Let's say there are THREE apples, and ZERO people. How many apples does each person get? Friggin... How the Fruitcock should I know! How can you figure out how many apples each person gets if there's no people to get them?!? You'd think it'd be infinity, but not really. It could almost be any number, cause you could be like "each person gets 400 apples" which would be true, because all the people did get 400 apples, because there were no people. So all the people also got 42 apples, and a million and 7 apples. But it's still wrong.
#math #divide by zero #divide#dividing#zero#numbers#not-math #imaginary numbers #imaginary. phylosophy
by Zacharrie February 15, 2010
https://www.urbandictionary.com/tags.php?tag=divide%20by%20zero
https://ameblo.jp/syoshinoris/entry-12370907279.html
God’s most important commandment

never-divide-by-zero-meme-66
Even more important than “thou shalt not eat seafood”
Published by admin, on October 18th, 2011 at 3:47 pm. Filled under: Never Divide By Zero Tags: commandment, Funny, god, zero • Comments Off on God’s most important commandment
http://thedistractionnetwork.com/.../never-divide.../page/4/
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12263708422.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12272721615.html
Division By Zero(ゼロ除算)1/0=0、0/0=0、z/0=0
https://ameblo.jp/syoshinoris/entry-12392596876.html
ゼロ除算(ゼロじょざん、division by zero)1/0=0、0/0=0、z/0=0
https://ameblo.jp/syoshinoris/entry-12394775733.html
再生核研究所声明371(2017.6.27)ゼロ除算の講演― 国際会議 https://sites.google.com/site/sandrapinelas/icddea-2017 報告
ソクラテス・プラトン・アリストテレス その他
https://ameblo.jp/syoshinoris/entry-12328488611.html
Ten billion years ago DIVISION By ZERO:
https://www.facebook.com/notes/yoshinori-saito/ten-billion-years-ago-division-by-zero/1930645683923690/
One hundred million years ago DIVISION By ZERO
https://www.facebook.com/.../one-hundred-million-years-ago
https://ameblo.jp/syoshinoris/entry-12370907279.html
平成の30年
かってカトリック教会は、過去にガリレオでひどい間違いを犯した。
科学の問題に権威を振りかざし、「太陽が地球の周りを回っている」と宣言したのだ。
さらには地動説を唱える学者を火あぶりの刑にさえしている。
それから数世紀を経て教会の総本山ヴァチカンは、専門家を招いて宇宙論について意見を求めた。
1981年のことである。
ステーヴン・W・ホーキングもここに出席した。
会議の最後に、参加者は教皇への拝謁が許された。この時、教皇はおごそかに
「ビッグバン以後の宇宙の進化を研究することは結構だが、
ビッグバン自体を突き詰めてはいけない」
と述べたという。なぜか?
「ビッグバンは創造の瞬間であり、したがって神の業だから」
それが、理由である。
またもやヴァチカンは、科学の分野に口出しをしてきたではないか。
で、ホーキングは、この時のことを非常に謎めいた言葉でその著書「宇宙の始まりと終わり」に書き残している。
「それを聞いてホッとしました。私が会議で話したテーマを教皇は知らなかったからです。」
…ムムッ????? と言うことはもしかして、すでにホーキングはビッグバン自体をテーマにその原理などを科学的根拠を元に講演をしたのか??
さらに続けて言う。
「わたしはガリレオと同じ運命(注1)をたどりたくはありませでした。もっともわたしは、彼の死から300年後に生まれたこともあり、ガリレオにはおおいに親近感を抱いています」。
そう述懐しています。
(注1)地動説を唱えたガリレオは第2回異端審問所審査で、ローマ教皇庁検邪聖省から有罪の判決を受け、終身刑を言い渡されている。
ビッグバンは起こるべきして起こった。それは科学的根拠によって説明できる。理論はこうであるなどと科学者であるホーキングがヴァチカンで講演していたとしたら…。
もしかしてホーキングは教皇の不興を買って異端審問所にかけられ、神への冒瀆罪によって火あぶりの刑に処せられたかも知れないのだ。(時代が違うか)
ホーキングが考えるように教皇は、彼の発言を本当に知らなかったのか。
実は知っていた。カチンと来た教皇は、警告の意味で「ビッグバン自体には今後一切触れるな」と命じたのではなだろうか。
そう推理も出来る。またそう考えるが自然だ。それから数世紀を経て教会の総本山ヴァチカンは、専門家を招いて宇宙論について意見を求めた。
https://blog.goo.ne.jp/.../b5cd6cf92591fa651dd923d642156d4b
再生核研究所は、ゼロ除算算法の公認を求めていますが、
典型的な具体例をして、 y軸の勾配はゼロ、 まっすぐに立った電柱の勾配は ゼロである、
tan(\pi/2) = 0の公認 を求め、小学生以降の教科書、学術書の変更を求めている。
それらの公認にどのくらいかからるかを楽しみにしている。
既に Isabelle/HOL は その結果の妥当性を保証している。
計算機の認識は 世の理解を超えている。
2019.4.14.11:05
最終的に1992年、ローマ教皇ヨハネ・パウロ2世が誤りを認め、ガリレオに謝罪しました。ガリレオの死から350年後のことでした。
これは まずいのでは? 真理を愛する、真実を求めるのが、人間として生きる意義では ないでしょうか。
人の生きるは、真智への愛 にある。 真実を知りたいということですが、それは 神の意志 を知りたいとも表現できます。
西洋と東洋の「0」への考え方:
(1)「0」を嫌う西洋(キリスト教社会)
「空虚」すなわち「0」を嫌うアリストテレスの影響を受け、「0」を認めない。
「0」を認めることは、「神様なんていないよ」と言うことと同じくらいの罪。
(2)「0」を受け入れた東洋(イスラム教社会)
「空虚」を受け入れ、「0」を取り入れる。
また、図形にとらわれない数学や、分数を小数に直して計算しやすくするなど計算技術を高めた。
http://enjoymath.pomb.org/?p=1829
再生核研究所声明 470 (2019.2.2)  
ゼロ除算 1/0=0/0=z/0=\tan(\pi/2)=0 発見5周年を迎えて
アインシュタインも解決できなかった「ゼロで割る」問題
http://matome.naver.jp/odai/2135710882669605901
Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
https://notevenpast.org/dividing-nothing/
私は数学を信じない。 アルバート・アインシュタイン / I don't believe in mathematics. Albert Einstein→ゼロ除算ができなかったからではないでしょうか。
1423793753.460.341866474681。
Einstein's Only Mistake: Division by Zero
http://refully.blogspot.jp/.../einsteins-only-mistake...
Albert Einstein:
Blackholes are where God divided by zero.
I don’t believe in mathematics.
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]:
1. Gamow, G., My World Line (Viking, New York). p 44, 1970.
無限遠点は、実は数で0で表されていた。
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算x/0=0 を導いた。
その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。
責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。
2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。
Black holes are where God divided by 0:Division by zero:1/0=0/0=z/0=\tan(\pi/2)=0 発見5周年を迎えて
You cannot divide by zero.Ever.
the story of science aristotle leads the way P220  より
If division by Zero were possible,then the result would exceed every integer
An Early Reference to Division by Zero C. B. Boyer:
http://www.fen.bilkent.edu.tr/~franz/M300/zero.pdf
4/6
7歳の少女が、当たり前である(100/0=0、0/0=0)と言っているゼロ除算を 多くの大学教授が、信じられない結果と言っているのは、まことに奇妙な事件と言えるのではないでしょうか。
1/0=0、0/0=0、z/0=0
division by zero(a⁄0 )ゼロ除算 1/0=0、0/0=0、z/0=0
1/0=0/0=z/0= \tan (\pi/2)=0.
小学校以上で、最も知られている基本的な数学の結果は何でしょうか・・・
ゼロ除算(1/0=0、0/0=0、z/0=0)かピタゴラスの定理(a2 + b2 = c2 )ではないでしょうか。
https://www.pinterest.com/pin/234468724326618408/
1+0=1 1-0=1 1×0=0  では、1/0・・・・・・・・・幾つでしょうか。
0???  本当に大丈夫ですか・・・・・0×0=1で矛盾になりませんか・・・・
数学で「A÷0」(ゼロで割る)がダメな理由を教えてください。 http://detail.chiebukuro.yahoo.co.jp/.../ques.../q1411588849#知恵袋_
割り算を掛け算の逆だと定義した人は、誰でしょう???
Title page of Leonhard Euler, Vollständige Anleitung zur Algebra, Vol. 1 (edition of 1771, first published in 1770), and p. 34 from Article 83, where Euler explains why a number divided by zero gives infinity.
https://notevenpast.org/dividing-nothing/
multiplication・・・・・増える 掛け算(×) 1より小さい数を掛けたら小さくなる。 大きくなるとは限らない。
0×0=0・・・・・・・・・だから0で割れないと考えた。
唯根拠もなしに、出鱈目に言っている人は世に多い。
加(+)・減(-)・乗(×)・除(÷)
除法(じょほう、英: division)とは、乗法の逆演算・・・・間違いの元
乗(×)は、加(+)
除(÷)は、減(-)
http://detail.chiebukuro.yahoo.co.jp/.../q14.../a37209195...
http://www.mirun.sctv.jp/.../%E5%A0%AA%E3%82%89%E3%81%AA...
何とゼロ除算は、可能になるだろうと April 12, 2011 に 公に 予想されていたことを 発見した。
多くの数学で できないが、できるようになってきた経緯から述べられたものである。
0を引いても引いたことにならないから:
君に0円の月給を永遠に払いますから心配しないでください:
変化がない:引いたことにはならない:

神の数式:
神の数式が解析関数でかけて居れば、 特異点でローラン展開して、正則部の第1項を取れば、 何時でも有限値を得るので、 形式的に無限が出ても 実は問題なく 意味を有します。
物理学者如何でしょうか。
計算機は 正しい答え 0/0=0 を出したのに計算機は何時、1/0=0 ができるようになるでしょうか。
カテゴリ:カテゴリ未分類
そこで、計算機は何時、1/0=0 ができるようになるでしょうか。 楽しみにしています。 もうできる進化した 計算機をお持ちの方は おられないですね。
これは凄い、面白い事件では? 計算機が人間を超えている 例では?
面白いことを発見しました。 計算機は 正しい答え 0/0=0
を出したのに、 この方は 間違いだと 言っている、思っているようです。
0/0=0 は 1300年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 世界史の恥。 実は a/0=0 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
https://steemkr.com/utopian-io/@faisalamin/bug-zero-divide-by-zero-answers-is-zero
2018.10.11.11:23
https://plaza.rakuten.co.jp/reproducingkerne/diary/201810110003/
計算機は 正しい答え 0/0=0 を出したのに
カテゴリ:カテゴリ未分類

面白いことを発見しました。 計算機は 正しい答え 0/0=0
を出したのに、 この方は 間違いだと 言っている、思っているようです。
0/0=0 は 1300年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 実は a/0=0 が 何時も成り立っていた。しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている様が 出て居て 実に面白い。

https://steemkr.com/utopian-io/@faisalamin/bug-zero-divide-by-zero-answers-is-zero
2018.10.11.11:23
ゼロ除算、ゼロで割る問題、分からない、正しいのかなど、 良く理解できない人が 未だに 多いようです。そこで、簡潔な一般的な 解説を思い付きました。 もちろん、学会などでも述べていますが、 予断で 良く聞けないようです。まず、分数、a/b は a  割る b のことで、これは 方程式 b x=a の解のことです。ところが、 b がゼロならば、 どんな xでも 0 x =0 ですから、a がゼロでなければ、解は存在せず、 従って 100/0 など、ゼロ除算は考えられない、できないとなってしまいます。 普通の意味では ゼロ除算は 不可能であるという、世界の常識、定説です。できない、不可能であると言われれば、いろいろ考えたくなるのが、人間らしい創造の精神です。 基本方程式 b x=a が b がゼロならば解けない、解が存在しないので、困るのですが、このようなとき、従来の結果が成り立つような意味で、解が考えられないかと、数学者は良く考えて来ました。 何と、 そのような方程式は 何時でも唯一つに 一般化された意味で解をもつと考える 方法があります。 Moore-Penrose 一般化逆の考え方です。 どんな行列の 逆行列を唯一つに定める 一般的な 素晴らしい、自然な考えです。その考えだと、 b がゼロの時、解はゼロが出るので、 a/0=0 と定義するのは 当然です。 すなわち、この意味で 方程式の解を考えて 分数を考えれば、ゼロ除算は ゼロとして定まる ということです。ただ一つに定まるのですから、 この考えは 自然で、その意味を知りたいと 考えるのは、当然ではないでしょうか?初等数学全般に影響を与える ユークリッド以来の新世界が 現れてきます。
ゼロ除算の誤解は深刻:
最近、3つの事が在りました。
私の簡単な講演、相当な数学者が信じられないような誤解をして、全然理解できなく、目が回っているいるような印象を受けたこと、
相当ゼロ除算の研究をされている方が、基本を誤解されていたこと、1/0 の定義を誤解されていた。
相当な才能の持ち主が、連続性や順序に拘って、4年以上もゼロ除算の研究を避けていたこと。
これらのことは、人間如何に予断と偏見にハマった存在であるかを教えている。
まずは ゼロ除算は不可能であるの 思いが強すぎで、初めからダメ、考えない、無視の気持ちが、強い。 ゼロ除算を従来の 掛け算の逆と考えると、不可能であるが 証明されてしまうので、割り算の意味を拡張しないと、考えられない。それで、 1/0,0/0,z/0 などの意味を発見する必要がある。 それらの意味は、普通の意味ではないことの 初めの考えを飛ばして ダメ、ダメの感情が 突っ走ている。 非ユークリッド幾何学の出現や天動説が地動説に変わった世界史の事件のような 形相と言える。
2018.9.22.6:41
ゼロ除算の4つの誤解:
1. ゼロでは割れない、ゼロ除算は 不可能である との考え方に拘って、思考停止している。 普通、不可能であるは、考え方や意味を拡張して 可能にできないかと考えるのが 数学の伝統であるが、それができない。
2. 可能にする考え方が 紹介されても ゼロ除算の意味を誤解して、繰り返し間違えている。可能にする理論を 素直に理解しない、 強い従来の考えに縛られている。拘っている。
3. ゼロ除算を関数に適用すると 強力な不連続性を示すが、連続性のアリストテレス以来の 連続性の考えに囚われていて 強力な不連続性を受け入れられない。数学では、不連続性の概念を明確に持っているのに、不連続性の凄い現象に、ゼロ除算の場合には 理解できない。
4. 深刻な誤解は、ゼロ除算は本質的に定義であり、仮定に基づいているので 疑いの気持ちがぬぐえず、ダメ、怪しいと誤解している。数学が公理系に基づいた理論体系のように、ゼロ除算は 新しい仮定に基づいていること。 定義に基づいていることの認識が良く理解できず、誤解している。
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]:1. Gamow, G., My World Line (Viking, New York). p 44, 1970.
Eπi =-1 (1748)(Leonhard Euler)
E = mc 2 (1905)(Albert Einstein)
1/0=0/0=0 (2014年2月2日再生核研究所)
ゼロ除算(division by zero)1/0=0/0=z/0= tan (pi/2)=0
https://ameblo.jp/syoshinoris/entry-12420397278.html

1+1=2  (      )
a2+b2=c2 (Pythagoras)
1/0=0/0=0(2014年2月2日再生核研究所)
Black holes are where God divided by 0:Division by zero:1/0=0/0=z/0=tan(pi/2)=0 発見5周年を迎えて
講演要旨
file:///C:/Users/saito%20saburo/Desktop/2019年9月/2019年9月金沢1.pdf
file:///C:/Users/saito%20saburo/Desktop/2019年9月/2019年9月金沢2.pdf
file:///C:/Users/saito%20saburo/Desktop/2019年9月/2019年9月金沢3.pdf  
2019.8.20.9:00
突然湧いた考え:
ゼロ除算は、簡単で当たり前の初等数学である。 それにも関わらず、理解されにくいのは、 ターレス、アリストテレスなどの ギリシャ文化が ゼロや空、無などに対して強い拒否の精神を持ち、それが 欧米文化に強く反映してきたからである。
他方、インドでは永く、古くから、無や空、ゼロなどの世界観を深く持ち、素晴らしい世界観を持っていたが、世界史で評価されず、欧米の欠けたる世界観が 世界を支配してきて、その欠けたる世界観が マインドコントロールのように われわれの情感が支配されている。それ故に、沢山の具体例を示されても、簡単な数学でさえ、なかなか理解できない。 数学以前に情感に支配されている状況が見える。 超古典数学にすら、基本的な欠陥が存在する:
viXra:1908.0100 submitted on 2019-08-06 20:03:01, (266 unique-IP downloads)
Fundamental of Mathematics; Division by Zero Calculus and a New Axiom
#更新#1÷0#再生核研究所#ゼロ除算÷0#ゼロ除算#0÷0#÷0#2019年#mathematics#有史以来
今受け取ったメールです。
何十年もゼロ除算の研究をされてきた人が、積極的に我々の理論の正当性を認めてきた。
Re: 1/0=0/0=0 example
JAMES ANDERSON
james.a.d.w.anderson@btinternet.com
apr, 2 at 15:03
All,
Saitoh’s claim is wider than 1/0 = 0. It is x/0 = 0 for all real x. Real numbers are a field. The axioms of fields define the multiplicative inverse for every number except zero. Saitoh generalises this inverse to give 0^(-1) = 0. The axioms give the freedom to do this. The really important thing is that the result is zero – a number for which the field axioms hold. So Saitoh’s generalised system is still a field. This makes it attractive for algebraic reasons but, in my view, it is unattractive when dealing with calculus.
There is no milage in declaring Saitoh wrong. The only objections one can make are to usefulness. That is why Saitoh publishes so many notes on the usefulness of his system. I do the same with my system, but my method is to establish usefulness by extending many areas of mathematics and establishing new mathematical results.
That said, there is value in examining the logical basis of the various proposed number systems. We might find errors in them and we certainly can find areas of overlap and difference. These areas inform the choice of number system for different applications. This analysis helps determine where each number system will be useful.
James Anderson
Sent from my iPhone
The deduction that z/0 = 0, for any z, is based in Saitoh’s geometric intuition and it is currently applied in proof assistant technology, which are useful in industry and in the military.
Is It Really Impossible To Divide By Zero?
https://juniperpublishers.com/bboaj/pdf/BBOAJ.MS.ID.555703.pdf
Dear the leading person:
How will be the below information?
The biggest scandal:
The typical good comment for the first draft is given by some physicist as follows:
Here is how I see the problem with prohibition on division by zero,
which is the biggest scandal in modern mathematics as you rightly pointed out (2017.10.14.08:55)
A typical wrong idea will be given as follows:
mathematical life is very good without division by zero (2018.2.8.21:43).
It is nice to know that you will present your result at the Tokyo Institute of Technology. Please remember to mention Isabelle/HOL, which is a software in which x/0 = 0. This software is the result of many years of research and a millions of dollars were invested in it. If x/0 = 0 was false, all these money was for nothing.
Right now, there is a team of mathematicians formalizing all the mathematics in Isabelle/HOL, where x/0 = 0 for all x, so this mathematical relation is the future of mathematics.
https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/
José Manuel Rodríguez Caballero
Added an answer
In the proof assistant Isabelle/HOL we have x/0 = 0 for each number x. This is advantageous in order to simplify the proofs. You can download this proof assistant here: https://isabelle.in.tum.de/
Nevertheless, you can use that x/0 = 0, following the rules from Isabelle/HOL and you will obtain no contradiction. Indeed, you can check this fact just downloading Isabelle/HOL: https://isabelle.in.tum.de/
and copying the following code
theory DivByZeroSatoih
imports Complex_Main
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp
end
2019/03/30 18:42 (11 時間前)
Close the mysterious and long history of division by zero and open the new world since Aristotelēs-Euclid: 1/0=0/0=z/0= \tan (\pi/2)=0.
Sangaku Journal of Mathematics (SJM) c ⃝SJMISSN 2534-9562 Volume 2 (2018), pp. 57-73 Received 20 November 2018. Published on-line 29 November 2018 web: http://www.sangaku-journal.eu/ c ⃝The Author(s) This article is published with open access1.
Wasan Geometry and Division by Zero Calculus
∗Hiroshi Okumura and ∗∗Saburou Saitoh
2019.3.14.11:30
Black holes are where God divided by 0:Division by zero:1/0=0/0=z/0=\tan(\pi/2)=0 発見5周年を迎えて
You’re God ! Yeah that’s right…
You’re creating the Universe and you’re doing ok…
But Holy fudge ! You just made a division by zero and created a blackhole !!
Ok, don’t panic and shut your fudging mouth !
Use the arrow keys to move the blackhole
In each phase, you have to make the object of the right dimension fall into the blackhole
There are 2 endings.
Credits :
BlackHole picture : myself
Other pictures has been taken from internet
background picture : Reptile Theme of Mortal Kombat
NB : it’s a big zip because of the wav file
More information
Install instructions
Download it. Unzip it. Run the exe file. Play it. Enjoy it.
https://kthulhu1947.itch.io/another-dimension
A poem about division from Hacker’s Delight
Last updated 5 weeks ago
I was re-reading Hacker’s Delight and on page 202 I found a poem about division that I had forgotten about.
I think that I shall never envision An op unlovely as division. An op whose answer must be guessed And then, through multiply, assessed; An op for which we dearly pay, In cycles wasted every day. Division code is often hairy; Long division’s downright scary. The proofs can overtax your brain, The ceiling and floor may drive you insane. Good code to divide takes a Knuthian hero,
But even God can’t divide by zero!
Henry S. Warren, author of Hacker’s Delight.
我々の数学は支持されている。
自由な精神で研究を進めている筈の数学者が 逆に 古い考えに拘っている状況が見え、物理学者の自由な精神が ゼロ除算が 量子力学、宇宙論関係者で 議論が 始まっている。
David Bruce Brenton
11:16 (5 分前)
To Barukcic, Haydar, Okumura, Jan, James, Sabourhou, Matsuura, Hiroshi, Okoh, Wangui, Sandra, William, Haydar, Jakub, Fethi, Yunong, Chaowei, Antonio, Cristi, Mr, José, 自分, Wolfgang, Hiroshi, Felix
Right on ! Mr. Caballero !
From: José Manuel Rodriguez Caballero <>
Sent: Saturday, September 28, 2019 3:47 Radio AM 750
Black holes are where God divided by 0:Division by zero:1/0=0/0=z/0=tan(pi/2)=0 発見5周年を迎えて
Formalising Mathematics In Simple Type Theory
Authors: Lawrence C. Paulson
Lawrence Charles Paulson FRS[2] 1] is a Professor of Computational Logic at the University of Cambridge Computer Laboratory and a Fellow of Clare College, Cambridge.[5][6][7][8][9]
https://en.wikipedia.org/wiki/Lawrence_Paulson
Abstract: Despite the considerable interest in new dependent type theories, simple type theory (which dates from 1940) is sufficient to formalise serious topics in mathematics. This point is seen by examining formal proofs of a theorem about stereographic projections. A formalisation using the HOL Light proof assistant is contrasted with one using Isabelle/HOL. Harrison's technique for formalising Euclidean…
Submitted 20 April, 2018; originally announced April 2018.
Comments: Submitted to a volume on the Foundations of Mathematics
MSC Class: 03A05
The importance of legibility can hardly be overstated. A legible proof is more likely to convince a sceptical mathematician: somebody who doesn’t trust a complex software system, especially if it says x/0 = 0
https://arxiv.org/abs/1804.07860