[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 26 (1002ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
258
: 2018/04/15(日)19:56
ID:MU6FSmgG(9/13)
AA×
>>248
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
258: [] 2018/04/15(日) 19:56:45.00 ID:MU6FSmgG >>248 >現在は厳格な成文法を求める動きが広がっており そういう動きがあるという話は聞いたことはないが、一つ言えるのは、 「そんな事は原理的に不可能」なのを知ることが一番大事だ。 もしそんな厳密なルールなるものが完成可能なら、そのルールだけ存在すれば あとは機械的に盲目的に人間はそのルールに追従すればいいが、 そうやって機械的に処理できないからこそケースごとに話し合う必要がある、 もっと率直に言えば「全てのルールにおいてそのルール自体が不合理だ」と （ルール改正手続きを経由せずに）主張する余地がある訳で、 だからこそ国を訴える事も可能なのだ。 http://rio2016.5ch.net/test/read.cgi/math/1523148966/258
現在は厳格な成文法を求める動きが広がっており そういう動きがあるという話は聞いたことはないが一つ言えるのは そんな事は原理的に不可能なのを知ることが一番大事だ もしそんな厳密なルールなるものが完成可能ならそのルールだけ存在すれば あとは機械的に盲目的に人間はそのルールに追従すればいいが そうやって機械的に処理できないからこそケースごとに話し合う必要がある もっと率直に言えば全てのルールにおいてそのルール自体が不合理だと ルール改正手続きを経由せずに主張する余地がある訳で だからこそ国を訴える事も可能なのだ
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 744 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.026s