同僚と話をしていて、証明ってなんだ?と言う質問に、数学で言うところの証明とはと話が進んで、なぜか論理学の話になった。そこで、論理学をつくるという面白い本があることを思い出し、本棚から引っ張り出して読み始めました。 現在、第2章、シェーファー…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。