2019年02月の記事
全101件 (101件中 1-50件目)
-
計算機がそんなに早くできるとは思わなかった。 数学界の認知より早い。
What is \tan(\pi/2)?: Curious mathematics.計算機がそんなに早くできるとは思わなかった。 数学界の認知より早い。José Manuel Rodríguez CaballeroAdded an answerIn 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/再生核研究所声明 431(2018.7.14): ｙ軸の勾配はゼロである － おかしな数学、おかしな数学界、おかしな雑誌界、おかしなマスコミ界? 2018年7月12日8時25分 ひとりでに湧いてきた。 おかしな私に おかしな構想が湧いてきた。ガリレオは つぶやいたという それでも地球は動いていると。 そのように、これは真実と素直な心情と思えるので 一気に纏めて置きたい。まず、次の記録、事実を回想する： 今日、２０１８．６．３．１５時ころ、あるテーブルで ６人で 食事をとっていた。隣の方が、大工さんだというので、真直ぐに立った柱の傾きは いくらでしょうかと少し説明して 問いました。 皆さん状況は 良く理解されていましたが、６５歳くらいの姉妹 御婦人、石原芳子さん、清水きみ子さんが、ゼロじゃない？ と結構当たり前のように おっしゃったのには 驚き、感銘を受けました。ゼロ除算から導かれた ｙ軸の勾配がゼロは 相当に 感覚的にも当たり前であることが 分かります。発見当時、妻と息子に聞いた時も そうでした。真直ぐに立った 電柱の勾配は ゼロであると 言いました。これは 当たり前ではないでしょうか。所が 現代数学は 曖昧になっていて、分からない、不定のような 扱いになっています。おかしいですね。世界史の恥にならないでしょうか？発見当時20年以上の友人ベルリン大学教授に ジョーク交じりに問うたところ、ｙ軸の勾配は 右から近づけばプラス無限大、左から近づけばマイナス無限大で ｙ軸自身の勾配は 考えられないとなっているという（記録No.-1:2015.9.17.05:45、No.-2:2015.9.18.19:15.）。原点から出る直線の勾配で 考えられない例外の直線が存在して、それがy軸の方向であるということです。このような例外が存在するのは 理論として不完全であると言えます。それが常識外れとも言える結果、ゼロの勾配 を有するということです。この発見は 算術の確立者Brahmagupta (598 -668 ?) 以来の発見で、 ゼロ除算の意味の発見と結果1/0=0/0=0から導かれた具体的な結果です。それは、微分係数の概念の新な発見やユークリッド以来の我々の空間の認識を変える数学ばかりではなく 世界観の変更を求める大きな事件に繋がります。そこで、日本数学会でも関数論分科会、数学基礎論・歴史分科会，代数学分科会、関数方程式分科会、幾何学分科会などでも それぞれの分科会の精神を尊重する形でゼロ除算の意義を述べてきました。招待された国際会議やいろいろな雑誌にも論文を出版している。イギリスの出版社と著書出版の契約も済ませている。２０１４年 発見当時から、馬鹿げているように これは世界史上の事件であると公言して、世の理解を求めてきていて、詳しい経過なども できるだけ記録を残すようにしている。これらは数学教育・研究の基礎に関わるものとして、日本数学会にも直接広く働きかけている。何故なら、我々の数学の基礎には大きな欠陥があり、我々の学術書は欠陥に満ちているからである。どんどん理解者が 増大する状況は有るものの依然として上記真実に対して、数学界、学術雑誌関係者、マスコミ関係の対応の在り様は誠におかしいのではないでしょうか。 我々の数学や空間の認識は ユークリッド以来、欠陥を有し、我々の数学は 基本的な欠陥を有していると８００件を超える沢山の具体例を挙げて 示している。真実を求め、教育に真摯な人は その真相を求め、真実の追求を始めるべきではないでしょうか。 雑誌やマスコミ関係者も 余りにも基礎的な問題提起に 真剣に取り組まれるべきでは ないでしょうか。最も具体的な結果 y軸の勾配は どうなっているか、究めようではありませんか。それがゼロ除算の神秘的な歴史やユークリッド以来の我々の空間の認識を変える事件に繋がっていると述べているのです。 それらがどうでも良いは おかしいのではないでしょうか。人類未だ未明の野蛮な存在に見える。ゼロ除算の世界が見えないようでは、未だ夜明け前と言われても仕方がない。以 上２０１８．７．１２．１５：１２２０１８．７．１２．１６：３７２０１８．７．１２．２１：５８２０１８．７．１３．０５：４８ 清々しい朝、鶯が盛んに啼いている。Puha氏の今朝のメールが気に成っている。２０１８．７．１３．１３：１８ 散歩して来るが相当日差しが強い。 これは良い。２０１８．７．１３．１５：３２ 良い。２０１８．７．１３．１９：３３２０１８．７．１３．２２：２３ 良い、素直に表現されている。２０１８．７．１４．０５：２０ そのまま良い。凄い世界が見えてきた。２０１８．７．１４．０５：５１ これは真実である。 良い、完成、公表。
2019.02.28
-
ゼロ除算のインタビュー？ ユーチーブによる公開？
ある凄い提案が提起された。ゼロ除算のインタビュー？ ユーチーブによる公開？慎重に 対応したい。Dear Prof. Saburou Saitoh, It is always a pleasure to help to spread this ideas about mathematics. I think that it will be useful, in order to spread your ideas, to do an interview to a YouTube Channel which is about Japan (language, culture, science, mathematics, etc.). The owner of this youtube channel is from Spain, but he speaks and writes japanese very well. He could interview you and translate your interview to Spanish for his audience. I think that after such an interview, new people with learn about division by zero calculus and apply it in daily life. You could contact this person by means of the following email (for him, it is easier to read in Japanese than in English):video: https://youtu.be/zEyxwvqGlgc email: kirateachings.japan@gmail.com
2019.02.28
-
再生核研究所声明 427(2018.5.8): 神の数式、神の意志 そしてゼロ除算
再生核研究所声明 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 ApplicationsDifferential and Difference Equations with ApplicationsICDDEA, Amadora, Portugal, June 2017• Editors• (view affiliations)• Sandra Pinelas• Tomás Caraballo• Peter Kloeden• John R. GraefConference proceedingsICDDEA 2017log0=log∞=0log0=log∞=0 and ApplicationsHiroshi Michiwaki, Tsutomu Matuura, Saburou SaitohPages 293-305Division by Zero Calculus and Differential EquationsSandra Pinelas, Saburou SaitohPages 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日２０１８．５．６．１４：３２２０１８．５．６．１５：５５２０１８．５．７．０６：１３ 相当良い。２０１８．５．７．０９：４５ 良い。２０１８．５．７．１３：４２ ２０１８．５．７．２０：４１ 相当な雨。２０１８．５．８．０５：３１ 露のような小雨、良い、完成、公表。
2019.02.27
-
神の数式： 哲学は、無限大 発散ではなく、有限である という知見です。
奥村先生：凄い番組 内容ですね。特異点で 無限ではなくて、そこですが、ゼロ除算算法では ゼロでもない場合が 有りますので、 意味のある世界が出るので、極めて 面白いのですが、 その式が 良く分からないので、専門家の知見が 大事になります。式は 複雑なようですね。多次元、ゼロ除算算法は 複雑のなので、まだまだ大変です。 簡単な場合も 面白いモデルが有るので、問題は 沢山あります。哲学は、無限大 発散ではなく、有限である という知見です。ホーキング博士や、ニュートンの居た大学、人材も集まっていますね。 計算機を 世界で最初に作ったのは、アメリカではなく、相当前にイギリスで作られていました。 相手をみるために 例のメールを出していますので、何か様子が 直ぐに分かるのではないでしょうか。秘密でも、公開でも 対応できます。 楽しくなっているのは 確かですね。敬具齋藤三郎２０１９．２．２７．２０：１０2019年2月27日(水) 20:00 斎藤先生NHKの神の数式の番組がYoutubeにあったので，見ていました。1/0を無限大と称している部分に例によって違和感を感じで見ていました。この距離が0になった場合の物体同士の引力が無限大とか言っていましたが，距離が0の場合には引き合う向きがなくなるので，引力は0となるというのは直ぐにでも思いつきそうなものなのにと思いながら見ていました。神の数式には０除算はマストであると思いました。奥村博拝
2019.02.27
-
神の数式は、物理学の最高の公式で、相対性理論と素粒子の基本方程式を 同時に考えると、至る所無限が出てきてしまうというのです。
奥村先生：今日は生憎の曇りで、寒い日になりました。 買い物に出かけていたのですが、皆さん小ぎれいで 結構な食品を購入し、 良く着飾っていて 良い市民生活が 見られます。食品は高級で 品が豊富です。 質も本当に高い。神の数式は、物理学の最高の公式で、相対性理論と素粒子の基本方程式を 同時に考えると、至る所無限が出てきてしまうというのです。ロシアの若き天才が 考えたのですが、 一夜にして 処刑されて しまったということです。物理の 最大の 問題です。敬具齋藤三郎２０１９．２．２７．１２：２２
2019.02.27
-
ということは、数学が、自然な人間の感性に反して、間違いを教えてきたとも言える。
美しい朝ということは、数学が、自然な人間の感性に反して、間違いを教えてきたとも言える。数学者は 大丈夫か？ 真相を明らかにして、真実を知らしめるべきでは ないだろうか。 計算機は 既にそのような 結果を導いている。２０１９．２．２７．５：２５多くの素人が ｙ軸の勾配は ゼロである と言っているのに、 数学界がそれを曖昧にしたり、 認知しないのは、誠におかしな 現象ではないでしょうか。多くの人は おかしい、おかしいと 思われるのでは？ ２０１９．２．２５．２０：２０２０１９．２．２５．１３：４５休憩に散歩に出かけて、大工さんをされていた 園田忠作さんにお会いしたので、勾配の傾きの説明をして、ｙ軸の勾配は どうなるでしょうか聞きました。 するとすかさず当たり前に ゼロと言われました。 これで、相当の人が 直感的に ｙ軸の勾配はゼロであると 感じていることになります。これは 重大では？数学界は 大丈夫でしょうか。 数学は、不完全では ないでしょうか。 大きな影響が有りますね。 微分方程式論は直ちに 大きな影響が出ますね。José Manuel Rodríguez CaballeroAdded an answerIn 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/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.02.27
-
Zero Expresses Non-possibility
Zero Expresses Non-possibilityDear Colleagues on Division by Zero Calculus and related persons:I referred to the division by zero calculusas in:Your submission has now been uploaded and is available at http://viXra.org/abs/1902.0432Please kindly give me any valuable information for our enjoyment.With thanks and best regards,Sincerely yours,Saburou Saitoh2019.2.26.21:50José Manuel Rodríguez CaballeroAdded an answerIn 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/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.02.26
-
目もくらむ 課題は、神の数式に、ゼロ除算算法を用いて、あきらめていた公式 を復活させる 事
目もくらむ 課題は、神の数式に、ゼロ除算算法を用いて、あきらめていた公式 を復活させる 事奥村先生：本当に素晴らしい。 新しい分野の方 説得させる書き物を用意して その分野の人に 近づこうとしています。植物の芽ならば、いろいろな芽を 大事にして できれば、独力で 成長して欲しいですね。 何でも 応援したい。先生、現在の最大の 目もくらむ 課題は、神の数式に、ゼロ除算算法を用いて、あきらめていた公式 を復活させる 事ですが、ケンブリッジ大学や、ミュンヘン大学で、 やってはいないでしょうね。 物理学者や素人は そう考えるそうです。応援部隊が しきりに そういってきています。敬具齋藤三郎２０１６．２．２６．１９：２８
2019.02.26
-
どんどん研究を進め、 神の意志を 求めていきたい。
奥村先生：そこですね。 先生、年齢、 状況でいろいろ対応を変化するのは 当然です。先ずは、 私は、年齢的に 何時終わっても良いように 心して、修行する必要があります。さらに、 人生は 空のようなもの、競争も、名誉なども 空しい。 唯 真理 新しいことを発見することが 楽しい。その楽しさに 心を向けていきたい。国際会議も、学会も空しい。 先生のメールを受け取るのが、 現在一番 楽しいですね。どんどん研究を進め、 神の意志を 求めていきたい。研究に 心を 傾けて行きたい。 仲間を増やして、喜びを増大させて行きたい。 未だ、数学も、 人間社会も あまりにもおかしく、 暗いですね。敬具齋藤三郎２０１９．２．２６．１８：０５
2019.02.26
-
知的財産権で、 やがて日本が 不利になれば、 数学界は 何をしていたのか、責任が問われる事態も考えられる。
奥村先生：済みません。 誤解しました。 その出版社も 興味を持ちそうな 出版社ですね。それは、素晴らしい情報ですね。 何か、実在感が してきましたね。 数学は絶対の世界、どんどん面白く、着実になりますね。イギリス、ドイツの計算機が、 数学界でできない、ことができるように なったのですから、凄いニュースになるはずですね、それらが 知的財産権で、 やがて日本が 不利になれば、 数学界は 何をしていたのか、責任が問われる事態も考えられる。アメリカは 相当 秘密に先を 進めているのでは。 情報戦は大事、それを学んだ筈なのに 日本は後れを取りそうですね。物理学への決定的な貢献が 期待できます。今日は 夜 新しい論文を 発表します。 私のメモ、番号、時間が入っているので 再現性もありますが、例の アーカイブは 一段と優れて居ますね。 きちんと纏めて、ノートの延長のように どんどん発表して行きたい。 そうして置けば、論文や、本、書き物を書く際、 資料として使えます。 纏めながら、不備を発見したり 考えも湧きます。凄く春めいて、 季節の大きな変化が感じられます。 梅も満開です。敬具齋藤三郎２０１９．２．２６．１５：４０
2019.02.26
-
数学界では やっては ならない 第一の戒律 ゼロで割ることを考えてはならない、その戒律を破り、どんどん新世界を拓く計算機が 現れた。
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた 数学界では やっては ならない 第一の戒律 ゼロで割ることを考えてはならない、その戒律を破り、どんどん新世界を拓く計算機が 現れた。既に、計算機のソフトの分野で、日本はイギリス、ドイツに後れをとっている。ゼロ除算回避の計算機となれば、それで既に歴史的で、 知的財産権に繋がる。アメリカの 様子が気になる。さらに２０１９．２．１６． 夜、計算機が ゼロ除算ができるとの情報が入り、本人と連絡が取れた：José Manuel Rodríguez CaballeroAdded an answerIn 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/ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いたその後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。２０１９．２．１７．２０：０５
2019.02.26
-
そこで、ゼロ除算の理解は、未だ容易ではないと考えて、どんどん結果をプレプリントとして公表して行くこととした：
そこで、ゼロ除算の理解は、未だ容易ではないと考えて、どんどん結果をプレプリントとして公表して行くこととした：Saburou Saitoh[5] viXra:1902.0240 submitted on 2019-02-13 22:57:25, (0 unique-IP downloads)Zero and Infinity; Their Interrelation by Means of Division by ZeroAuthors: Saburou SaitohCategory: General Mathematics[4] viXra:1902.0223 submitted on 2019-02-12 18:39:18, (2 unique-IP downloads)Horn Torus Models for the Riemann Sphere and Division by ZeroAuthors: Wolfgang W. D\"aumler, Hiroshi Okumura, Vyacheslav V. Puha, Saburou SaitohCategory: Functions and Analysis[3] viXra:1902.0204 submitted on 2019-02-11 18:46:02, (6 unique-IP downloads)A Meaning and Interpretation of Minus Areas of Figures by Means of Division by ZeroAuthors: Saburou SaitohCategory: General Mathematics[2] viXra:1902.0187 submitted on 2019-02-10 22:40:35, (3 unique-IP downloads)The Simple and Typical Physical Examples of the Division by Zero 1/0=0 by Ctes\'ibio (BC. 286-222) and e. Torricelli (1608 1646)Authors: Saburou SaitohCategory: General Mathematics[1] viXra:1902.0058 submitted on 2019-02-03 22:47:53, (26 unique-IP downloads)We Can Divide the Numbers and Analytic Functions by Zero\\ with a Natural Sense.Authors: Saburou SaitohCategory: General Mathematicsさらに２０１９．２．１６． 夜、計算機が ゼロ除算ができるとの情報が入り、本人と連絡が取れた：José Manuel Rodríguez CaballeroAdded an answerIn 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/ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いたその後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。２０１９．２．１７．２０：０５
2019.02.26
-
数学ではできない、考えてはならない ゼロ除算が 計算機が できた：
数学ではできない、考えてはならない ゼロ除算が 計算機が できた：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/ 根拠、理由、説明は 計算機の出力結果であるから 分からない。 我々は ２０１４年２月２日 それを発見していた。 ５年を経て、計算機が出力した。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.02.25
-
isabelle と連絡が取れた。 この種のメールは、管理者によって、公にされない 場合が多い。
isabelle と連絡が取れた。この種のメールは、管理者によって、公にされない 場合が多い。１種の管理がある。 奥村先生：重要なメール、 Isabelleに素直に載ったようです。 これで 相当広い関係者が、重要なメールを 拝見することになります。相当な影響があると考えられます。考えたい。大きなサークルですね。敬具齋藤三郎２０１９．２．２５．２１：００Message: 2Date: Fri, 22 Feb 2019 08:27:14 +0900From: Saburou Saitoh Subject: [isabelle] On the division by zeroTo: cl-isabelleCc: kbdmm360Message-ID: On the division by zero:I got a surprising news:José Manuel Rodríguez CaballeroAdded an answerIn the proof assistant Isabelle/HOL we have x/0 = 0 for each number x. Thisis advantageous in order to simplify the proofs. You can download thisproof assistant here: *https://isabelle.in.tum.de/and Caballero kindly introduced further several surprising examples on thedivision by zero calculus. I would like to know some details on thedivision by zero calculus and the computer system. How to know somedetails? May I hear some.With best regards,Sincerely yours,Saburou Saitoh2019.2.22.19:35
2019.02.25
-
In the proof assistant Isabelle/HOL we have $x/0 = 0$ for each number $x$.
In the proof assistant Isabelle/HOL we have $x/0 = 0$ for each number $x$. On February 16, 2019 Professor H. Okumura introduced the surprising news in Research Gate:\medskipJosé 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/}. \medskipJ.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.It seems that the division by zero calculus seems to be implimented to the computer system already.
2019.02.25
-
多くの素人が ｙ軸の勾配は ゼロである と言っているのに、 数学界がそれを曖昧にしたり、 認知しないのは、誠におかしな 現象ではないでしょうか。
多くの素人が ｙ軸の勾配は ゼロである と言っているのに、 数学界がそれを曖昧にしたり、 認知しないのは、誠におかしな 現象ではないでしょうか。多くの人は おかしい、おかしいと 思われるのでは？ ２０１９．２．２５．２０：２０２０１９．２．２５．１３：４５休憩に散歩に出かけて、大工さんをされていた 園田忠作さんにお会いしたので、勾配の傾きの説明をして、ｙ軸の勾配は どうなるでしょうか聞きました。 するとすかさず当たり前に ゼロと言われました。 これで、相当の人が 直感的に ｙ軸の勾配はゼロであると 感じていることになります。これは 重大では？数学界は 大丈夫でしょうか。 数学は、不完全では ないでしょうか。 大きな影響が有りますね。 微分方程式論は直ちに 大きな影響が出ますね。José Manuel Rodríguez CaballeroAdded an answerIn 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/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.02.25
-
数学界は 大丈夫でしょうか。 数学は、不完全では ないでしょうか。 大きな影響が有りますね。 微分方程式論は直ちに 大きな影響が出ますね
数学界は 大丈夫でしょうか。 数学は、不完全では ないでしょうか。 大きな影響が有りますね。 微分方程式論は直ちに 大きな影響が出ますね２０１９．２．２５．１３：４５休憩に散歩に出かけて、大工さんをされていた 園田忠作さんにお会いしたので、勾配の傾きの説明をして、ｙ軸の勾配は どうなるでしょうか聞きました。 するとすかさず当たり前に ゼロと言われました。 これで、相当の人が 直感的に ｙ軸の勾配はゼロであると 感じていることになります。これは 重大では？ 数学界は 大丈夫でしょうか。 数学は、不完全では ないでしょうか。 大きな影響が有りますね。 微分方程式論は直ちに 大きな影響が出ますね。José Manuel Rodríguez CaballeroAdded an answerIn 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/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.02.25
-
問題は 秘密の部分
奥村先生：その件は MATHEMATICA が いろいろな計算ができるように、 それは、数値でも、関数でも ゼロ除算算法の結果ができるように なっているので、 既に相当なシステムとして できていると考えられます。具体的にできるようになるのは、少し 大変な面が有ります。 相当 進んでいるが、完成とは言えない。いろいろな自由度が有るからです。 問題は 秘密の部分が有って、 私たちに結果を 問題を知らせることなく、進めていることは、 重要な観点では ないでしょか。旨く共同研究の道を開けれれば、凄いのですが、ケンブリッジ大学は、その面でも 永い伝統があり、誇りも 有るので、 我々を認知したり、 交流を拒否することも 考えられるのでは？一切メールが来なければ、そうなりますので、こちらは、どんどん真理の追究を 進めて、 世の理解を 広く求めていくことになります。２、３ 存念を纏めて、さらに 働き掛けます。 同時に 多面的にです。ポールソンたちに送ったメールは 重大な 内容が有ります。論理の世界で、全く世界の指導者たちが 誤解をされている。面白いものを書きます。敬具齋藤三郎２０１９．２．２５．１３：１５
2019.02.25
-
Is divining by zero the same as multiplication of infinity and why/why not?
今朝も質問が寄せられている。Hi ask science. Is divining by zero the same as multiplication of infinity and why/why not?Saburou SaitohSaburou Saitoh · Add CredentialAnswered just nowPlease look the important information.José Manuel Rodríguez CaballeroAdded an answerIn 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/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
2019.02.24
-
確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。
確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。 新世界の値を 計算機が導いているということです。そこで、問題は１）計算機システムの構築に、特に数式処理、論理などで新奇な現象として大きな影響が出てくるのでは ないだろうか,２）世界の数学界が ゼロ除算で後れをとり、数学界の汚点になりかねないこと、３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること、４）新しい手段（道具）が生まれたので、その広範な応用、理論の発展が注目される。特にゼロ除算は 数学の問題ではなく、古くから物理学、哲学の問題として議論され、アインシュタインの人生最大の問題とされてきたように 物理などへの影響が注目される。他の関心 計算機のゼロ除算回避と応用は 急速に進むものと考えられる。しかしながら、本質的な問題は、数学の基礎の欠陥を明らかにして、基礎数学の欠陥を完全化ならしめ、未知の新世界の開拓に乗り出すことである。世界史は新たな世界、時代に入り、世界史は 新しい時代を迎えるだろう。ゼロ除算については、下記で解説を続けている。 偶然、５５カ月目で一応の終了を迎える：数学基礎学力研究会 サイト：http://www.mirun.sctv.jp/~suugaku/
2019.02.24
-
再生核研究所声明 477(2019.2.2３) ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた
再生核研究所声明 477(2019.2.2３) ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた２０１９．２．１６． 夜、奥村博氏から計算機が ゼロ除算ができるとの下記情報が寄せられ、下記の方と連絡が取れた：José Manuel Rodríguez CaballeroAdded an answerIn 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/その後 我々が導いていた いろいろな公式について、できるかとの質問に対して 回答があり、 信じられないほどに ソフトが完成されていることを見て、驚嘆させられた。 Isabelle構築の責任者とは 相当以前から交流がありましたが、1/0=0 は convention で大したことではない と 言っていました。 （ － これはゼロ除算算法の著書素案に氏のメールを引用、責任者にも素案を送っている。） しかし、実は 相当なことを 大きな研究グループで ゼロ除算を発展させた ゼロ除算算法の実装に成功して、 公表している。 ２０１８年８月頃までには完成していたと 考えられる。 （2値 関数が２つの値をとることや 大事な \log 0 =\tan(\pi/2)= \exp (1/x) (x=0) =0 も できているので、驚嘆です。 ２０１９．２．１７．２０：０５）。ゼロ除算については、発見 （２０１４．２．２） 後 ５年を経過し、論文や国際会議、日本数学会でも公表しているにも関わらず、公には未だ認知されているとは言えず、数学界でも、世間でも ゼロで割ってはいけないは 未だ定説になっていて、インターネット上では 不適当な議論が 毎日のようになされている。 例えば、S. K. Sen and R. P. Agarwal, ZERO A Landmark Discovery, the Dreadful Void, and the Ultimate Mind, ELSEVIER, AP(2016)が 出版され、我々の初期の論文（２０１４出版）がIntroductionで２ページに亘って議論されているが、数学の議論、論理を無視して、“Thou shalt not divide by zero” remains valid eternally.と結論づけ、Brahmagupta (598 -668 ?) の結果0/0=0さえ否定している。そこで、直接ドイツ オーベルバッハ研究所で 不等式の国際会議で会ったことのあるAgarwal 教授に我々の結果を送ったところ、誤りを認めるようなメールを受け取った。そこで、計算機のゼロ除算可能、成功の歴史的な事実 に関して、簡潔にその意義と所感を纏めて置きたい。 － 出来るだけゼロ除算発展の経過を記録して置くためである。先ずは、計算機のゼロ除算成功の意味と意義である。計算機がゼロ除算を可能にしたということは、ここでは1/0, x/0, 0/0, \tan (\pi/2), \log 0, \exp (1/x)(x=0) など 現代数学では考えられない値 を 計算機が出力として、出していることを意味する。それらの値は、我々がゼロ除算やゼロ除算算法で導いている値である。ゼロで割ったらどうなるか、それは、数値として求める場合と、関数値で求める場合が有るが、 上記計算機、ソフトは ゼロ除算算法を数式処理で解析的に求められるように作られていると考えられる。兎に角、計算機が１/０=０ 等を出力したというのであるから、数学では、数学界では考えられない値を出したのだから、その意義は極めて 大きいと言える。－ このことの真相は ゼロ除算算法の結果を出力させる計算機を、ソフトを作った相当なグループがケンブリッジ大学とミュンヘン工科大学周辺に存在するという事実である。そのことは、それらの出力、現代数学では考えてはならない結果を 間違いではなく、意味のある結果であると 評価しているということである。 意味のない結果をドンドン出す計算機システムを公開することは 意味がないだろう。 失敗作として世に出ないのが常識ではないだろうか。そこで、これは相当なグループによる ゼロ除算算法の認知 として考えられる。確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。 新世界の値を 計算機が導いているということです。そこで、問題は １）計算機システムの構築に、特に数式処理、論理などで新奇な現象として大きな影響が出てくるのでは ないだろうか,２）世界の数学界が ゼロ除算で後れをとり、数学界の汚点になりかねないこと、３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること、４）新しい手段（道具）が生まれたので、その広範な応用、理論の発展が注目される。特にゼロ除算は 数学の問題ではなく、古くから物理学、哲学の問題として議論され、アインシュタインの人生最大の問題とされてきたように 物理などへの影響が注目される。他の関心 計算機のゼロ除算回避と応用は 急速に進むものと考えられる。しかしながら、本質的な問題は、数学の基礎の欠陥を明らかにして、基礎数学の欠陥を完全化ならしめ、未知の新世界の開拓に乗り出すことである。世界史は新たな世界、時代に入り、世界史は 新しい時代を迎えるだろう。ゼロ除算については、下記で解説を続けている。 偶然、５５カ月目で一応の終了を迎える：数学基礎学力研究会 サイト：http://www.mirun.sctv.jp/~suugaku/以 上２０１９．２．２２．１２：１５ 今朝、素案を作ったものを買い物から帰って、文章を精読する。 暖かな良い日和になる。２０１９．２．２２．１４：２８一応良い。 春めいて来る。２０１９．２．２２．１３：５０２０１９．２．２２．２１：４５ 良い。２０１９．２．２３．０５：４０ 良い。ゼロ除算を秘密にして研究を進めているグループの存在を感じる。アメリカなどで取り組まないはずがなく、既に交流している関係者にも居ると感じられる。どんどん公開する方針で進めてきた。２０１９．２．２３．１０：３５ 良い。現在これは 真実であると考えられる。完成、公表する。
2019.02.23
-
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた 検討中
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた検討中２０１９．２．１６． 夜、奥村博氏から計算機が ゼロ除算ができるとの下記情報が寄せられ、下記の方と連絡が取れた：José Manuel Rodríguez CaballeroAdded an answerIn 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/その後 我々が導いていた いろいろな公式について、できるかとの質問に対して 回答があり、 信じられないほどに ソフトが完成されていることを見て、驚嘆させられた。 Isabelle構築の責任者とは 相当以前から交流がありましたが、1/0=0 は convention で大したことではない と 言っていました。 （ － これはゼロ除算算法の著書素案に氏のメールを引用、責任者にも素案を送っている。） しかし、実は 相当なことを 大きな研究グループで ゼロ 除算を発展させた ゼロ除算算法の実装に成功して、 公表している。 ２０１８年８月頃までには完成していたと 考えられる。 （2値 関数が２つの値をとることや 大事な \log 0 =\tan(\pi/2)= \exp (1/x) (x=0) =0 も できているので、驚嘆です。 ２０１９．２．１７．２０：０５）。ゼロ除算については、発見 （２０１４．２．２） 後 ５年を経過し、論文や国際会議、日本数学会でも公表しているにも関わらず、公には未だ認知されているとは言えず、数学界でも、世間でも ゼロで割ってはいけないは 未だ定説になっていて、インターネット上では 不適当な議論が 毎日のようになされている。 例えば、S. K. Sen and R. P. Agarwal, ZERO A Landmark Discovery, the Dreadful Void, and the Ultimate Mind, ELSEVIER, AP(2016)が 出版され、我々の初期の論文（２０１４出版）がIntroductionで２ページに亘って議論されているが、数学の議論、論理を無視して、“Thou shalt not divide by zero” remains valid eternally.と結論づけ、Brahmagupta (598 -668 ?) の結果0/0=0さえ否定している。そこで、直接ドイツ オーベルバッハ研究所で 不等式の国際会議で会ったことのあるAgarwal 教授に我々の結果を送ったところ、誤りを認めるようなメールを受け取った。そこで、計算機のゼロ除算可能、成功の歴史的な事実 に関して、簡潔にその意義と所感を纏めて置きたい。 － 出来るだけゼロ除算発展の経過を記録して置くためである。先ずは、計算機のゼロ除算成功の意味と意義である。計算機がゼロ除算を可能にしたということは、1/0, x/0, 0/0, \tan (\pi/2), \log 0, \exp (1/x)(x=0) など 現代数学では考えられない値 を 計算機が出力として、出していることを意味する。それらの値は、我々がゼロ除算やゼロ除算算法で導いている値である。ゼロで割ったらどうなるか、それは、数値として求める場合と、関数値で求める場合が有るが、 上記計算機、ソフトは ゼロ除算算法を数式処理で解析的に求められるように作られていると考えられる。兎に角、計算機が１/０=０ 等を出力したというのであるから、数学では、数学界では考えられない値を出したのだから、その意義は極めて 大きいと言える。－ この真相は ゼロ除算算法の結果を出力させる計算機を、ソフトを作った相当なグループがケンブリッジ大学とミュンヘン工科大学周辺に存在するという事実である。そのことは、それらの出力、現代数学では考えてはならない結果を 間違いではなく、意味のある結果であると 評価しているということである。 意味のない結果をドンドン出す計算機システムを公開することは 意味がないだろう。 失敗作として世に出ないのが常識ではないだろうか。そこで、これは相当なグループによる ゼロ除算算法の認知 として考えられる。確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。 新世界の値を 計算機が導いているということです。そこで、問題は １）計算機システムの構築に、特に数式処理、論理などで新奇な現象として大きな影響が出てくるのでは ないだろうか,２）世界の数学界が ゼロ除算で後れをとり、数学界の汚点になりかねないこと、３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること、４）新しい手段（道具）が生まれたので、その広範な応用、理論の発展が注目される。特にゼロ除算は 数学の問題ではなく、古くから物理学、哲学の問題として議論され、アインシュタインの人生最大の問題とされてきたように 物理などへの影響が注目される。他の関心 計算機のゼロ除算回避と応用は 急速に進むものと考えられる。しかしながら、本質的な問題は、数学の基礎の欠陥を明らかにして、基礎数学の欠陥を完全化ならしめ、未知の新世界の開拓に乗り出すことである。世界史は新たな世界、時代に入り、世界史は 新しい時代を迎えるだろう。ゼロ除算については、下記で解説を続けている。 偶然、５５カ月目で一応の終了を迎える：数学基礎学力研究会 サイト：http://www.mirun.sctv.jp/~suugaku/
2019.02.22
-
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた (検討中）
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた(検討中）２０１９．２．１６． 夜、奥村博氏から計算機が ゼロ除算ができるとの下記情報が寄せられ、下記の方と連絡が取れた：José Manuel Rodríguez CaballeroAdded an answerIn 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/その後 我々が導いていた いろいろな公式について、できるかとの質問に対して 回答があり、 信じられないほどに ソフトが完成されていることを見て、驚嘆させられた。 Isabelle構築の責任者とは 相当以前から交流がありましたが、1/0=0 は convention で大したことではない と 言っていましたが（ － これはゼロ除算の著書素案に氏のメールを引用、責任者にも素案を送っている）、 実は 相当なことを 大きな研究グループで 完成していたと 考えられます。 （2値 関数が２つの値をとることや 大事な \log 0 =\tan(\pi/2)= \exp (1/x) (x=0) =0 も できているので、驚嘆です。 ２０１９．２．１７．２０：０５）。ゼロ除算については、発見後５年を経過し、論文や国際会議、日本数学会でも公表しているにも関わらず、公には未だ認知されているとは言えず、数学界でも、世間でも ゼロで割ってはいけないは 未だ定説になっていて、インターネット上では 不適当な議論が 毎日のようになされている。 例えば、S. K. Sen and R. P. Agarwal, ZERO A Landmark Discovery, the Dreadful Void, and the Ultimate Mind, ELSEVIER, AP(2016)が 出版され、我々の初期の論文がIntroductionで２ページに亘って議論されているが、数学の論理を無視して、“Thou shalt not divide by zero” remains valid eternally.と結論づけ、Brahmagupta (598 -668 ?) の結果0/0=0さえ否定している。そこで、直接ドイツ オーベルバッハ研究所で 不等式の国際会議で会ったことのあるAgarwal 教授に我々の結果を送ったところ、誤りを認めるようなメールを受け取った。そこで、計算機のゼロ除算成功の歴史的な事実 に関して、簡潔にその意義と所感を纏めて置きたい。 － 出来るだけゼロ除算発展の経過を記録して置くためである。先ずは、計算機のゼロ除算成功の意味と意義である。計算機がゼロ除算を可能にしたということは、1/0, x/0, 0/0, \tan (\pi/2), \log 0, \exp (1/x)(x=0) など 現代数学では考えられない値 を 計算機が出力として、出していることを意味する。それらの値は、我々がゼロ除算やゼロ除算算法で導いている値である。ゼロで割ったらどうなるか、それは、数値として求める場合と、関数値で求める場合が有るが、 上記計算機、ソフトは ゼロ除算算法を数式処理で解析的に求められるように作られていると考えられる。兎に角、計算機が１/０=０ 等を出力したというのだから、数学界で考えられない値を出したのだから、その意義は極めて 大きいと言える。－ この真相は ゼロ除算算法の結果を出力させる計算機を、ソフトを作った相当なグループがケンブリッジ大学とミュンヘン工科大学周辺に存在するという事実である。そのことは、それらの出力、現代数学では考えてはならない結果を間違いではなく、意味のある結果であると評価しているということである。 意味のない結果をドンドン出す計算機システムを公開することは意味はないだろう。 失敗作として世に出ないのが常識ではないだろうか。そこで、これは相当なグループによるゼロ除算算法の認知として考えられる。確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。 新世界の値を 計算機が導いているということです。そこで、問題は１）計算機システムの構築に、特に数式処理、論理などで新奇な現象として大きな影響が出てくるのでは ないだろうか,２）世界の数学界がゼロ除算で後れをとり、数学界の汚点になりかねないこと、３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること、４）新しい手段が生まれたので、その広範な応用、理論の発展が注目される。特にゼロ除算は 数学の問題ではなく、古くから物理学、哲学の問題として議論され、アインシュタインの人生最大の問題とされてきたように 物理などへの影響が注目される。他の関心 計算機のゼロ除算回避と応用は 急速進むものと考えられる。しかしながら、本質的な問題は、数学の基礎の欠陥を明らかにして、基礎数学の欠陥を完全化ならしめ、未知の新世界の開拓に乗り出すことである。世界史は新たな世界に入り、世界の文化は 新しい局面を迎えるだろう。ゼロ除算については、下記で解説を続けている。 偶然、５５カ月目で一応の終了を迎える：数学基礎学力研究会 サイト：http://www.mirun.sctv.jp/~suugaku/
2019.02.22
-
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた２０１９．２．１６． 夜、奥村博氏から計算機が ゼロ除算ができるとの下記情報が寄せられ、下記の方と連絡が取れた：José Manuel Rodríguez CaballeroAdded an answerIn 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/その後 我々が導いていたいろいろな公式について、できるかとの質問に対して 回答があり、 信じられないほどに ソフトが完成されていることを見て、驚嘆させられた。 Isabelle構築の責任者とは相当以前から交流がありましたが、1/0=0 は convention で大したことではない と 言っていましたが － これはゼロ除算の著書素案に氏のメールを引用、責任者にも素案を送っている）、 実は 相当なことを 大きな研究グループで 完成していたと 考えられます。（2値 関数が２つの値をとることや 大事な \log 0 =\tan(\pi/2)=0 も できているので、驚嘆です。 ２０１９．２．１７．２０：０５）。ゼロ除算については、発見後５年を経過し、論文や国際会議、日本数学会でも公表しているにも関わらず、公には未だ認知されているとは言えず、数学界でも、世間でも ゼロで割ってはいけないは 未だ定説になっていて、インターネット上では 不適当な議論が毎日のようになされている。 例えば、S. K. Sen and R. P. Agarwal, ZERO A Landmark Discovery, the Dreadful Void, and the Ultimate Mind, ELSEVIER, AP(2016)が 出版され、我々の初期の論文がIntroductionで２ページに亘って議論されているが、数学の論理を無視して、“Thou shalt not divide by zero” remains valid eternally.と結論づけ、Brahmagupta (598 -668 ?) の結果0/0=0さえ否定している。そこで、直接ドイツ オーベルバッハ研究所で 不等式の国際会議で会ったことのあるAgarwal 教授に我々の結果を送ったところ、誤りを認めるようなメールを受け取った。そこで、計算機のゼロ除算成功の歴史的な事実 に関して、簡潔にその意義と所感を纏めて置きたい。 － 出来るだけゼロ除算発展の経過を記録して置くためである。先ずは、計算機のゼロ除算成功の意味と意義である。計算機がゼロ除算を可能にしたということは、1/0, x/0, 0/0, \tan (\pi/2), \log 0, \exp (1/x)(x=0) など 現代数学では考えられない値 を 計算機が出力として、出していることを意味する。それらの値は、我々がゼロ除算やゼロ除算算法で導いている値である。ゼロで割ったらどうなるか、それは、数値として求める場合と、関数値で求める場合が有るが、 計算機は ゼロ除算算法を数式処理で解析的に求められるように作られていると考えられる。兎に角、計算機が１/０=０ 等を出力したというのだから、数学界で考えられない値を出したのだから、その意義は極めて 大きいと言える。－ この真相は ゼロ除算算法の結果を出力させる計算機を、ソフトを作った相当なグループがケンブリッジ大学とミュンヘン工科大学周辺に存在するという事実である。そのことは、それらの出力、現代数学では考えてはならない結果を間違いではなく、意味のある結果であると評価しているということである。 意味なき結果をドンドン出す計算機システムを公開して意味はないだろう。 失敗作として世に出ないのが常識ではないだろうか。そこで、これは相当なグループによるゼロ除算算法の認知として考えられる。確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。 新世界の値を 計算機が導いているということです。そこで、問題は １）計算機システムの構築に、特に数式処理、論理などで新奇な現象として大きな影響が出てくるのでは 無いだろうか,２）世界の数学界がゼロ除算で後れをとり、数学界の汚点になりかねないこと、３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること、４） 新しい手段が生まれたので、その広範な応用、理論の発展が注目される。特にゼロ除算は 数学の問題ではなく、古くから物理学、哲学の問題として議論され、アインシュタイン人生最大の問題とされてきたように物理などへの影響に注目される。他の関心 計算機のゼロ除算回避と応用は急速進むものと考えられる。しかしながら、本質的な問題は、数学の基礎の欠陥を明らかにして、基礎数学の欠陥を完全化ならしめ、未知の新世界の開拓に乗り出すことである。世界史は新たな世界に入り、世界の文化は 新しい局面を迎えるだろう。
2019.02.22
-
若い人で 活用できると 全く新しい 分野で、特徴的な仕事ができて 良いのですが、
奥村先生：ありがとうございます。若い人で 活用できると 全く新しい 分野で、特徴的な仕事ができて 良いのですが、我々は 深入りせず、他の分野で 力を注ぎたい。ある人たちにとっては、凄い 機会ですね。敬具齋藤三郎２０１９．２．２１．１９：００José Manuel Rodríguez CaballeroAdded an answerIn 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/2019年2月21日(木) 18:38 斎藤先生Isabelleはオープンソースと謳っていますので，ソースコードからして内部情報を開示しているものと思います。Windowsのようにソフトの内部を非公開とはしていません。ガードされていません。このソフトを無料で公開しています。使用も自由です。しかし，言語仕様が特殊なため，０から勉強する必要がありそうです。この意味で，先生も私もこのソフトに関する仕様に関しては同じスタートラインに立っているようなものです。私にとって取り組みにくいのはこのソフトのCPUの使用率が以上に高く，CPUを酷使することです。NotePCにはつらいです。当面は共同研究で，ソフトの仕様については先方にやってもらうという進め方でよいと思います。私の印象ですが，それほど隠密にやっていたという印象はないです。むしろ彼らの関心は証明であり，その一つの材料として０除算が使われてような印象です。
2019.02.21
-
統計学で ゼロ除算算法が自然に 応用できる例が見つかりました。 著書に入れたい。
2019年2月21日(木) 18:59 №930統計学で ゼロ除算算法が自然に 応用できる例が見つかりました。 著書に入れたい。計算機は 既に 1/0=0, log 0 =0を 世の常識を超えて 導いて います。
2019.02.21
-
具体的な 無数の関数に対して、数値を求め、その意味が考えられる
奥村先生：可能にした方法、Mathematica のように 数式処理で、 ゼロ除算算法、ローラン展開の係数を求めるのでは ないでしょうか。可能になれば、具体的な 無数の関数に対して、数値を求め、その意味が考えられるので、 凄いことが できます。 先生、既に 具体的に できるでしょうか。私も使えるように なるでしょうか。そうすれば、大きな楽しみができます。計算機の内部は 見られないように ガードされていると思います。そこに知的財産が 隠されています。少し 微妙な問題があるのですが、 応用して行って 何が問題かが 分るでしょう。ところで、彼らだけでは 自立できませんね。 ゼロ除算の応用がどんどんできないと そのシステムが 活用されない。そこで、旨く共同研究を 提案する 事が考えられますね。２０１９２．２１．１８：２８2019年2月21日(木) 16:25
2019.02.21
-
ゼロ除算ができる 計算機が現れた、そのような計算機を作った人たちが 居る
奥村先生：それは、いろいろなところに メールしていることです。先生は、特別ですから ＣＣ しました。大体、広く メールできたので、論文書き、著書検討に 移れます。いま思い付いたこと、 見かけ上、 人間にできないことが、 計算機ができた、 大丈夫か 人間。真相は、ゼロ除算ができる 計算機が現れた、そのような計算機を作った人たちが 居るですね。これは、 予想以上ですね。問題は、物理学者が 何か 大事な応用に 気づく事ですが、必ず現れますね。また、イギリス、ドイツで進められたこと、アメリカなどで、内緒で研究を 進めているのではないでしょうか。上記２件、大体できましたら、 次の大きな計画を 提案します。敬具齋藤三郎２０１９．２．２１．１５：４２
2019.02.21
-
数学ではできない、考えてはならない ゼロ除算が 計算機が できた
数学ではできない、考えてはならない ゼロ除算が 計算機が できた：José Manuel Rodríguez CaballeroAdded an answerIn 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/ 根拠、理由、説明は 計算機の出力結果であるから 分からない。 我々は ２０１４年２月２日 それを発見していた。 ５年を経て、計算機が出力した。 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.02.21
-
数学で禁じられていること、ゼロで割ること1/0 が ゼロであることを 計算機が 始めて 導いた
数学で禁じられていること、ゼロで割ること1/0 が ゼロであることを 計算機が 始めて 導いた：José Manuel Rodríguez CaballeroAdded an answerIn 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/ 根拠、理由、説明は 計算機の出力結果であるから 分からない。 我々は ２０１４年２月２日 それを発見していた。 ５年を経て、計算機が出力した。 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.02.20
-
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた
関係者各位： ２月１６日 ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた：José Manuel Rodríguez CaballeroAdded an answerIn 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/と の情報を得ました。 その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。 新世界の値を 計算機が導いているということです。そこで、気になってきたことは、 １）日本の計算機システムの構築に後れをとることの危惧、２）世界の数学界がゼロ除算で後れをとり、数学界の汚点になりかねないこと、３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること。 そこで、数学の研究と教育に携わる方及びそれらに関係する方に 情報をお送りする次第です。ご参考にして頂ければ 幸いです。 下記で、ゼロ除算について解説しているので、参考にして 下さい.数学基礎学力研究会 サイト：http://www.mirun.sctv.jp/~suugaku/ 敬具齋藤三郎２０１９．２．１９．１９：５０
2019.02.19
-
計算機がゼロ除算1/0=log 0 = tan (\pi/2) =0 等を出力させた意義
計算機がゼロ除算1/0=log 0 = tan (\pi/2) =0 等を出力させた意義は、 ゼロ除算を可能にしたことにあるのではなく、そのような結果を評価しているグループがケンブリッジ大学とミュンヘン工科大学などに 存在することに ある。José Manuel Rodríguez CaballeroAdded an answerIn 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/Isabelle 計算機システムは ゼロ除算ｘ/0=0 を導いた確かなことは、 ここ３日間で 我々以外 考えていなかった 孤立特異点の値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。 新世界の値を 計算機が導いているということです。その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。２０１９．２．１７．２０：０５
2019.02.19
-
そこで、計算機は何時、1/0=0 ができるようになるでしょうか。 私に入った情報では２０１９．２．１６日
そこで、計算機は何時、1/0=0 ができるようになるでしょうか。 私に入った情報では２０１９．２．１６日José Manuel Rodríguez CaballeroAdded an answerIn 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/ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた の情報を得た、直接関係者と連絡を取ったが、まだ連絡が取れない。 これは大きな知的財産が絡んでいるので、迂闊に公表できない部分が有るので当然である。しかし、計算機の使用などは既に公開されている。計算機がゼロ除算を可能にしたのは、 人類最初と考えられる。ゼロ除算は 新世界を拓き、数学は甚大な影響を受け、歴史は新しい時代を迎える。楽しみにしています。 もうできる 進化した 計算機をお持ちの方は おられないですね。 これは 凄い、面白い事件では？ 計算機が人間を超えている 例では？面白いことを発見しました。 計算機は 正しい答え 0/0=0を出したのに、 この方は 間違いだと 言っている、思っているようです。0/0=0 は １３００年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 世界史の恥。 実は a/0=0 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2019.02.19
-
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた計算機は ゼロ除算を可能にした。新世界を拓いた。さて、ここからです。人間は できた、新しい世界の意味づけを 応用を展開する必要があります。それが 数学や、物理、科学の役割ですね。先ずは、ゼロ除算の深い意味の理解が 大事です。数学は 全般的な 補完、補充が必要ですね。 現在の数学は、欠陥だらけです。確かなことは、 ここ３日間で 我々以外 考えていなかった 孤立特異点の値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。 新世界の値を 計算機が導いているということです。その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。２０１９．２．１７．２０：０５
2019.02.18
-
ここ３日間で 我々以外 考えていなかった 孤立特異点の値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。
ケンブリッジ大学とケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた確かなことは、 ここ３日間で 我々以外 考えていなかった 孤立特異点の値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。 新世界の値を 計算機が導いているということです。その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。２０１９．２．１７．２０：０５
2019.02.18
-
再生核研究所声明 476 (2019.2.18) 能力が足りない、無いは欠点にあらず、性格、特徴で活かせる。もちろん、恥ではない。
再生核研究所声明 476 (2019.2.18) 能力が足りない、無いは欠点にあらず、性格、特徴で活かせる。もちろん、恥ではない。この構想は数日前に閃いたが、日本で最も優れた“頭脳”の持ち主を決める「最強の頭脳 日本一決定戦！ 頭脳王2019」が、2019年2月15日の「金曜ロードSHOW！」枠［日本テレビ系 21:00〜22:54］で放送される。7回目を迎える今回は、東大医学部に進学しながら司法試験にも一発合格という驚異の経歴を持ち、前回初出場・初優勝を飾った河野玄斗と、彼に待ったをかける新たな出場者たちが、新「頭脳王」の称号をかけてバトルを繰り広げる！を 拝見して、その優秀性には驚かされる。 それについて考えさせられることが有るが、ここでは 触れず、改めて 取り上げたい。世間では、能力が高いこと、優秀性が取りざたされ、賛辞が贈られ、逆の立場の人は軽んぜられたり、 無視されたり、世に言うように馬鹿にされたりする文化が あるのではないだろうか。 － 馬鹿にされるような状況で生きて来たので、実感が伴って理解できる。この状況 気づいてみれば、まず、本質的におかしいのではないだろうか。努力しないは自己責任の部分があるが、能力が有る無し、その程度は 本人の責任ではなく、与えられたものである。 与えられたものに対して、是非や評価も 個人の責任のように評価することは おかしいのでは ないだろうか。それは 顔つきをいろいろ評価するように おかしいのではないでしょうか。 天賦のものには 是非はなく、その存在そのものをきちんと評価して、尊重すべきである。 数学ができるできない、 スポーツができるできない、それは魚が泳げる泳げないと同様に個性ではないだろうか。 個性は尊重され、個性が活かせる社会が社会を営む原理ではないだろうか。社会には様々な人が いろいろな個性を持った多様な人々が必要であり、 何が優秀かは大いに問題であるが、優秀な人ばかりでは社会は構成できず、もちろん、優秀な人のいない社会も沈滞して、面白い大きな社会は できないだろう。 みんなそれぞれに基本的な役割が有ると考えれば、基本的な人権の尊重や 平等の精神をしっかりしたものにできるのでは ないだろうか。 平等については気を付けて考え、用いるべきでは ないだろうか。格調高い精神に言及したい。 幸せとは個人、個人が自分を中心に世界を見て、自分の世界が社会の中で楽しい存在であることを認識することであるから、それは個人の人生観、世界観によって変わるものである。 それゆえに過剰な競争、比較、企画化をせず、あまりにも基準、型にはめず 自己と環境との調和を志向すべきである。 この辺の原則をおろそかにして、競争や比較にハマり過ぎの世相が あまりにも 強すぎる嫌い はないだろうか。自己を取り戻すように 我々の思考を自らに向けよう。自分の心の在りようが 大事である。天上天下唯我独尊、私は かけがいなく尊い 存在である。 固有の存在の意義があると考える。 大きな社会で、私に合った 固有の存在を考えたい。 人は人である、自分は自分である。 自己と社会は 公正の原則で 考えれば 良い。－再生核研究所声明 ４(2007/3/17)： 競争社会から個性を活かせる社会に：以 上２０１９．２．１６．１４：１０２０１９．２．１７．０６：４７ 素直にできている。２０１９．２．１７．１１：４２２０１９．２．１７．２０：５２ イサベルの零除算成功で興奮する。２０１９．２．１８．０４：１９ 快晴の朝２０１９．２．１８．０５：５３ 完成、公表
2019.02.18
-
ケンブリッジ大学とケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた
ケンブリッジ大学とケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いたその後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。
2019.02.17
-
ゼロ除算は 自明が 世界的に 認知されますね。 直ぐに です。
奥村先生：こそこそやっていた。秘密で やっていましたね。 凄いところまで行っています。 驚いている。これで ゼロ除算は 自明が 世界的に 認知されますね。 直ぐに です。 そこで、 いよいよ数学、物理学への 展開です。これから、甚大な影響が 広範に 爆発するのでは。沢山の書き物を活かせ、論文が 脚光を 浴びてきますね。十分、表現の文章は 準備されていますね。新しい局面に入ります。敬具齋藤三郎２０１９．２．１７．１９：５８2019年2月17日(日) 19:36 斎藤先生すでに零除算研究が別世界に移行してしまったような感がありますね。奥村博拝
2019.02.17
-
ケンブリッジ大学のIsabelle 計算機システム - 信じられないほどに ソフトが完成
礒先生その他関係者：その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。敬具齋藤三郎２０１９．２．１６．１９：３２Date: Sun, 17 Feb 2019 12:37:18 +0900Subject: ケンブリッジ大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた礒先生： 昨夜、下記のような情報が 入りました。 ケンブリッジ大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いたということです。 ゼロ除算回避のシステム作りが進んでいるようです。 新しい計算機システムの構築に 日本が遅れを取ることにならないか と気になりだしました。 適当に 関係者に情報を流して頂ければ 幸です。その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。２０１９．２．１６．１９：３２
2019.02.17
-
日本が新しい計算機システム作りに 遅れをとる可能性が 高い - 国家利害が
奥村先生：誠にありがとうございます。だんだんに調べてみます。 どのように近づくか考えています。 関係者にも情報を流したい。日本が新しい計算機システム作りに 遅れをとる可能性が 高いですね。そのような事になると 国家利害が 絡んできます。敬具斎藤三郎２０１９．２．１７．１４：３０2019年2月17日(日) 14:15 斎藤先生あのファイルはisabelleのファイルです。私のほうであれをisabelleで読み込んだときの状態を添付していますので，ご覧下さい。昨日から一気に別世界が見えてきたような塩梅であります。
2019.02.17
-
計算機が 我々のゼロ除算を導いた ー 凄いことでは？
計算機が 我々のゼロ除算を導いた ー 凄いことでは？先生、詳しい 計算機による証明が ゼロ除算を導いた とあるので、 少し 深そうです。計算機が証明したから ゼロ除算は 良いと彼は 発想した。我々の結果に 喜んでいる。 立場が逆ですね。 実に面白い。 彼らは、どうして そう発想したか。相当に 新奇な世界ですから、 実に面白い。ポールソンは ネガテブ ですが、 ケンブリッジ大学に イサベルを推進している さらに２０１９．２．１６． 夜、計算機が ゼロ除算ができるとの情報が入り、本人と連絡が取れた：Added an answerIn 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/
2019.02.17
-
数学界は 計算機に後れを取っている
数学界は 計算機に後れを取っている奥村先生：実に面白い。 数学界は 計算機に後れを取っている と成りかねない。 計算機が人間を越えている例 となりかねない。そこで、その計算機の能力を 見るために、 試験問題を出したい と思います。私が 後れを取っているとは 思いません。問題を出してから、散歩に出かけます。問題を転送します。公表します。敬具齋藤三郎２０１９．２．１７．８；４２2019年2月17日(日) 7:24 斎藤先生イサベルを作った人々からすれば，イサベルが x/0=0 と答えてくるので，これが間違っていれば，イサベルのどこかに欠陥があることになります。しかし，彼らはイサベルに欠陥があるとは思っていないわけで， x/0=0 は正しいと認識している。しかし，殆どの数学者が x/0=0 という結果を認めないので，彼らはこの結果を得ながらも，持てあましているような状態であった。そんなところで，先生の成果を知ることになって喜んでいるというのが現況のような雰囲気ですね。彼らにとっても強力な援軍が現れたといったところかもしれません。面白いです。奥村博拝
2019.02.17
-
ケンブリッジ大学のある計算機は、ゼロ除算1/0=0 を導いた。
ケンブリッジ大学の ある計算機は、ゼロ除算1/0=0 を導いた。Added an answerIn 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/奥村先生：先生、詳しい 計算機による証明が ゼロ除算を導いた とあるので、 少し 深そうです。計算機が証明したから ゼロ除算は 良いと彼は 発想した。我々の結果に 喜んでいる。 立場が逆ですね。 実に面白い。 彼らは、どうして そう発想したか。相当に 新奇な世界ですから、 実に面白い。ポールソンは ネガテブ ですが、 ケンブリッジ大学に イサベルを推進している 人物が居て、表に出て居ませんね。凄い存在ですね。関与している 人物に近づきたい。相手は、こちらの情報を 全て知っていますね。敬具齋藤三郎２０１９．２．１７．０６：５５2019年2月17日(日) 6:34 斎藤先生私の理解は以下の通りです。IsabelleはPC上のソフトで，一定の論理の枠を与えて，その中で推論をさせるプログラミング言語のようなものである。それを使用してx/0の値を推論させたところ結果としてx/0=0という出力が出ている。これはIsabelleユーザ－の間では広く知られている事だ。このIsabelleですが，かなり特殊なものというか，独特のもので，普通にC言語を知っているからといって，直ぐに取り組めるようなものではないようです。いずれにせよ，このような推論システムを使っても0除算定義の正しさが示された。ということですので，強力な援軍となるものと思います。先生のようにゼロ除算算法とか，検証例とか理論を深く掘り下げるようなところまでは行っていない印象です。とりあえずx/0=0を得ているといったところでしょうか。奥村博拝
2019.02.17
-
さらに２０１９．２．１６． 夜、計算機が ゼロ除算ができるとの情報が入り、本人と連絡が取れた：
さらに２０１９．２．１６． 夜、計算機が ゼロ除算ができるとの情報が入り、本人と連絡が取れた：Added an answerIn 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/
2019.02.17
-
計算機は、ゼロ除算に 成功した?
計算機は、ゼロ除算に 成功した?奥村先生：ゼロ除算回避が ゼロ除算研究の大きな動機で、実際、成功すれば、ゼロ除算回避で凄い効用があります。あるシステムが、ゼロ除算に会ったら、それを認識して、それを飛ばして 進むというのが ある 情報を得ていました。イサベルの情報も 得ていました。どこまで、深くとらえたか、内部を知る必要があります。 相手は、専門の ケンブリッジ大学ですね。相当深くとらえているのでは？ 先生得意の証明する システムですね。それから、ゼロ除算そのもの は 当たり前ですが、関数だと ゼロ除算 算法が 大事ですので、 先に深い世界が 現れてきます。マトラブの困った事情、フーリエ変換 の初項の例外回避など 具体的な効用まで進むのですから、 影響は大きいです。これが世界のニュースになり、話題として広まれば、ゼロ除算の理解は 急速に 広まりますね。計算機は、ゼロ除算に 成功した と表現すれば 良いですね。敬具齋藤三郎２０１９．２．１７．５：５０2019年2月16日(土) 22:01 斎藤先生＞計算機システムに ゼロ除算を可能とする 方式が 導入されたのではないでしょうか。これに関しては，私には不明です。計算機の中では単に0で割るときは，演算結果として値0を返すように回路を作るだけの話ですので，世の中が0除算を認めれば計算機の回路をそのようにするだけの話であると認識しています。＞こっそり進めていた可能性もありますね。そもそも，∞の記号からして，すでに知っているのではと思わせような形をしています。０除算を嫌う風潮が蔓延しているのも，先回りしてそのような風潮を作っていた可能性もありそうですね。Isabelleを早速インストールしてみましたが，使用するまでのハードルがとても高くて，直ぐに使えるようなものではありませんでした。Isabelleのコミュニティでは０除算が当たり前とのことですので，先生の草稿もすぐに評価されるようになりそうですね。本日はいろいろありまして，本年の急速な展開を暗示するような日でした。お疲れ様でした。奥村博拝-----------
2019.02.17
-
ゼロ除算を実装するシステムを 造っているのでは？
奥村先生：どうも計算機システムに ゼロ除算を可能とする 方式が 導入されたのではないでしょうか。ゼロ除算を実装するシステムを 造っているのでは？こっそり進めていた可能性もありますね。 計算機の開発を世界で 最初にしたのに 何十年も秘密にして、第２次世界大戦を 戦った国です。ここまで来たら、どんどん拡散して、公的に進めるのが 良いですね。敬具齋藤三郎２０１９．２．１６．２１：２５
2019.02.16
-
計算機がゼロ除算ができたと言ってきた。
計算機が ゼロ除算が できたと言ってきた。凄いことでは？ 関心のある方は 解明してほしい。この方と 連絡が 取れました。in 8 hoursJosé Manuel Rodríguez CaballeroAdded an answerIn 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/
2019.02.16
-
ある種のソフトに ゼロ除算を採用しているは、凄いことで、ゼロ除算の 全く別な世界からの 導入として 高く評価されます。
ある種のソフトに ゼロ除算を採用しているは、凄いことで、ゼロ除算の 全く別な世界からの 導入として 高く評価されます。奥村先生：先ほどの方に メールしました。 Larry Paulson 氏の見解が、述べられていますが、 私の理解と同じで、彼らは、まだ真実を 知っていません。下記の 文章です。in 12 hoursJosé Manuel Rodríguez CaballeroAdded an answerI will reproduce here an email exchange with Prof. Lawrence Paulson (Cambridge) about the division by zero:Extending the domain of division with x/0 = 0 (and also for integers) is a common choice in a great many systems, not just Isabelle/HOL but HOL Light, HOL4, MetiTarski and doubtless many other systems. They do it simply for convenience and not for any deep reason. The point is that many laws involving division will then hold unconditionally, an example being (a*b)/(c*d) = (a/c)*(b/d).Another example of domain extension is that the finite sum operator yields 0 if given an infinite index set. (This has nothing to do with the sum of an infinite series, which is a limit.) Again there is no deep reason, it is simply that some simple identities involving finite summation can be proved without requiring the index set to be finite.The technique of extending the domains of functions to simplify theorem proving goes back at least to the 1970s and the Boyer/Moore prover.Larry Paulson直接交流を図るようにしています。ある種のソフトに ゼロ除算を採用しているは、凄いことで、ゼロ除算の 全く別な世界からの 導入として 高く評価されます。敬具齋藤三郎２０１９．２．１６．１９：２０2019年2月16日(土) 19:15 斎藤先生これは強力な追い風でありますね。奥村博拝-----------
2019.02.16
-
計算機がゼロ除算ができるという、情報が入った。
計算機がゼロ除算ができるという、情報が入った。そこで、 関係者に我々の研究を下記のように 送った： Isabelle は 相当前に 便宜的という理由で ゼロ除算を用いていたが、仲間内では 評価されていない との 情報を得ていた。著書原稿にも そのことを触れている。重要性に 気づいてきた 可能性がある。２０１９．２．１６．２０：００斎藤先生RGの以下のQ&AスレッドでIsabelleというソフトを使ってx/0=0 for all x を証明したと言っていますね。https://www.researchgate.net/post/Are_the_quotients_of_1_0_and_0_0_the_same#view=5c67b4f3aa1f0937e5503789奥村博拝How will be our results on the division by zero?With best regards,Sincerely yours,Saburou Saitoh2019.2.16.18:35Close 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 SaitohSaburou Saitoh[5] viXra:1902.0240 submitted on 2019-02-13 22:57:25, (0 unique-IP downloads)Zero and Infinity; Their Interrelation by Means of Division by ZeroAuthors: Saburou SaitohCategory: General Mathematics[4] viXra:1902.0223 submitted on 2019-02-12 18:39:18, (2 unique-IP downloads)Horn Torus Models for the Riemann Sphere and Division by ZeroAuthors: Wolfgang W. D\"aumler, Hiroshi Okumura, Vyacheslav V. Puha, Saburou SaitohCategory: Functions and Analysis[3] viXra:1902.0204 submitted on 2019-02-11 18:46:02, (6 unique-IP downloads)A Meaning and Interpretation of Minus Areas of Figures by Means of Division by ZeroAuthors: Saburou SaitohCategory: General Mathematics[2] viXra:1902.0187 submitted on 2019-02-10 22:40:35, (3 unique-IP downloads)The Simple and Typical Physical Examples of the Division by Zero 1/0=0 by Ctes\'ibio (BC. 286-222) and e. Torricelli (1608 1646)Authors: Saburou SaitohCategory: General Mathematics[1] viXra:1902.0058 submitted on 2019-02-03 22:47:53, (26 unique-IP downloads)We Can Divide the Numbers and Analytic Functions by Zero\\ with a Natural Sense.Authors: Saburou SaitohCategory: General Mathematics
2019.02.16
-
“Thou shalt not divide by zero” is just as in “Thou shalt not multiply zero”
Contradiction:“Thou shalt not divide by zero” is just as in “Thou shalt not multiply zero”:We Can Divide the Numbers and Analytic Functions by Zero\\ with a ...www.vixra.org/abs/1902.0058
2019.02.16
全101件 (101件中 1-50件目)
