ゲーデルの不完全性定理で完全に否定されているだろ
プログラムは不完全性では動かせない
探検
「数学」をプログラミングするには
■ このスレッドは過去ログ倉庫に格納されています
149デフォルトの名無しさん
2024/03/29(金) 07:29:41.84ID:Gq7mALgF■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 中国の王毅外相、高市首相の台湾巡る答弁は「レッドラインを越えた」 [どどん★]
- 【小学校24歳男性教師】酒に酔って車盗み、海にダイブ、ズブ濡れで車乗り捨て、別の車で朝まで爆睡「仕事があり早く帰りたかった」北海道 [ぐれ★]
- 【相撲】九州場所千秋楽 関脇・安青錦が初優勝 優勝決定戦で豊昇龍破る 所要14場所は史上2位のスピード記録 [ニーニーφ★]
- 【速報】 中国国営新聞社 「日本はすでに代価を支払った」 中国SNSで1位に 高市総理の発言めぐり ★4 [お断り★]
- 【コメ】やっぱり進次郎のほうがマシ…｢コメの値下げは無理｣と言い張る農林族の鈴木農水大臣 ★2 [ぐれ★]
- 【外交】中国王毅外相「日本軍国主義の復活を決して許さない」★２ [１ゲットロボ★]
- 巨専】ジャイアンツファンフェスタ2025
- とらせん 2
- 競輪実況★1607
- 【DAZN】フォーミュラGP【F1 2 3 SF P】Lap1809
- こいせん 全レス転載禁止 SHAKARIKI
- 他サポ2025-266
- 【実況】博衣こよりのえちえちホロ食べず嫌い王🧪 ★2
- 【悲報】ツイッター愛国アカウント、続々と外国産だということが判明 つまり愛国者は外国人ということ？ ★2 [158478931]
- 【んな専🏡】んなたん(・o・🍬)アソビ大全配信実況スレ🏰【ホロライブ▶】
- 高市早苗、G20会場で浮いてしまう 上目遣いで他国首脳にアピールするも効果ゼロ [165981677]
- 皆で雑談しよーや
- サメ食ったことある？ [685321817]