[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
76(2): 2023/02/07(火)13:41 ID:NU4TkkF0(1) AAS
ゲーデルの不完全性定理に先立つゲーデル数論議も
チューリングマシンも
どちらも『礎』じゃから
古いも新しいも無く不可避通過点じゃあ言う事が分からず
『チューリングマシンは古い』言うとるSetA爺は
もう、SetA爺は『矛盾を認めてこそ新しい数学が在る』と思い込んどるんじゃな
奴の日頃の『A=BかつA≠B、そんな数学が在ってもいい。それが２１世紀の数学だよ。』発言は『論理的』には同じ意味｡
省3
77(1): 2023/02/07(火)14:03 ID:oRBW+sup(1) AAS
>>76
承認欲求氏は論理も計算理論も知らんから
ゲーデルコード化もチューリング完全も
分からんとのこと見た
しかし彼は自分が他人より賢いと認めさせたい
一念でここに書き続けているみたいなんで
絶対に知らないと認めないだろう
省1
80(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/02/07(火)15:19 ID:Gna27mNy(5/6) AAS
>>76-78
ご苦労さまです
（参考）
外部ﾘﾝｸ:xtech.nikkei.com
xtech.nikkei
AI最前線
連載をフォロー
省18
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s