What do we know when we know that a theory is consistent?
Logic in Computer Science
2023-05-18 v1
Abstract
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?
Keywords
Cite
@article{arxiv.2305.10012,
title = {What do we know when we know that a theory is consistent?},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2305.10012},
year = {2023}
}