数学基礎論・数理論理学　その12

前スレのSanders御犬ネタのまとめ(5)

835 ：１３２人目の素数さん：2012/03/10(土) 23:38:27.56
だからその構成主義的な解釈の仕方で或る命題を読むと
そういう表現になるというだけだろ。
その前にブラウワーの話とかをわざわざしているのだから
文脈上そのくらいの補間をすることは求められているんじゃないか？
普通のロジックの分野だとprovably continuousとか言うのかも知れないけど
直観主義者は大抵そういう言い方を嫌う。

>>826みたいな事言うのなら今度から
　実数上の全域関数には不連続なものがある。
じゃなくて
　「「実数上の全域関数」として古典論理上の数学において認められるモノ」」には不連続なものがある、
と言うようにしてくれよ。CZFをZFCや普通の数学と両立しないやり方で拡張することだって出来るんだから。

836 ：１３２人目の素数さん：2012/03/10(土) 23:44:31.86
アホだな。

>CZFをZFCや普通の数学と両立しないやり方で拡張することだって出来るんだから
どんな拡張しても定理は増える一方で、
定理であったものが定理でなくなることはありえない。
つまり CZF で定理だという以上、
「どんなやり方で拡張しても」定理でなければいけない。
「ZFCや普通の数学と両立しないやり方」があったとしても
「ZFCや普通の数学になる拡張」がある以上言い訳になっていない。

>「「実数上の全域関数」として古典論理上の数学において認められるモノ」」には不連続なものがある
メタレベルとオブジェクトレベルの区別を付けてから出直してくるんだな。