数学のための論理学 1at MATH数学のための論理学 1 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1029:山本大輝 21/12/18 04:08:42.50 aYt72M4b.net >>980 訂正 Ωz[z∈N→∃u[u∈N∧z=u]] 1030:１３２人目の素数さん 21/12/18 09:31:56.24 CL0ojVCL.net 計算機相手に厳密な基礎づけやるほうが向いてそう。 Coqとかで。 1031:山本大輝 21/12/18 10:55:37.59 aYt72M4b.net 全称導入の問題点は命題が「成立する」という場合 ・存在することが成立する ・存在しないことが成立する という何れかに帰着される時に たとえば素数列でしか成立しない場合など 離散的な数の構成に対して無力であるということ 1032:山本大輝 21/12/18 11:03:07.09 aYt72M4b.net もちろん自然数列と同じように「素数列に対して」 というようにも考えられるかも知れない しかしそれは循環論法ではないかと思われる 素数の分布がわかっていないのに 素数の存在を用いてしまうことはご法度だろう 1033:山本大輝 21/12/18 11:04:31.97 aYt72M4b.net 確率の話のように たとえば離散的なものも極限を用いれば連続と看做せる というようにできるものなら全称判断も可能かも知れない しかしそうではないものに対してはやはり無力だ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch