股関節おじさんの勉強部屋 帰納と演繹と推論の妥当性 前回は「そういえば当たり前のように数学の証明の手続きを受け入れてしまっているけど、推論の確かさの定義ってどうなってんの」ってことで一通り調べて、一応の納得できました。 その時はそれで終わったのですが、ふと車の運転中に「『前提が全て真... 2023.03.14 股関節おじさんの勉強部屋
股関節おじさんの勉強部屋 「健全且つ妥当」な推論の手続き 論理包含の法則とか眺めていたらふと、思ったことがあって。それは数学的（論理的）に証明が正しいことの定義ってどうなっているのだろうと。この手順を踏んだ場合のみ、前提から導き出した推論は正しいと言っていいって公理があるはずですが、そういえば知... 2023.03.05 股関節おじさんの勉強部屋
股関節おじさんの勉強部屋 股関節おじさんの勉強部屋 
股関節おじさんの勉強部屋