数学基礎論・数理論理学 その19
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、 https://rio2016.5ch.net/test/read.cgi/math/1474357543/ >>170 タブロー法は、例えば線形代数でいえば消去法みたいなもんです マイナーなタブローはどうかなあ >>173 タブローの方法とは、真理の木あるいは意味論的タブローまたは分析タブローと呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続きの一種である。ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。 >>175 素人が論理って便利と感じるのは、 「やらない理由はない」と言って不必要な仕事を指示された時に論理的に反論したいのですが知識がなく、できません。 >>179 >>182 >>183 別に簡単じゃないと言っていないんだが >>180 https://www.e-sales.jp/word/yesbut.html#: ~:text=Yes%20But%E8%A9%B1%E6%B3%95%E3%81%A8%E3%81%AF%E3%83%BB%E6%84%8F%E5%91%B3,%E3%81%A8%E4%BD%95%E3%81%8C%E9%81%95%E3%81%86%E3%81%AE%EF%BC%9F https://www.nippon.com/ja/japan-topics/g02261/ >>184 >>181 ところで「不必要な仕事」であることは証明できるのでしょうか？ >>188 http://www2.yukawa.kyoto-u.ac.jp/ ~kanehisa.takasaki/edu/logic/ > ID:doVY1jXx >>171 ,172 >>170 >>189 ,190 >>181 >>189-190 >>181 >>191 https://en.wikipedia.org/wiki/Method_of_analytic_tableaux https://web.archive.org/web/20160305011658/http ://www.cle.unicamp.br/jancl/logica/Nova%20pasta/Vol%208/vol8part1/59a76.pdf ＞会社から見て、「君はいなくても困らないよ」と言われないようにしないとね 今日見つけた怪しい書き込み 続き >>197-198 https://rio2016.5ch.net/test/read.cgi/math/1676110842/219-222 https://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%83%E3%82%BB%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86 >>195 >>199 https://ja.wikipedia.org/wiki/%E5%88%86%E5%87%BA%E5%85%AC%E7%90%86#%E7%84%A1%E5%88%B6%E9%99%90%E3%81%AE%E5%86%85%E5%8C%85%E5%85%AC%E7%90%86 https://en.wikipedia.org/wiki/New_Foundations >>202 >>207 >>208 R=Map(N,2)だと群構造表さないよなあ >>209 >>211 ゲーデルの算術化で帰納的関数全体は可算になる？ >>212 >>215 >>213 何を？ 検索ワードを？ >>214 ゲーデルコーディングで、でこれ以上無いほど完全に具体的かと >>215 有限の立場＝PRA、と述べただけで、PRAについて皆様に説明する義務は負っておりませんが >>216 >>203 の書き込みから、ID:1s3pLI9Iを不審者と感じました。 >>218 >>222 >>221 >>223 もし、203に202へのアンカーがなく 脱線質問なのに過去の書き込みと関連があるかのごとく書いたのが不審ということです Xで掛け算の順序について支離滅裂な主張を延々としている奴が居て笑える >>228 掛け算順序論（というか掛け算定義教）は 私は全てのa,bの対してa×b=0と定義します 界隈の定義がこうだから、解釈も定義に従って行わないといけないっていう感じが理解できん 独自の定義をした上で、それが標準的な定義と同じ結果を与えることを証明してから回答を書いてもいいんですよ？ >>234 K〇〇oとかいう馬鹿が他人を見下して支離滅裂なこと書いているから痛すぎる KONO氏は昔から逆張り大好きな人だったなあ 某スレに、「小学科校から国語のやり直し」を連呼する基礎論婆（数学落ちこぼれ）がいた KONO酷いな 掛け算順序に固執する人の発想が「スカラー×ベクトル」なのはなんとなく見当がつく KONO氏はレスバしたがってるだけなので相手しても時間の無駄よ 全ての🎁の中に🍎🍎🍎🍎🍎 ある。 🎁🎁🎁からそれぞれ１コ🍎を取り出すなら3+3+3+3+3ですが何か？ 直観主義論理で西村巌という人が重要な仕事をしているらしい >かけ算に順序はない」の(ひとつ分)x(いくつ分)と異なる間違った定義のリスト。これで尽きてる >>247 レスバしたい人を相手すると時間空費するからやめとき 論理学において、「矛盾」の扱いが雑なように感じる。 Pと¬Pの両方が導かれることを矛盾という Pと¬Pの両方が導かれる場合、排中律は成り立っていない。 ＞Pと¬Pの両方が導かれる場合、排中律は成り立っていない。 爆発率てのは人→Pのことだけど うーん、理解されなかったか。 >>255 >>252 P→Pが成立しないような矛盾は数理論理学では 大概の論理で つまらない論理ではないと考えているから質問しています。 >>261 >いかなる命題を前提してもトートロジーは導ける トートロジーの否定は構文上はFalseではなくね？ ¬(P∧¬P)とFalseは構文としては違うじゃん 爆発律って Pがトートロジーのときは¬PからFalseが導けるからFalse→Qから¬P→Qが云える 
