Konstruktywizm w matematyce, tom 1: Tom 121

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Constructivism in Mathematics, Vol 1: Volume 121

Zawartość książki:

Te dwa tomy obejmują główne podejścia do konstruktywizmu w matematyce.

Prezentują one gruntowne, aktualne wprowadzenie do metamatematyki matematyki konstruktywnej, zwracając szczególną uwagę na intuicjonizm, konstruktywizm Markowa i teorię typów Martina-Lofa wraz z jej semantyką operacyjną. Szczegółowa ekspozycja podstawowych cech matematyki konstruktywnej, z ilustracjami z analizy, algebry i topologii, jest dostarczana z należytą uwagą na aspekty metamatematyczne.

Tom 1 stanowi samodzielne wprowadzenie do praktyki i podstaw konstruktywizmu i nie wymaga specjalistycznej wiedzy wykraczającej poza podstawy logiki matematycznej. Tom 2 zawiera głównie zaawansowane tematy o charakterze dowodowo-teoretycznym i semantycznym.