パラドクス

2012/07/02 07:22

パラドクスは推論の形式化においてどのような役割を果たしてきたのか、教えてください。

みんなの回答

2012/07/02 15:30 回答No.1

背理法においては、ある言明の逆において矛盾が生じる事を証明する事で、元の言明を証明しました。しかし、究極的に不完全性定理において、リシャール数を用いたパラドックスの形式化により、完全な公理系に於てＡと非Ａを同時に導く事を証明しています。

質問者

元の言明を別の角度から証明するために、パラドクスを推論の形式化に利用したということでしょうか。別の角度から証明することで、推論の形式の正当性を高めたということでしょうか？回答ありがとうございます。