アポロ11号の月面着陸の様子(photo: The Metropolitan Museum of Art / Neil Armstrong. NASA Apollo 11. Buzz Aldrin Walking on the Surface of the Moon near a Leg of the Lunar Module, 1969, printed later)
最も初期のものとされる月の銀板写真(photo: The Metropolitan Museum of Art / John Adams Whipple. The Moon, 1857-60)
数学的な解説論文は 次で公表されている:
viXra:1904.0408 submitted on 2019-04-22 00:32:30,
What Was Division by Zero?; Division by Zero Calculus and New World
我々は 初等数学には基本的な欠陥が存在する と述べている。ゼロ除算は数学者ばかりではなく 人類の、世界史の恥である と述べている。その真相を知りたいと 人々は思われないでしょうか。
Mathematics is the alphabet with which God has written the Universe.
数学は神が宇宙を書いたアルファベットだ
Mathematics is the key and door to the sciences.
数学は、科学へとつながる鍵とドアである
This book is written in the mathematical language, and the symbols are triangles, circles and other geometrical figures, without whose help it is impossible to comprehend a single word of it; without which one wanders in vain through a dark labyrinth.
宇宙は数学という言語で書かれている。そしてその文字は三角形であり、円であり、その他の幾何学図形である。これがなかったら、宇宙の言葉は人間にはひとことも理解できない。これがなかったら、人は暗い迷路をたださまようばかりである
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周年を迎えて
Re: 1/0=0/0=0 example
JAMES ANDERSON
[email protected]
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.
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.
ゼロ除算 は 何故理解が難しいのか との疑問が 関心を抱く方々から寄せられている。 ゼロ除算は 後5年も世に出られないのではないかなどの意見も 寄せられている。世の理解の問題です。確かに共感し、同調できる面が有るので そのような意見に 正面から回答してみたい。
まず、大事な観点は そもそも数学には興味も関心も無い方が多いという事です。初めから、数学はダメ、興味も関心もないのですから、最初の1歩にも入れない状況が広くあると考えられる。そこで、数学以前に 割り算、除算に 興味関心を抱かないので、そこから、そのような人たちに向けての解説を準備していきたい。
ところが、面白い事実が存在する。ゼロ除算というと、数学十戒 数学でやってはいけない第一、汝ゼロで割ってはならないの 2000年を越える戒律が有る。 そのことは多くの人が知っている。さらに、ゼロ除算は不可能であることの証明さえ有って、ゼロ除算不可能は 数学界の永い定説 でもあり、ゼロ除算に触れると数学者の多くが 直ちに否定的な態度を 感情むき出しで表明する事が多い。それらは事実です。例えば大きな国際会議に全体講演者として招待を受けて講演したところ、現代数学を破壊するもので 全て認められないとの発言があったほどです。destroy という言葉が会場に響き、出席していた妻に その異様な点を繰り返し、指摘されている。本人とも話し、論文を読むと約束したのに、その後の反響は寄せられていない。 他方、指導的な数学が今回の国際会議での画期的な発表内容で 話題の中心であったとの発言もあった。 ー ゼロ除算についての反響についての名言 をいずれ公表したい。詳しい記録をとっている。例として、次の文はある物理学者の表現であるが、著書にも入れる予定である:
{\it 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).
確かに不可能が証明されていることに対する 否定的な、覆す理論と誤解をしてしまい、初めの段階で拒否される事は多い。もちろん、気を付けて、初めから注意して述べているが、初めに誤解して 最初からダメの印象を数学者たちが抱いていることは 世にも珍しい事件である。 その原因として、著者たちの信頼の問題として 根が深いことも認めざるを得ない。 それは確かである。
ところが、論文も、講演でも相当沢山発表し、行ってきているが それらの不備を具体的に指摘してきた者は皆無である(数学には どのようなあいまいさも 間違いも有ってはならない)。 助言や意見を積極的に公然と求めてきているにも関わらずである。
何か間違いがあるのではないだろうかと 勘ぐっている者が居るようであるが、思えば発見して5年以上も 初めから当たり前 と言ってきたように間違える筈はないと考えている。およそ、数学者とは間違わない者であり、数学セミナーなどでは 論理の厳しさを特訓される場である。ー 実際、小松勇作先生の下で鍛えられた者に間違える筈がないとの嬉しい、名誉ある言葉を 東工大出身の同僚から頂いた。ー 東工大で 小松勇作、小沢満、吹田信之先生の下で 厳しい特訓を畏友酒井良君と共に受けたのは 研究者としての 終生の誇りである。思えば、3先生とも最も充実していた年代であった。
ゼロ除算が無くても 一向に困らない、何も問題なかったから、ゼロ除算は知らなくても良いとの 面白い意見が寄せられている。これも面白い文章なので著書原案に入れている:
{\it mathematical life is very good without division by zero}(2018.2.8.21:43).
\medskip
*156 Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and
Applications -Plenary Lectures: Isaac 2015, Macau, China.
(Springer Proceedings in Mathematics and Statistics, Vol. 177) Sep. 2016 305 pp. (Springer)
Paper:Division by Zero z/0 = 0 in Euclidean Spaces
Dear Prof. Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh
With reference to above, The Editor-in-Chief IJMC (Prof. Haydar Akca) accepted the your paper after getting positive and supporting respond from the reviewer.
Now, we inform you that your paper is accepted for next issue of International Journal of Mathematics and Computation 9 Vol. 28; Issue 1, 2017),
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周年を迎えて
Re: 1/0=0/0=0 example
JAMES ANDERSON
[email protected]
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.
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.
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/
割り算のできる人には、どんなことも難しくない
世の中には多くのむずかしいものがあるが、加減乗除の四則演算ほどむずかしいものはほかにない。
ベーダ・ヴェネラビリス
数学名言集:ヴィルチェンコ編:松野武 山崎昇 訳大竹出版1989年
1/0=∞ (これは、今の複素解析学) 1/0=0 (これは、新しい数学で、Division by Zero)
Dividing by Nothing
by Alberto Martinez
It is well known that you cannot divide a number by zero. Math teachers write, for example, 24 ÷ 0 = undefined.
After all, other operations that seemed impossible for centuries, such as subtracting a greater number from a lesser, or taking roots of negative numbers, are now common. In mathematics, sometimes the impossible becomes possible, often with good reason.
Posted April 12, 2011More Discoverhttps://notevenpast.org/dividing-nothing/
宇宙消滅説:宇宙が、どんどんドン 拡大を続けると やがて 突然初めの段階 すなわち 0に戻るのではないだろうか。 ゼロ除算は、そのような事を言っているように思われる。 2015年12月3日 10:38
Reality of the Division by Zero $z/0=0$
http://www.ijapm.org/show-63-504-1.html
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world:
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and Applications -Plenary Lectures: Isaac 2015, Macau, China. (Springer Proceedings in Mathematics and Statistics, Vol. 177) Sep. 2016 305 pp. (Springer)
Paper:Division by Zero z/0 = 0 in Euclidean Spaces
Dear Prof. Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh
With reference to above, The Editor-in-Chief IJMC (Prof. Haydar Akca) accepted the your paper after getting positive and supporting respond from the reviewer.
Now, we inform you that your paper is accepted for next issue of International Journal of Mathematics and Computation 9 Vol. 28; Issue 1, 2017),
数学基礎学力研究会のホームページ
URLは
http://www.mirun.sctv.jp/~suugaku)。
簡単に理由を纏めて置きたい。
1) 基礎知識が学部3年生程度で十分で、基本的な結果を議論でき、新しい結果を導ける余地が十分に存在する。新規で、多くの人が興味を持つ課題で国際的にも広く交流できる。
2) 内容は、永い歴史を有する世界史の問題に関わり、空間の考え、勾配、微分、接線、連続性、無限など数学の基礎概念に関与している。相対性理論、ブラックホール、ビッグバン、計算機障害などにも関係している。
3) もともと歴史的な大問題で、ゼロ除算として永い歴史と文化に関わり、広い視点が発展中の生きた数学の中に持てる。
4) 論理には厳格性、精密性、創造性が要求され、数学の精神の涵養に適切である。予断と偏見、思い込みの深さなどについて人間を知ることが出来る。
5) 基礎数学の広範な修正構想に参画でき、物理学など広い研究課題への応用が展望でき、ゼロ除算算法のような新規で基礎数学の新しい手段を身に付けることが出来る。
6) 現在数学は高度化、細分化して、永い学習期間を経て創造的な仕事に取り掛かれるのが普通であるが、ゼロ除算の研究課題では初期段階から、新しい先端の研究に取り掛かれる基礎的な広い研究領域が存在する。ゼロ除算の研究課題は、世にも稀なる夢のある研究課題であると考えられる。― アリストテレス以来、あるいは西暦628年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における初歩的な部分の欠落が明瞭になってきた。ここ70年を越えても教科書や学術書における数学の初歩的な部分の期待される変更は かつて無かった事である。ユークリッドの考えた空間と解析幾何学などで述べられる我々の空間は実は違っていた。いわゆる非ユークリッド空間とも違う空間が現れた。不思議な飛び、ワープ現象が起きている世界である。ゼロと無限の不思議な関係を述べている。これが我々の空間であると考えられる(再生核研究所声明325(2016.10.14) ゼロ除算の状況について ー 研究・教育活動への参加を求めて)。
Reality of the Division by Zero z/0 = 0
http://www.ijapm.org/show-63-504-1.html
http://okmr.yamatoblog.net/
Mathematics is the alphabet with which God has written the Universe.
数学は神が宇宙を書いたアルファベットだ
Mathematics is the key and door to the sciences.
数学は、科学へとつながる鍵とドアである
This book is written in the mathematical language, and the symbols are triangles, circles and other geometrical figures, without whose help it is impossible to comprehend a single word of it; without which one wanders in vain through a dark labyrinth.
宇宙は数学という言語で書かれている。そしてその文字は三角形であり、円であり、その他の幾何学図形である。これがなかったら、宇宙の言葉は人間にはひとことも理解できない。これがなかったら、人は暗い迷路をたださまようばかりである
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周年を迎えて
Re: 1/0=0/0=0 example
JAMES ANDERSON
[email protected]
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.
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.