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