[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
24(1): Mathematics has no foundation. 2024/04/22(月)08:03:26.55 ID:XBNNCRoI(3/5) AAS
数学理論の無矛盾性問題に対してヒルベルトは
自らの考えたメタ数学（数学理論自体の算術化）で
無矛盾性を証明するヒルベルト計画を打ち上げた
しかしながら、このヒルベルト計画は
ゲーデルの証明した不完全性定理によって
ヒルベルトが想像した形では実現できないことが示された
（数学の論理学的基礎づけとしての）
数学基礎論は死んだといわれる由縁である
ハイエノールトの「フレーゲからゲーデルまで」は
数学基礎論の誕生から死までを描いた貴重な本である
164: 2024/04/26(金)07:37:25.55 ID:/VnuzdPZ(1) AAS
>>158
>御大
ほめてるつもりだろうが、その意図に関わらず、ほめ殺しになるのがこの世の常
>私らとは、あたまのできが違う
謙遜してるつもりだろうが、「ら」とつけることで、自分以外の人を貶してるし
自分を入れるのも、努力をサボる口実なら、ただむなしい
他人をほめず、自分をほめず
自分をさげず、他人をさげず
人として当然であってほしい
262: 2024/05/03(金)22:32:32.55 ID:BhVTf23O(1) AAS
罵倒と恫喝で勝ち取った虚栄
274: 2024/05/04(土)12:52:46.55 ID:B+vDRgim(5/12) AAS
>>272
>松本眞先生いつのまにか早期退職なさってたのか
はっ
気づかなかったが
松本 眞（まつもと まこと、1965年2月18日[1] - ）>>266
まつもと まこと （本人の情報 2023年8月一杯で退職しました）
2023年-1965年＝58年だから58歳
たしかに、定年前ですな
306(1): 2024/05/05(日)13:04:35.55 ID:fJAZCDdM(1) AAS
外部ﾘﾝｸ[php]:www.ctpost.com
2011年にWill Sawinは17歳でYale を卒業。数学と経済学のdouble major。
” Monday, at age 17, Sawin will graduate -- with distinction -- from Yale University with a double major in math and economics. ”
じゃあ、2024年現在で30歳か。
412(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/06/11(火)10:31:59.55 ID:2CLUiaKO(1) AAS
>>411
(引用開始)
自分が自明とか簡単とか思ってるからといって
正しいことにはならんけどな
ヒルベルトも数学の無矛盾性なんて算術で証明できると思ってた
まさかラッセルがフレーゲの理論をひっくり返したのと全く同じ方法で
ゲーデルとかいう若造が自分の計画をひっくり返すとは全然思ってなかった
(引用終り)
１）うん、だから、それでぇ・・、なんだかんだ・・、いろいろあるでしょｗ ；ｐ）
そりゃ〜、数学ですからねｗｗｗ
省17
434: 2024/06/13(木)09:54:56.55 ID:3u4lWu6P(1) AAS
Lepageってどの程度大物なの？
439: 2024/06/13(木)19:58:48.55 ID:6DGS8Ou4(1) AAS
>>437
これならできそう
632: 2024/07/04(木)08:57:03.55 ID:p9PEvujv(1) AAS
例えばラッセル集合は線形論理上では無矛盾ではあるが
じゃあ、それって自身を要素として持つのか持たないのか
と問われると発振状態になってしまって、その状態を
論理として許容するのかしないのかの違いになってしまう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s