数学基礎論・数理論理学 その16at MATH数学基礎論・数理論理学 その16 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1016:１３２人目の素数さん 16/09/02 03:32:20.64 9mxE5rsz.net >>968 基礎付けって誰の造語？ 1017:１３２人目の素数さん 16/09/02 05:34:22.08 pPFo64CL.net 数理研研究集会の講演タイトルを見ていてギョッとした 9 月 27 日（火） 10:00-10:50 新井敏康（千葉大） 角田先生，証明論を分かって下さい 1018:１３２人目の素数さん 16/09/02 14:51:00.10 jXH5LYd5.net >>982 造語って言うか数学基礎論が目指していた(いる?)ところのものが「数学を基礎づける」という意味で使っているが、そんな特殊かな 1019:１３２人目の素数さん 16/09/02 14:54:23.38 jXH5LYd5.net 別の言い方をすれば、無矛盾性の証明以外で何をすれば数学基礎論が進歩したとおもわれてるの?最近の研究者のあいだで。 1020:１３２人目の素数さん 16/09/02 14:58:40.48 eTvkQD2D.net >>984 文字列配置だけを頼りに言葉を同定してる人なんだろ 1021:１３２人目の素数さん 16/09/02 16:20:39.24 3PRr7uKO.net >>984 全く通じない そもそも「目指していた」というのは思い込みで既に達しているから 基礎という概念を理解してないからこんな造語を出来る 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch