数学界がぼんやりして居れば 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.。2023.5.11.5:17
Aqua · 坂本龍一 The Best of 'Playing the Orchestra 2014'1st
https://www.youtube.com/watch?v=n0kooktTrPw&list=RD9c7KFKXpzWI&index=6
№1287
声明712
69
396頁
最新の記事
Institute of Reproducing Kernels
-
C++ : What is the fastest integer division suppo
テーマ: 数学
2023年05月11日 04時48分 -
C++ : division by zero with a template argument
テーマ: 数学
2023年05月11日 04時48分
-
Django : django.db.utils.DataError: division by
テーマ: 数学
2023年05月11日 04時48分
-
ChatGPTや生成系AIなど日本最大級のAI展示会「第7回 AI・人工知能 EXPO【春】」5
テーマ: 社会
2023年05月10日 12時03分 -
We are only here for such a short sliver of time
テーマ: 数学
2023年05月10日 05時09分