Bazele practice ale matematicii

Recenzii ale cititorilor

Cartea este o încercare de a prezenta o prezentare generală a fundamentelor matematice contemporane și a aplicabilității lor în matematică și informatică. În timp ce mulți recenzenți o consideră perspicace și plăcută în expunerea sa, alții îi critică prezentarea confuză, lipsa de detalii și divergența de la subiectele promise.

Cartea motivează și conectează conceptele între discipline, oferind o expunere plăcută și perspicace. Acoperă subiecte esențiale din matematică, filozofie, logică și informatică teoretică, fiind potrivită pentru cei versați în aceste materii.

Expunerea este confuză, cu multe propuneri prezentate fără dovezi, iar unele dovezi sunt considerate greșite. Unii recenzenți consideră că scrierea este stridentă, lipsită de o bază adecvată și de o organizare clară, ceea ce o face să devieze în idei tangențiale.

(pe baza a 4 recenzii ale cititorilor)

Titlul original:

Practical Foundations of Mathematics

Conținutul cărții:

Practical Foundations of Mathematics explică bazele raționamentului matematic atât în matematica pură propriu-zisă (algebra și topologia în special), cât și în informatică. În plus față de logica formală, acest volum examinează relația dintre limbajele de calculator și demonstrațiile matematice "în engleză simplă".

Cartea introduce cititorul în matematica discretă, raționament și logică categorială. Ea oferă o nouă abordare a algebrelor de termeni, a inducției și recursivității și demonstrează în detaliu echivalența tipurilor și categoriilor.

Fiecare idee este ilustrată prin exemple ample și urmărită critic pe calea sa naturală, depășind granițele disciplinare prin algebra universală, teoria tipurilor, teoria categoriilor, teoria seturilor, teoria sheaf-urilor, topologie și programare. Studenții și profesorii de informatică, matematică și filosofie vor găsi această carte atât ușor de citit, cât și de o valoare durabilă ca lucrare de referință.