わたしは何で出来ている！？成分チェッカーやってみた | Institute of Reproducing Kernels
AmebaAmeba 20th Anniv.ホームピグアメブロ
芸能人ブログ人気ブログ
新規登録
ログイン

Institute of Reproducing Kernels

色々な事を書きます。マイペースで書きます。

わたしは何で出来ている！？成分チェッカーやってみた

あなたの成分は・・・

主人公タイプ

 

真実は真相は明らかにされなければならない。

分からないと言っているのは、分かろうとしない誤魔化しの精神です。恥ずかしい

数学界がぼんやりして居れば　AIが先駆けてゼロ除算を認知するだろう。

実際、Isabelle/HOL:は　1980年代に1/0=0　を盛んに出していたという。　関係者は当時も、今でも大したことは無いと言っている。　しかもそれは、ゼロ除算を実装した世界で　最初の計算機だ　と最近言っている

Do you have some information on the sentence
In the library, the decision was made to complete the function in such a way that x / 0 = 0. This decision simplifies many proofs, since you have to deal with less side conditions. Unfortunately it also sometimes confuses people who expect something else.
In Is 1 / 0 = 0 according to Isabelle? - Stack Overflow
https://stackoverflow.com/questions/57385473/is-1-0-0-according-to-isabelle
2019/08/07 ... Isabelle/HOL is a logic of total functions, so there is no built-in notion of a ... and it returns their quotient except when b is zero.。２０２３．５．１１．５：１７

我々の数学には基本的な欠陥が有ると例を挙げて述べている。　世界に宣言している。　四則演算の基本に欠陥がある。　ゼロで割れない数学は　既に　数学に欠陥がある証拠であると考える。　ある進んだ計算機は1/0=0を1980年代にどんどん出していたが、　人間はそれはおかしいとして積極的に拒否してきた。　他方、　論理学者は理論上、そのような可能性を指摘していた。　更に歴史家は、数学が不可能を可能にしてきた歴史から、ゼロ除算はやがてできるようになるだろうと予言していた。２０２３．５．１６．５：３８

 

 

 

 

 

 

№1287
声明712
69
396頁

最新の記事

Institute of Reproducing Kernels