arXiv Open Access 2023

What do we know when we know that a theory is consistent?

Gilles Dowek

Lihat Sumber

Abstrak

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?

Topik & Kata Kunci

cs.LO

Penulis (1)

Gilles Dowek

Format Sitasi

APA MLA BibTeX

Dowek, G. (2023). What do we know when we know that a theory is consistent?. https://arxiv.org/abs/2305.10012

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓