形式的に記述する言語というのは一応存在し、coqやhollightのような証明システムがその例
Permalink | 記事への反応(0) | 20:11
ツイートシェア
自然言語で証明をするとどこかで矛盾が生じそうなんだけどそんなことはないのか? ソフトウェアエンジニアである自分からすると、なんかもっと形式的に記述できるフォーマットに移...
ヒルベルトとかゲーデルとかの話?