Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Zapraszamy na https://bibliotekanauki.pl
Zawartość
Pełne teksty:
![https://www.impan.pl/download/pdf/dm422-0-1 [zdalny]](images/mime-icons/pdf.gif "dm422-0-1.pdf")
Warianty tytułu
Abstrakty
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.
Słowa kluczowe
Tematy
Miejsce publikacji
Warszawa
Copyright
Seria
Rozprawy Matematyczne
tom/nr w serii:
422
Liczba stron
58
Liczba rozdzia³ów
Opis fizyczny
Daty
wydano
2003
Twórcy
autor
- Department of Mathematics, University of Colorado, Boulder, CO 80309, U.S.A.
Bibliografia
Języki publikacji
| EN |
Uwagi
Identyfikator YADDA
bwmeta1.element.bwnjournal-rm-doi-10_4064-dm422-0-1
Identyfikatory
DOI
10.4064/dm422-0-1
Kolekcja
DML-PL
Zawartość książki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.