[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
850(2): 06/11(水)19:41 ID:fE19BSn6(4/4) AAS
同じ人っていうかsetaさんですね
>>847 理論計算機科学の厳密な部分は数学の一分野です
そもそも「理論計算機科学と*現代数学*上の」って書いてありますよね
>>841で引用したaaronsonも
外部ﾘﾝｸ[pdf]:www.scottaaronson.com
の1.2.4で「P!=NP」は数学でないという主張に強く反論しています
それより >>838 の
省3
851: 06/12(木)01:47 AAS
>>850
科学という文字が読めないのは義務教育を受けておらず背理法すら知らないからか？
852(1): 06/12(木)01:51 AAS
>>850
数学なら公理の選択に現実世界の情報は一切使用されない
計算機科学は公理の選択に「現実的なハードウェアリソースの制約」という制約を課す
形式科学はそのような制約を持たない
自然科学はそのような制約を持つ
故にこれは形式科学ではなく自然科学である
バカすぎるから自殺しとけ
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s