Inter-universal geometry と ABC予想 26at MATH
Inter-universal geometry と ABC予想 26 - 暇つぶし2ch264:132人目の素数さん
18/04/15 19:56:45.00 MU6FSmgG.net
>>248
>現在は厳格な成文法を求める動きが広がっており
そういう動きがあるという話は聞いたことはないが、一つ言えるのは、
「そんな事は原理的に不可能」なのを知ることが一番大事だ。
もしそんな厳密なルールなるものが完成可能なら、そのルールだけ存在すれば
あとは機械的に盲目的に人間はそのルールに追従すればいいが、
そうやって機械的に処理できないからこそケースごとに話し合う必要がある、
もっと率直に言えば「全てのルールにおいてそのルール自体が不合理だ」と




次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch