Constructivism in Mathematics, Vol 1: Volumul 121

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Constructivism in Mathematics, Vol 1: Volume 121

Conținutul cărții:

Aceste două volume acoperă principalele abordări ale constructivismului în matematică.

Ele prezintă o introducere completă și actualizată a metamatematicii matematicii constructive, acordând o atenție specială intuiționismului, constructivismului lui Markov și teoriei tipurilor lui Martin-Lof cu semantica sa operațională. Este oferită o expunere detaliată a caracteristicilor de bază ale matematicii constructive, cu ilustrații din analiză, algebră și topologie, acordându-se atenția cuvenită aspectelor metamatematice.

Volumul 1 este o introducere de sine stătătoare la practica și fundamentele constructivismului și nu necesită cunoștințe de specialitate în afara logicii matematice de bază. Volumul 2 conține în principal subiecte avansate de natură demonstrativ-teoretică și semantică.