関数電卓、買うならどれが良い？＠電気・電子 Part3

>>81
高卒のような無教養じゃなければ、
数学的な証明は集合論の成り立つ世界にしか適用できない
概念だとすぐにわかるがね。

何が言いたいかわかるかね？
つまり、ブラックボックスに対して証明という言葉を使うときには
それは数学的な証明の意味ではない。

混同する奴がよく居るんだよな。
そういう混同をする奴ってのは、数学的な証明なら反例を一つあげれば
否定の証明など簡単にできるのに、数学でも
「『否定の証明』は『悪魔の証明』と言って絶対に出来ない」とか言い出すんだわ。
過去に実際居たし。

ブラックボックスであるTIの挙動は全体集合を確定できず、集合論の範疇ではない。
つまりこれに対して言う「証明」は数学的な証明とは別の概念である。