Konštruktivizmus v matematike, 1. diel: 121. zväzok

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Constructivism in Mathematics, Vol 1: Volume 121

Obsah knihy:

Tieto dva zväzky pokrývajú hlavné prístupy ku konštruktivizmu v matematike.

Predstavujú dôkladný, aktuálny úvod do metamatematiky konštruktívnej matematiky, pričom osobitnú pozornosť venujú intuicionizmu, Markovmu konštruktivizmu a Martin-Lofovej teórii typov s jej operačnou sémantikou. Podrobný výklad základných znakov konštruktívnej matematiky s ilustráciami z analýzy, algebry a topológie je podaný s náležitou pozornosťou k metamatematickým aspektom.

Prvý zväzok je samostatným úvodom do praxe a základov konštruktivizmu a nevyžaduje si špecializované znalosti nad rámec základov matematickej logiky. Druhý zväzok obsahuje najmä pokročilé témy dôkazovo-teoretickej a sémantickej povahy.