#ジャック・ラザフォード | Explore Tumblr Posts and Blogs

instituteofreproducingme-blog · 5 years

Text

110選

ここに掲げている書物は、金沢工業大学の科学技術稀覯書コレクション「工学の曙」文庫の中でも選りすぐりの110点です。金沢工業大学は、洞察力に充ちた次代の技術者を育成する為に、全学生に対して科学や技術の文化史、思想史、倫理に係わる科目を必修としています。「工学の曙」文庫はそのバックボーンをなすものとして講義に生かされています。

110選

刊行年書名著者

1472年

軍事論

ロベルトゥス・ヴァルトリウス

1482年

幾何学原論

ユークリッド(エウクレイデス)

1485年

建築十書

レオン・バティスタ・アルベルティ

1488年

算術

ボエティウス

1495年

ギリシア語による著作集

アリストテレス

1496年

プトレマイオスの偉大なる「アルマゲスト」の要約

レギオモンタヌス(ヨハン・ミュラー)

博物誌

ガイウス・プリニウス・セクンドウス

1507年

実用蒸留法

ヒエロニムス・ブルンシュヴィヒ

1521年

建築十書

ウィトルウィウス

1525年

計量法

アルブレヒト・デューラー

1537年

卓越せる数学者の全集

アポロニウス

新科学

ニコロ・タルターリア

1543年

天球の回転について

ニコラス・コペルニクス

1544年

哲学及び幾何学の卓越せる全集

アルキメデス

1545年

代数規則についての大技術

ジロラモ・カルダーノ

1562年

磁石の本性とその効果の価値について

ジャン・テニエ

1565年

タルターリアによって正された重さについての書

ヨルダヌス・デ・ネモラリウス

1570年

建築四書

アンドレア・パラーディオ

1572年

光学宝典

アルハゼン(イブン・アル=ハイサム)

1582年

ジャック・ベッソン氏の機械と器具の劇場

ジャック・ベッソン

1586年

つり合いの原理

シモン・ステヴィン

1600年

磁石及び磁性体ならびに大磁石としての地球の生理学

ウィリアム・ギルバート

1604年

天文学の光学的部分を扱うウィテロへの補遺

ヨハネス・ケプラー

1611年

屈折光学

ヨハネス・ケプラー

1614年

驚くべき対数法則の論述

ジョン・ネーピア

1617年

小さな棒による計算術

ジョン・ネーピア

1620年

大復興、事実的証拠による自然の解釈の為の新機関

フランシス・ベーコン

1632年

プトレマイオス及びコペルニクスの世界二大体系についての対話

ガリレオ・ガリレイ

1637年

方法序説

ルネ・デカルト

1638年

新科学対話

ガリレオ・ガリレイ

1660年

空気の弾性とその効果とに関する物理ー力学的な新実験

ロバート・ボイル

1661年

懐疑的化学者

ロバート・ボイル

1663年

液体の平衡及び空気の質量の測定についての論述

ブレーズ・パスカル

1665年

微細物誌

ロバート・フック

1672年

真空についての(いわゆる)マグデブルグの新実験

オットー・フォン・ゲーリケ

1673年

振子時計

クリスティアン・ホイヘンス

1684年

極大と極小に関する新しい方法

ゴットフリード・ライプニッツ

1687年

自然哲学の数学的原理 (プリンキピア)

アイザック・ニュートン

1690年

光についての論考

クリスティアン・ホイヘンス

1704年

光学

アイザック・ニュートン

1710年

計算機械についての論述

ゴットフリード・ライプニッツ

1713年

推測法

ヤコブ・ベルヌーイ

1715年

学術的講義

エヴァンジェリスタ・トリチェリ

1724年

温度についての実験

ダニエル・ガブルエル・ファーレンハイト

1733年

大著作

ロジャー・ベーコン

1738年

流体力学

ダニエル・ベルヌーイ

1743年

力学論

ジャン・ル・ロン・ダランベール

1748年

無限解析入門(序説)

レオンハルト・オイラー

1751年

電気に関する実験と観察

ベンジャミン・フランクリン

1767年

電気学の歴史と現状、付・独創的な実験

ジョゼフ・プリーストリー

1769年

広く定義された電気学の主張に関する実験と観察,及びその解釈

ジョヴァンニ・バティスタ・ベッカリーア

1777年

空気と火の化学的論究

カール・ヴィルヘルム・シェーレ

1783年

モンゴルフィエ兄弟の気球体験記

フォジャ・ド・サン・フォン

1784年

空気に関する実験

ヘンリー・キャヴェンデイッシュ

1785年

電気と磁気についての研究

シャルル・クーロン

1789年

化学要論

アントワヌ・ラヴォアジェ

1791年

筋肉運動による電気の力

ルイジ・ガルヴァーニ

1798年

熱源に関する研究

ランフォード伯(ベンシャミン・トムソン)

天体力学

ピエール・ラプラス

1800年

異種の導体の単なる接触により起る電気

アレッサンドロ・ヴォルタ

物体を照明し、加熱するスペクトルの各色の作用の研究

ウィリアム・ハーシェル

1801年

整数論研究

カール・フリードリヒ・ガウス

1802年

色と光の理論について

トーマス・ヤング

1807年

自然哲学及び機械技術に関する講義

トーマス・ヤング

1808年

化学哲学の新体系

ジョン・ドールトン

1810年

水雷戦および海中爆破

ロバート・フルトン

1812年

化学哲学要論

ハンフリー・デーヴィ

1820年

二種の電流の相互作用

アンドレ・マリー・アンペール

化学と鉱物学における吹管の使い方について

イェンス・ベルツェリウス

1822年

熱の解析的理論

ジョゼフ・フーリエ

1824年

火の動力およびこの動力を発生させるのに適した機関についての考察

ニコラ・レオナール・サディ・カルノ

1827年

数学的に取り扱われたガルヴァーニ電池

ゲオルグ・オーム

1837年

可秤物質の物理学、若しくは一般的構成の物理学

アメデオ・アヴォガドロ

1839年

ダゲレオタイプ写真術と透視画の方法の歴史と解説

ルイ・ダゲール

電気の実験的研究

マイケル・ファラデー

1843年

電磁気の熱効果について

プレスコット・ジュール

1847年

力の保存について

ヘルマン・フォン・ヘルムホルツ

1851年

無限の逆説

ベルンハルト・ボルツァーノ

1859年

種の起源

チャールス・ダーウィン

1864年

熱力学

ルドルフ・クラウジウス

1865年

電磁場の力学的理論

クラーク・マクスウェル

1866年

植物=雑種についての研究

グレゴール・ヨハン・メンデル

1867年

幾何学の基礎にある仮説について

ベルンハルト・リーマン

1877年

電話の研究

グラハム・ベル

1883年

力学、その発達

エルンスト・マッハ

1884年

ダイナモ発電機

トーマス・エディソン

1887年

非常に速い電気的振動について

ハインリヒ・ヘルツ

1889年

飛行術の基礎としての鳥の飛翔

オットー・リリエンタール

1895年

運動物体の電気的、光学的現象に関する試論

ヘンドリック・ローレンツ

新種の輻射線について

ウィルヘルム・レントゲン

1898年

ピッチブレントの中に含まれている新種の放射性物質について

ピエール・キュリー、マリー・キュリー

1899年

無線通信

グリエルモ・マルコーニ

1900年

正規スペクトルのエネルギー分散則の理論

マックス・プランク

1901年

航空実験

ウィルバー・ライト

1903年

物質の新しい性質の研究

アントワヌ・ベックレル

気体中の電気の伝導

ジョゼフ・ジョン・トムソン

放射性物質の研究

マリー・キュリー

1905年

運動物体の電気力学について

アルベルト・アインシュタイン

1906年

放射性変換

アーネスト・ラザフォード

1909年

空間と時間

ヘルマン・ミンコウスキー

1916年

一般相対性理論の基礎

アルベルト・アインシュタイン

1919年

軽い原子とα粒子の衝突

アーネスト・ラザフォード

1926年

波動と運動

ルイ・ド・ブローイ

1928年

波動力学についての四講

エルヴィン・シュレディンガー

1935年

電子、陽子、光子、中性子及び宇宙線

ロバート・ミリカン

1939年

低速中性子によるウランの核分裂

オットー・ハーン、フリッツ・ストラスマン

1945年

合衆国政府助成のもとに行われた原子力の軍事目的利用開発の概要

ヘンリー・スマイス

1946年

広島・長崎における原爆爆弾の効果

英国日本視察団

1953年

核酸の分子的構造

フランシス・クリック、ジェムス・ワトソン

1969年

アポロ11号任務記録 (月着陸交信記録)

アメリカ合衆国航空宇宙局

1986年

スペース・シャトル・チャレンジャー号の事故に関する大統領調査委員会報告

合衆国大統領調査委員会

https://www.kanazawa-it.ac.jp/dawn/index.html

再生核研究所声明 452 (2018.9.27):　世界を変えた書物展　－　上野の森美術館

（２０１８年９月８日―２４日）

２０１８．９．17.　展示書籍などを拝見させて頂きました。大変賑わっていて関心の大きさが感じられました。時間の関係で　じっくり、詳しくとは行きませんでしたが、全体の案内（知の連鎖系譜マップ）で、初期、初めにアリストテレスとユークリッドが　在って、中間くらいにニュートン、最後がアインシュタインで　世界史を壮観する想いがしました。　数学では　非ユークリッド幾何学の扱いにおけるガウスの記述、資料の欠落と算術の発見、ゼロの発見の　Brahmagupta (598 -668 ?)　の欠落は　残念に思われました。書籍など無くても大事な事実と思いますので、　大きく取り上げて欲しかった。　

この世界史年表で凄いことに気づいて興奮して後にしました。

ゼロ除算がこれらで基本的な関与があるからです。

まず、ゼロ除算は、ユークリッド幾何学の変更を求め、連続性のアリストテレスの世界観に反して、強力な不連続性の世界を示しています。ゼロ除算はアインシュタインの人生最大の関心事であったとされ、今でもなお、ゼロ除算とアインシュタインの相対性理論との関係が議論され、ブラックホールは　神がゼロで割ったところに存在するなどと　神秘的な問題を提供しているからです。

もちろん、Brahmaguptaは　ゼロ除算を議論していて、その後、１３００年に亘って、世界史で議論されてきて、　ニュートン力学でも基本的な問題を提起している。　当然、非ユークリッド幾何学とも関係していて、それらの空間とも違う全く新しい幾何学を提案している。このように考えると、検討中の Division by Zero Calculus の著書（出版契約済み）は　世界史上で大きな扱いになるだろうと発想して、大変興奮して、展示会を後にしました。

広く世界に意見を求め、この著書の出版計画を進めたい。　そのためにも途中経過も公表して行きたい。

ところで、　展示会の名称には　世界を変えた科学の書物展示会などと、　科学などの言葉を加える必要があるのではないでしょうか。　そうでなければ、　バイブル、法華経、コーラン、論語などが並ぶことになるのでは　ないでしょうか。

尚、ゼロ除算については、一般向きには

数学基礎学力研究会　サイト：

http://www.mirun.sctv.jp/~suugaku/ ○ 堪らなく楽しい数学-ゼロで割ることを考える

で４年間を越えて解説を続けています。　

最後に素晴らしい展示会を企画され、そのために努力された人たちに　敬意と感謝の気持ちを表明したい。

以　上

再生核研究所声明 427(2018.5.8): 神の数式、神の意志　そしてゼロ除算

ドキュメンタリー 2017: 神の数式第２回宇宙はなぜ生まれたのか

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

NHKスペシャル　神の数式番組を繰り返し拝見して感銘を受けている。素晴らしい映像ばかりではなく、内容の的確さ、正確さに、ただただ驚嘆している。素晴らしい。

ある物理学の本質的な流れを理解し易く表現していて、物理学の着実な発展が良く分かる。

原爆を作ったり、素粒子を追求していたり、宇宙の生成を研究したり、物理学者はまるで、現代の神官のように感じられる。素粒子の世界と宇宙を記述するアインシュタインの方程式を融合させるなど、正に神の数式と呼ぶにふさわしい��のと考えられる。流れを拝見すると物理学は適切な方向で着実に進化していると感じられる。神の数式に近づいているのに　野蛮なことを繰り返している国際政治社会には残念な気持ちが湧いて来る。ロシアの天才物理学者の終末などあまりにも酷いのではないだろうか。世界史の進化を願わざるを得ない。

アインシュタインの相対性理論は世界観の変更をもたらしたが、それに比べられるオイラーの公式は数学全般に大きな変革をもたらした：　

With this estimation, we stated that the Euler formula

e^{\pi i} = -1

is the best result in mathematics in details in：　No.81, May 2012 (pdf 432kb)

www.jams.or.jp/kaiho/kaiho-81.pdf

余りにも神秘的な数式のために、アインシュタインの公式 E= mc^2　と並べて考えられる　神の意志　が感じられるだろう。　ところで、素粒子を記述する方程式とアインシュタインの方程式を融合したら、　至る所に1/0 が現れて　至る所無限大が現れて計算できないと繰り返して述べられている。しかしながら、数学は既に進化して、1/0=0　で無限大は　実はゼロだった。　驚嘆すべき世界が現れた。しかしながら、数学でも依然として、rがゼロに近づくと　無限大に発散する事実が有るので、弦の理論は否定できず、問題が存在する。さらに、形式的に発散している場合でも、ゼロ除算算法で、有限値を与え、特異点でも微分方程式を満たすという新しい概念が現れ、局面が拓かれたので、数学者ばかりではなく、物理学者の注意を喚起して置きたい。

物理学者は、素粒子の世界と巨大宇宙空間の方程式を融合させて神の方程式を目指して研究を進めている。数学者はユークリッド以来現れたゼロ除算1/0と空間の新しい構造の中から、神の意志を追求して　新しい世界の究明に乗り出して欲しいと願っている。いみじくもゼロ除算は、ゼロと無限大の関係を述べていて、素粒子と宇宙論の類似を思わせる。

人の生きるは、真智への愛にある、すなわち、事実を知りたい、本当のことを知りたい、高級に言えば　神の意志　を知りたいということである。　そこで、我々のゼロ除算についての考えは真実か否か、広く内外の関係者に意見を求めている。関係情報はどんどん公開している。　ゼロ除算の研究状況は、

数学基礎学力研究会　サイトで解説が続けられている：http://www.mirun.sctv.jp/~suugaku/

また、ohttp://okmr.yamatoblog.net/　に　関連情報がある。

以　上

ゼロ除算の論文が２編、出版になりました： ICDDEA: International Conference on Differential & Difference Equations and Applications Differential and Difference Equations with Applications ICDDEA, Amadora, Portugal, June 2017 • Editors • (view affiliations) • Sandra Pinelas • Tomás Caraballo • Peter Kloeden • John R. Graef Conference proceedingsICDDEA 2017 log0=log∞=0log⁡0=log⁡∞=0 and Applications Hiroshi Michiwaki, Tsutomu Matuura, Saburou Saitoh Pages 293-305 Division by Zero Calculus and Differential Equations Sandra Pinelas, Saburou Saitoh Pages 399-418

とても興味深くみました：ゼロ除算（division by zero）1/0=0、0/0=0、z/0=0 2018年05月28日(月) テーマ：数学これは最も簡単な　典型的なゼロ除算の結果と言えます。　ユークリッド以来の驚嘆する、誰にも分る結果では　ないでしょうか？ Hiroshi O. Is It Really Impossible To Divide By Zero?. Biostat Biometrics Open Acc J. 2018; 7(1): 555703. DOI: 10.19080/BBOJ.2018.07.555703 ゼロで分裂するのは本当に不可能ですか？ - Juniper Publishers ↓↓↓ https://juniperpublishers.com/bboaj/pdf/BBOAJ.MS.ID.555703.pdf ゼロ除算の発見と重要性を指摘した：日本、再生核研究所　　2014年2月2日

神の数式：

神の数式が解析関数でかけて居れば、特異点でローラン展開して、正則部の第1項を取れば、何時でも有限値を得るので、形式的に無限が出ても実は問題なく意味を有します。

物理学者如何でしょうか。

計算機は正しい答え 0/0=0 を出したのに計算機は何時、1/0=0 ができるようになるでしょうか。

カテゴリ：カテゴリ未分類

そこで、計算機は何時、1/0=0 ができるようになるでしょうか。楽しみにしています。もうできる進化した計算機をお持ちの方はおられないですね。

これは凄い、面白い事件では？計算機が人間を超えている例では？

面白いことを発見しました。計算機は正しい答え 0/0=0

を出したのに、この方は間違いだと言っている、思っているようです。

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

https://steemkr.com/utopian-io/@faisalamin/bug-zero-divide-by-zero-answers-is-zero

２０１８．１０．１１．１１：２３

https://plaza.rakuten.co.jp/reproducingkerne/diary/201810110003/

計算機は正しい答え 0/0=0 を出したのに

カテゴリ：カテゴリ未分類

面白いことを発見しました。計算機は正しい答え 0/0=0

を出したのに、この方は間違いだと言っている、思っているようです。

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

https://steemkr.com/utopian-io/@faisalamin/bug-zero-divide-by-zero-answers-is-zero

２０１８．１０．１１．１１：２３

ゼロ除算、ゼロで割る問題、分からない、正しいのかなど、良く理解できない人が未だに多いようです。そこで、簡潔な一般的な解説を思い付きました。もちろん、学会などでも述べていますが、予断で良く聞けないようです。まず、分数、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 の定義を誤解されていた。

相当な才能の持ち主が、連続性や順序に拘って、４年以上もゼロ除算の研究を避けていたこと。

これらのことは、人間如何に予断と偏見にハマった存在であるかを教えている。

まずはゼロ除算は不可能であるの思いが強すぎで、初めからダメ、考えない、無視の気持ちが、強い。ゼロ除算を従来の掛け算の逆と考えると、不可能であるが証明されてしまうので、割り算の意味を拡張しないと、考えられない。それで、 1/0,0/0,z/0 などの意味を発見する必要がある。それらの意味は、普通の意味ではないことの初めの考えを飛ばしてダメ、ダメの感情が突っ走ている。非ユークリッド幾何学の出現や天動説が地動説に変わった世界史の事件のような形相と言える。

２０１８．９．２２．６：４１

ゼロ除算の４つの誤解：

１．ゼロでは割れない、ゼロ除算は不可能であるとの考え方に拘って、思考停止している。普通、不可能であるは、考え方や意味を拡張して可能にできないかと考えるのが数学の伝統であるが、それができない。

２．可能にする考え方が紹介されてもゼロ除算の意味を誤解して、繰り返し間違えている。可能にする理論を素直に理解しない、強い従来の考えに縛られている。拘っている。

３．ゼロ除算を関数に適用すると強力な不連続性を示すが、連続性のアリストテレス以来の連続性の考えに囚われていて強力な不連続性を受け入れられない。数学では、不連続性の概念を明確に持っているのに、不連続性の凄い現象に、ゼロ除算の場合には理解できない。

４．深刻な誤解は、ゼロ除算は本質的に定義であり、仮定に基づいているので疑いの気持ちがぬぐえず、ダメ、怪しいと誤解している。数学が公理系に基づいた理論体系のように、ゼロ除算は新しい仮定に基づいていること。定義に基づいていることの認識が良く理解できず、誤解している。

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 発見５周年を迎えて

今受け取ったメールです。

何十年もゼロ除算の研究をされてきた人が、積極的に我々の理論の正当性を認めてきた。

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.

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

２０１９．３．１４．１１：３０

Black holes are where God divided by 0：Division by zero：1/0=0/0=z/0=\tan(\pi/2)=0 発見５周年を迎えて

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.

https://catonmat.net/poem-from-hackers-delight

#再生核研究所

#ゼロ除算÷0

#ゼロ除算

#０÷０

#÷0

#2019年

#更新

#1÷0

#mathematics