PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.02.19
カテゴリ： カテゴリ未分類
そこで、計算機は何時、1/0=0 ができるようになるでしょうか。
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/
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた
の情報を得た、直接関係者と連絡を取ったが、まだ連絡が取れない。 これは大きな知的財産が絡んでいるので、迂闊に公表できない部分が有るので当然である。しかし、計算機の使用などは既に公開されている。計算機がゼロ除算を可能にしたのは、 人類最初と考えられる。ゼロ除算は 新世界を拓き、数学は甚大な影響を受け、歴史は新しい時代を迎える。
楽しみにしています。 もうできる 進化した 計算機をお持ちの方は おられないですね。
これは 凄い、面白い事件では？ 計算機が人間を超えている 例では？
を出したのに、 この方は 間違いだと 言っている、思っているようです。
0/0=0 は １３００年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 世界史の恥。 実は a/0=0 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
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/
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0 を導いた
の情報を得た、直接関係者と連絡を取ったが、まだ連絡が取れない。 これは大きな知的財産が絡んでいるので、迂闊に公表できない部分が有るので当然である。しかし、計算機の使用などは既に公開されている。計算機がゼロ除算を可能にしたのは、 人類最初と考えられる。ゼロ除算は 新世界を拓き、数学は甚大な影響を受け、歴史は新しい時代を迎える。
楽しみにしています。 もうできる 進化した 計算機をお持ちの方は おられないですね。
これは 凄い、面白い事件では？ 計算機が人間を超えている 例では？
を出したのに、 この方は 間違いだと 言っている、思っているようです。
0/0=0 は １３００年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 世界史の恥。 実は a/0=0 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
お気に入りの記事を「いいね！」で応援しよう
Last updated
2019.02.19 05:33:28
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
