演繹法

認識のパズルと演繹

証明の確かさって一体どう定義されているのだろうと思い立ってネットを彷徨、妥当性や健全性って定義に行き着きました。確認が終わったところで、どうしてそれが正しいと仮定されたいるのかと再び疑問が浮んでネットを再び彷徨。一応の解釈に行き着きました...

股関節おじさんの勉強部屋

認識の一般化

集合論やろうと思って入門書まで買ったのに。脱線に次ぐ脱線で全く意図しない方向へ走りだしてしまっています。証明の正しさとは何かってことで数学の定義する正しいを見ていきました。演繹、三段論法と推論規則などなど。納得したと思ったらまだモヤモヤ...

よもやま話股関節おじさんの勉強部屋