Konstruktivizmus a matematikában, 1. kötet: 121. kötet

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Constructivism in Mathematics, Vol 1: Volume 121

Könyv tartalma:

Ez a két kötet a matematika konstruktivizmusának főbb megközelítéseivel foglalkozik. Alapos, naprakész bevezetést nyújtanak a konstruktív matematika metamatematikájába, különös figyelmet fordítva az intuitivizmusra, a Markov-féle konstruktivizmusra és a Martin-Lof-féle típuselméletre és annak operacionális szemantikájára.

A konstruktív matematika alapvető jellemzőinek részletes kifejtése az analízis, az algebra és a topológia példáival, kellő figyelmet fordítva a metamatematikai szempontokra. Az 1. kötet önálló bevezetés a konstruktivizmus gyakorlatába és alapjaiba, és nem igényel az alapvető matematikai logikán túli speciális ismereteket.

A 2. kötet főként haladó, bizonyításelméleti és szemantikai jellegű témákat tartalmaz.