Scribble at 2018-11-09 14:00:03 Last modified: unmodified
Quine とか Frege とかは既に使われてるんだけど、Carnap なぁ。ちなみに、バーワイズの本の付録でもいいし他の本とかソフトウェアのプロジェクトでもいいけど、theorem prover って「哲学の」役に立ってるのかな。
Quine とか Frege とかは既に使われてるんだけど、Carnap なぁ。ちなみに、バーワイズの本の付録でもいいし他の本とかソフトウェアのプロジェクトでもいいけど、theorem prover って「哲学の」役に立ってるのかな。