TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Inter-universal geometry と ABC予想 26
世界史的数学難問を解いた佐野千遥を語るスレ
Inter-universal geometry と ABC予想 否定派
未解決問題の証明論文は論文誌には載らない
数学の本 第90巻
\って何なんだよ……
期待値 という言葉？概念？が分からなくなったので誰か教えて
日本の数学者を語るスレ
チャート式の例題写しても全く分からない訳だが
分からない問題はここに書いてね452
- 34 ：
- https://rio2016.2ch.sc/test/read.cgi/math/1583897486/915
>現代の数学論理やるなら
数学論理という言葉はない
数理論理（Mathematical Logic）という言葉はあるがな
>竹内「層圏トポス」の21世紀版じゃないですか？
論理を知らん人に限って
層とか圏とかトポスとかいう
新しい単語を聞いてはしゃぐので困る
論理を実際に使うなら
タブローの方法とか
知っといたほうが役に立つ
自動証明の基礎にもなってる
https://ja.wikipedia.org/wiki/%E3%82%BF%E3%83%96%E3%83%AD%E3%83%BC%E3%81%AE%E6%96%B9%E6%B3%95
「タブローの方法は命題論理や一引数の一階述語論理において決定可能である。
（つまり有限ステップで必ず判定を行える。）
しかし、多引数の一階述語論理において決定不可能である。
（つまり有限ステップで判定できない可能性がある。）」
具体的にいうと
∀ｘ∃ｙR(ｘ、ｙ）
みたいな論理式にタブローの方法を適用すると
延々と新しい項を生成する
（つまり、無限個の対象をもつモデルを生成しようとする）
低能サラリーマンking様の弟子と雑談できちゃうスレ
Inter-universal geometry と ABC予想 37
２曲線
フェルマーの最終定理の簡単な証明
巨大数探索スレッド15
現代数学の系譜11 ガロア理論を読む22
現代数学の系譜11 ガロア理論を読む26
高校数学の質問スレPart402
自然対数ｅっていったい何者なの？
数学板が過疎った理由
--------------------
【TOYOTA】 ポルテ＆スペイド 35 【porte/spade】
母の日は生んでくれた母親に「ありがとう」
角川スニーカー文庫総合スレッド60
宗教は本当に必要なのか？
【TOYOTA】GRヤリス/GR YARIS part17【WRC】
ニキビ ニキビ跡でにきこもりpart99
PSO2今さらはじめるか迷う 161
ょぅι゛ょスレ チョコゲット22個目
**民主党ですがグループリーグです
【漫画】 ベルダンディーが就職活動をする「ああっ就活の女神さまっ」
【神】植松聖「（遺族に言葉を掛けるなら）急に殺してしまって申し訳ありませんでした」
【ガルパン】ガールズ＆パンツァー戦車道大作戦part257
◆ アイ ラブ トマトジュース 8 ◆
beats by dr.dre 6
【悲報】ﾈﾄｳﾖが台湾の従軍慰安婦像に蹴り→台湾人激怒で大炎上→国際問題に発展へ
中国と韓国で親切度調査をした結果、日本では有り得ないことが起きてしまう
【ＳＦＣ】サンドラの大冒険【アクション】
次スレ
【芸能】 コロナ死・岡江久美子さん、専門家が衝撃発言 「すぐにアビガンを投与すれば、違った結果になったかもしれない」★3
■□■新ミシンの迷信・・・35話目■□■
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼