[過去ﾛｸﾞ] スバルとマツダ、どうして差がついたのか Part.28 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
819(1): (ｽﾌｯ Sdb3-+lpS) 2017/08/18(金) 00:07:18.81 ID:g80zpmqQd(1)調 AAS
>>817
数学基礎論-wiki
> 厳密な論理によって構成される数学は、発展するに従って自分自身をも厳格に定義する方向へと進み、多くの数学者・論理学者がその夢に心血を注いだ。
> 数学を論理学の上に基礎づける論理主義はフレーゲの独創的な仕事に始まるが、この計画はラッセルの発見したパラドックスによって頓挫する。
…
> ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。
> また、数論を展開するのに十分な体系に見えるペアノの公理系では証明できないグッドスタインの定理など、特定の公理系では証明も反証もできない問題が数多く見いだされた。
よりによってゲーデルその他の数学者によって不可能であるとされた数学基礎論を持ち出して数学基礎論を知らない？？？
不完全性定理を理解できないまでもその不完全性定理によって数学基礎論は当初の目論みと異なるものになったことくらいは理解できているが？
ようはある範囲で公理というルールを決めましょう、その公理は他には関係しないと割り切りましょう、それがたとえばプログラミングというだけさ。
プログラミング言語は種類が異なるコンパイラーではコンパイル出来ない=その範囲でしか公理は成立しない。
お前のプログラミング習得がはhello world止まりと言うのがよく分かったよ。
てめえのブーメランはどんだけ強烈なんだろうね？？？
ガスタービンはディーゼル暖機によって0rpmノンゼロトルクニダキリーーーーーッという程度のオツムは親譲り？？？
ターボを内燃機関とは言わない。
> 邪推デタラメ解釈もここまで来ると病気だな
心の病気に加えて親譲りの頭の悪さという病気もあるマツダチンパンをそんなに貶しちゃあかんよ、サル…
820(1): (ｶﾞﾗﾌﾟｰ KK6b-wB+N) 2017/08/18(金) 05:07:05.91 ID:p+DD/3AFK(1/15)調 AAS
>>819
> 不完全性定理を理解できないまでもその不完全性定理によって数学基礎論は当初の目論みと異なるものになったことくらいは理解できているが？
> ようはある範囲で公理というルールを決めましょう、その公理は他には関係しないと割り切りましょう、それがたとえばプログラミングというだけさ｡
またそんな文系読解で我流解釈していい加減
↓論理記号くらい読める様になった上で再度ゲーデルの不完全性定理を勉強し直してから言いな
>>782 > > ⑦x∈実数&n∈整数&a∈x&a≠0⇒∀a^0≡1;∀x^0≠1;∀n=1
> 日本語でプリーズ｡
↑論理記号さえ読めん癖にゲーデルの不完全性定理を語る事が、どれだけ滑稽な事か分からんとか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.791s*