INNE EBOOKI AUTORA
Autor:
Format:
ibuk
Książka zawiera osiemnaście prac poświęconych rozmaitym zagadnieniom filozofii i historii matematyki i logiki. Można je podzielić na cztery grupy. Prace pierwszej grupy poświęcone są ogólnym i podstawowym problemom filozofii matematyki (ontologia matematyki, nieskończoność, dowód w matematyce, rola podmiotu w matematyce, kontekst kulturowy matematyki, strukturalizm i teoria kategorii w filozofii matematyki). W grupie drugiej znajdują się rozważania związane z twierdzeniami Gödla o niezupełności i ich konsekwencjami dla programu Hilberta i ogólnie dla filozofii matematyki i logiki. Kolejna grupa zawiera szkice dotyczące różnych zagadnień historii logiki i matematyki. Wreszcie na grupę czwartą składają się prace poświęcone filozofii matematyki w Polsce międzywojennej.
Rok wydania | 2018 |
---|---|
Liczba stron | 298 |
Kategoria | Logika matematyczna |
Wydawca | Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza |
ISBN-13 | 978-83-232-3296-4 |
Numer wydania | 1 |
Język publikacji | polski |
Informacja o sprzedawcy | ePWN sp. z o.o. |
INNE EBOOKI AUTORA
POLECAMY
Ciekawe propozycje
Spis treści
Wstęp | 7 |
Uniwersum matematyczne: rzeczywistość czy artefakt? | 11 |
Nieskończoność w matematyce. Zmagania z potrzebnym, acz kłopotliwym pojęciem | 25 |
Kilka uwag o dowodzie w matematyce 43 „ | |
Humanizacja” matematyki, czyli o nowych prądach w filozofii matematyki | 59 |
Problemy epistemologii matematyki a strukturalizm (współautor: Izabela Bondecka-Krzykowska) | 73 |
Teoria kategorii we współczesnej filozofii matematyki (współautor :Izabela Bondecka-Krzykowska) | 85 |
Kurt Gödel | 97 |
Kontekst historyczny i recepcja twierdzeń Gödla o niezupełności | 113 |
Twierdzenia Gödla o niezupełności a problem sztucznej inteligencji | 125 |
O dojrzewaniu świadomości różnicy między prawdziwością a dowodliwością w matematyce | 137 |
Matematyczna niezupełność arytmetyki | 157 |
Rozwój programu Hilberta | 169 |
Józef Maria Hoene-Wroński–filozofii matematyk | 189 |
Giuseppe Peano a rozwój logiki symbolicznej | 203 |
Filozoficzne i teologiczne tło Cantora teorii mnogości | 221 |
Kilka uwag o .filozofii matematyki w Polsce międzywojennej | 243 |
Filozofia matematyki i logiki w lwowskiej szkole matematycznej | 251 |
Program rozwoju teorii mnogości w szkole warszawskiej | 265 |
Bibliografa | 275 |
Nota edytorska | 297 |