Luca Bellotti - Notes on the (un)provability of consistency

Описание к видео Luca Bellotti - Notes on the (un)provability of consistency

Asbtract

We present a few remarks on the classic problem of the unprovability of consistency of some important formal systems and on some ways to (partially) circumvent it which have been proposed. We consider the impossibility of certain constructive consistency proofs for set theory, the role of local set-theoretic reflection principles and partial and indirect consistency statements for arithmetic, with a final remark on so-called Whiteley sentences.

Комментарии

Информация по комментариям в разработке

Похожие видео