数学

0で割ってはいけない。 巷では色々な理由がひねり出されているけれども、 計算論の立場から理由を見つけてみよう。 細かい話は計算論の本を読んでもらうとして、 ここではエッセンスだけを紹介。

この間先輩と背理法を教える話になったので、その時のまとめを公開。 #前置き。大学の数学で出てくるような厳密さは省略。論理とメタ論理の記号の使い分けだとか、どの公理と推論規則を使っているかという話はナシ。述語記号すら出てこない。恒真とか...