Paolo Mancosu

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathem...

Los trabajos reunidos en este libro tratan de nociones que en todos los tiempos han ocupado un lugar central en las reflexiones de filósofos, lógicos y matemáticos: el infinito, e...

Normalization, Cut-Elimination, and Consistency Proofs di (autore) Paolo Mancosu di (autore) Sergio Galvan di (autore) Richard Zach

The seventeenth century saw more dramatic advances in mathematical theory and practice than any other era before or since. With the recovery of many of the classical Greek mathematical texts, new tech...

...

Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940 di (autore) Paolo Mancosu

A cura di Paolo Mancosu

A cura di Paolo Mancosu