2023-10-04

記事への反応 -
  • 自然言語で証明をするとどこかで矛盾が生じそうなんだけどそんなことはないのか? ソフトウェアエンジニアである自分からすると、なんかもっと形式的に記述できるフォーマットに移...

    • ヒルベルトとかゲーデルとかの話?

    • 形式的に記述する言語というのは一応存在し、coqやhollightのような証明システムがその例

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん