Szkice z filozofii i historii matematyki i logiki

Roman Murawski

Uzyskaj dostęp

Zakup książkę

ISBN/ISSN:

978-83-232-3296-4

DOI:

Wydawnictwo:

Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

Rok wydania:

2018

Liczba stron:

300

XML:ISBN/ISSN:

ONIX MARC21

Bibliografia:

Murawski, Roman. Szkice z filozofii i historii matematyki i logiki. Red. . Poznań: Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2018, 300 s. ISBN 978-83-232-3296-4

Bibliografia refWorks:

RT Book, Whole

SR Electronic(1)

A1 Murawski, R.

T1 Szkice z filozofii i historii matematyki i logiki

PB Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

PP Poznań

YR 2018

SN 978-83-232-3296-4

Bibliografia BibTex:

@Book{ 195674, author = "Murawski, Roman", editor = "", title = "Szkice z filozofii i historii matematyki i logiki", publisher = "Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza", year = "2018", address = "Poznań", isbn = "978-83-232-3296-4" }

Bibliografia endNote:

TY - BOOK

AU - Murawski, Roman

ED -

TI - Szkice z filozofii i historii matematyki i logiki

PB - Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

CY - Poznań

PY - 2018

SN - 978-83-232-3296-4

ER -

Netografia (standard APA):

Murawski, Roman. Szkice z filozofii i historii matematyki i logiki [baza danych online] Poznań: Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2018 [dostęp: 05 05 2024]. Dostęp w Ibuk Libra: https://libra.ibuk.pl/reader/szkice-z-filozofii-i-historii-matematyki-i-logiki-roman-murawski-195674.

logika, historia matematyki, filozofia matematyki

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 ...

Więcej

ISBN/ISSN:

978-83-232-3296-4

DOI:

Wydawnictwo:

Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza

Rok wydania:

2018

Liczba stron:

300

XML:ISBN/ISSN:

ONIX MARC21

Wstęp8
Uniwersum matematyczne: rzeczywistość czy artefakt?12
Nieskończoność w matematyce. Zmagania z potrzebnym, acz kłopotliwym pojęciem26
Kilka uwag o dowodzie w matematyce 43 „ Humanizacja” matematyki, czyli o nowych prądach w filozofii matematyki60
Problemy epistemologii matematyki a strukturalizm (współautor: Izabela Bondecka-Krzykowska)74
Teoria kategorii we współczesnej filozofii matematyki (współautor :Izabela Bondecka-Krzykowska)86
Kurt Gödel98
Kontekst historyczny i recepcja twierdzeń Gödla o niezupełności114
Twierdzenia Gödla o niezupełności a problem sztucznej inteligencji126
O dojrzewaniu świadomości różnicy między prawdziwością a dowodliwością w matematyce138
Matematyczna niezupełność arytmetyki158
Rozwój programu Hilberta170
Józef Maria Hoene-Wroński–filozofii matematyk190
Giuseppe Peano a rozwój logiki symbolicznej204
Filozoficzne i teologiczne tło Cantora teorii mnogości222
Kilka uwag o .filozofii matematyki w Polsce międzywojennej244
Filozofia matematyki i logiki w lwowskiej szkole matematycznej252
Program rozwoju teorii mnogości w szkole warszawskiej266
Bibliografa276
Nota edytorska298

SPISTREŚCI

Wstęp...............................................................

Uniwersummatematyczne:rzeczywistośćczyartefakt?...................11

Nieskończonośćwmatematyce.

Zmaganiazpotrzebnym,aczkłopotliwympojęciem......................25

Kilkauwagodowodziewmatematyce..................................43

nHumanizacja”matematyki,

czylionowychprądachwﬁlozoﬁimatematyki...........................59

Problemyepistemologiimatematykiastrukturalizm

(współautor:IzabelaBondecka-Krzykowska)............................73

Teoriakategoriiwewspółczesnejﬁlozoﬁimatematyki

(współautor:IzabelaBondecka-Krzykowska)............................85

KurtGödel...........................................................97

KonteksthistorycznyirecepcjatwierdzeńGödlaoniezupełności..........113

TwierdzeniaGödlaoniezupełnościaproblemsztucznejinteligencji........125

Odojrzewaniuświadomościróżnicy

międzyprawdziwościąadowodliwościąwmatematyce...................137

Matematycznaniezupełnośćarytmetyki.................................157

RozwójprogramuHilberta.............................................169

JózefMariaHoene-Wroński–ﬁlozofimatematyk.......................189

GiuseppePeanoarozwójlogikisymbolicznej...........................203

FilozoﬁczneiteologicznetłoCantorateoriimnogości....................221

KilkauwagoﬁlozoﬁimatematykiwPolscemiędzywojennej..............243

Filozoﬁamatematykiilogikiwlwowskiejszkolematematycznej..........251

Programrozwojuteoriimnogościwszkolewarszawskiej.................265

Bibliograﬁa..........................................................275

Notaedytorska.......................................................297

Brak wyników

Szkice z filozofii i historii matematyki i logiki

Treść książki

Znajdź bibliotekę blisko siebie, i uzyskaj dostęp do ebooka w systemie IBUK Libra