数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch616:132人目の素数さん 11/05/22 01:00:45.29 >>614 そこをどういうふうに読んだの? 俺は、 < 「構成的」でなくてもいいからまずは証明すればいいじゃないか。 < 証明が得られれば、当然そこから生まれる知見があるはずで、 < 得られる前からこうでないといけないと言っても仕方がない。 と読んだ。最初ちょっとわかりにくいと思ったが。 確か同僚の渕野昌さんも新井さんの立場をそう説明していたはず。 もっと>>612のように直截的に書いてたと思った。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch