ジョルダンの曲線定理が完全証明される

彼と同類の存在に堕ちた、と言ってくれ

>>763　
グッド！　＞夫馬でした

基礎論系の（話題に持っていけそうな）スレには、毎回必ず
「お前らは形式化されたものこそ正しいと思っている！
お前らは形式化されたものこそ論理だと思っている！
だがそれは間違いだ！
お前ら形式化マンセー野郎共の認識を俺様が改めてやる！」
という決意に燃えて啓蒙活動に励む人が現れます。
「スレ違い」「話題を無理矢理そっちに持っていくな」「脳内敵とのバトルはよそでやれ」
などと注意しても、>>664-677みたいに脊髄反射で悪態をついて、しつこくスレに居座り続けようとします。

餌だよ。餌

>>757 のネタ
> 言語と行為
> J.L.オースティン (著), 坂本 百大 (翻訳)

別のところでは、これも使ってるよ。状況によって使い分けてるから
＞名指しと必然性―様相の形而上学と心身問題
＞ソール・A.クリプキ (著), 八木沢 敬 (翻訳), 野家 啓一 (翻訳)

>>767 ごめん。こっちの方がいいかも…
＞ウィトゲンシュタインのパラドックス―規則・私的言語・他人の心
＞ソール・A.クリプキ (著), 黒崎 宏 (翻訳)

いわゆる「数学の哲学」の人って
知ってる数学が非常に特殊なんだよね
基礎論関係か、あとは高校レベルか

計数工学科の学部生ほどの知識があれば
彼らの中では物凄い博学、ということになるんだろうけどｗ

>>769
佐々木力だ（禿
じゃなくて（藁

＞夫馬でした。

> 実在論と科学の目的
> K・ポパー (翻訳), 小河原 誠 (翻訳), 蔭山 泰之

加藤先生の「ゼータさんを見つけようと思って日本昔を買ってきて
読んだんですが、無駄でした。」って結構、受けてたな

俺はイマイチついていけなかったよ　＞夫馬でした

たしかに受けるかもｗ

>>773 夫馬です。
ＩＣＭの総合講演でも、これを期待されているらしいよ

早く来ないかな、鉄柱…

>>769 夫馬です

いや、鉄柱は「数学の哲学」の人ではない。俺が
ネタに使ったのは、その分野の基礎文献だから。
それも見抜けてない

基礎論初歩について少し本を読んだのも
数学の哲学に関して少し本を読んだのも、
ずっと昔のことで、あんまり良く覚えて
ないんだがな　　　　　　　夫馬