加载中…
2023-05-17
What do we know when we know that a theory is consistent?
Gilles Dowek
文献摘要
Given a first-order theory and a proof that it is consistent, can we design a proof-search method for this theory that fails in finite time when it attempts to prove the formula False?
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本