JEDNOSTKA NAUKOWA KATEGORII A+

Finite sets and Gödel's incompleteness theorems

Tom 422 / 2003

S. /Swierczkowski Dissertationes Mathematicae 422 (2003), 1-58 MSC: Primary 03F40; Secondary 03E30, 03E35. DOI: 10.4064/dm422-0-1

Streszczenie

We give complete proofs of the two famous incompleteness theorems of Gödel. However, instead of the usual choice of Peano Arithmetic, we take the theory of hereditarily finite sets as the basis for the presentation.

Autorzy

  • S. /SwierczkowskiDepartment of Mathematics
    University of Colorado
    Boulder, CO 80309, U.S.A.
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek