Platonizm matematyczny. Studium filozofii matematyki Kurta Gödla

Filozofia twórczości Kurta Gödla - powszechnie uważanego za najwybitniejszego logika XX w. - jest mniej znana, niż jego osiągnięcia z zakresu logiki formalnej. Niniejsza praca jest próbą prezentacji jego poglądów filozoficznych. Przedstawione są one na tle filozofii m.in. Hilberta, Carnapa, Quine'a. W pracy analizowany jest też związek między poglądami filozoficznymi Gödla, a proponowaną przez niego logiką formalną. Krótko omówiony został również dyskutowany współcześnie (a inspirowany jego filozofią) program poszukiwania nowych, aksjomatycznych teorii mnogości. Książkę kończy biografia Gödla. Praca adresowana jest do czytelników zainteresowanych filozofią matematyki. Nie wymaga ona przygotowania specjalistycznego. Nieliczne odwołania do ustaleń istotnych dla dyskusji na temat koncepcji Gödla, opatrzone są wyjaśnieniami.