TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
「コホモロジー」
「これ、本当に重要か?」って数学の概念
もっと前頭葉を使いなさいよ
皆本健太郎の東方project
自然対数eっていったい何者なの?
未だに数学で納得いかないこと挙げてけ4
線形代数学ムズすぎワロタw w w
Inter-universal geometry と ABC予想 (応援スレ) 44
分からない問題はここに書いてね446
数学記号を考案・改良するスレ
784 :
論理学って、一般の人が想像するのは古典論理か
プール代数だろうけど、ちょっと応用面になると、
プール代数におけるフリップフロップみたいな
時間様相が入ってくるじゃないですか。さらに
制禦とかをやろうとすると、ファジイ論理とかも
視野に入ってくるし。
一方で、証明可能性とかになると、「二重否定の除去」が
できないから直観論理が必要になってくる(「神が存在しないことの
証明が可能でないならば、神は存在する」は、一般的に正しくない。
とはいえホーン節の論理だと、閉世界仮説が通用するので
「正しい」という教条主義的な結論になりそうだが)とか、
様相論理(多値論理?)とか考えないと「多数派の多数派は必ずしも
多数派ではない」みたいなわりと素朴な推論も、うまく扱えない。
各論は掘り下げなくてもいいけど(それぞれ専門の本はある)、
それぞれの論理の概観的な紹介と現実的な応用、またそれぞれの
論理の関係について、ざっくりと解説してくれているような
本ってないのかな。

分布 distribution 超関数 hyperfunction一般化関数
1+1=2について考える
現代数学はインチキのデパート
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
問題文一行の超難問を出し合うスレ
現代数学の系譜11 ガロア理論を読む28
リーマン予想証明終了
Inter-universal geometry と ABC 予想 43
現代数学の系譜 工学物理雑談 古典ガロア理論も読む48
lim[n→1-0]{n} < 0.99999…(循環小数)
--------------------
☆ジョナサン (乙女座) part66★
【もはやギャグ】自民党の『お肉券』に党内から異論噴出!「お肉券だけじゃバランスが悪いから『お魚券』も!」→お魚券発行へ
【リジッド】レプリカジーンズ 67枚目【鬼穿き】
【ユースケ】ダイアンpart49【津田】
金沢大学62
【バーチャルYouTuber】.LIVEアイドル部アンチスレ#5494【有り】
月刊コミックバンチ part8
【都会】どこに住んでみたい?【田舎】
いえびん情報 高血圧自己愛性人格障害のキチガイに
緊急事態だ!!ゾイド板の皆さんも協力しる!!
米ウォルマート「西友?売却しないよ」 日経「…」 [594632409]
横浜のめがね・コンタクト店について
【手当】経済的に自立している母子家庭【無でも】3
この世の果てで恋を唄う少女YU-NO その28アミバ
【家族】片付けに迷う人のスレ【職場の人間関係】
製菓製パン板★料理研究家・レシピ本を研究★6冊目
【要注意客】リフレ奴隷を語ろう10【リフレ嬢への嫌がらせ禁止】
【最強台風】大型で非常に強いスーパー台風19号 きょう夕方 静岡〜関東に上陸へ 中心気圧は935hPa ★2
【室蘭魂】田口清隆監督について語るべ【特撮バカ】
【照屋年之(ゴリ)】 洗骨 【奥田瑛二 筒井道隆 水崎綾女 筒井真理子】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼