数理論理学(数学基礎論) その13at MATH数理論理学(数学基礎論) その13 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このスレッドのURL■項目テキスト400:132人目の素数さん 18/10/13 19:03:13.06 0Urzj/b8.net 人のせいにするなks 401:132人目の素数さん 18/10/13 20:45:49.15 fPHRPxii.net >>382 ksks 402:132人目の素数さん 18/10/13 23:49:02.38 J/d6bjia.net >>377 「メタ数学」のほうがいいよね。「記号論理」という名称ももはや適切なのかよくわからない 「形式体系」を議論するという意味ではまあ記号論理なんだろうけど、意味論的な議論もするのだからちょっとおかしい 403:132人目の素数さん 18/10/14 00:14:30.78 KgJid0mC.net 「形式数学」はどうかな 404:132人目の素数さん 18/10/14 00:17:51.39 v21qITeD.net >>385 直観主義の人がキレるから駄目 405:132人目の素数さん 18/10/14 00:18:17.45 v21qITeD.net あ、プラトニズムの人もキレるか 406:132人目の素数さん 18/10/14 00:58:29.78 DBsfoPbR.net くそすれ 407:132人目の素数さん 18/10/14 01:11:52.00 bmltc1pP.net 述語論理学 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch