Paolo Mancosu – författare
Visar alla böcker från författaren Paolo Mancosu. Handla med fri frakt och snabb leverans.
23 produkter
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Häftad, 2021
461 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half …
Adventure of Reason
Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
E-bok, 2014
913 kr
Lägg i varukorg
Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert''s …
Abstraction and Infinity
E-bok, 2016
367 kr
Lägg i varukorg
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 mathematics rests on so-called definitions by abstraction. An example of this is Hume''s Principle, which …
Philosophy of Mathematical Practice
E-bok, 2008
571 kr
Lägg i varukorg
Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and …
Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Richard Zach, Sergio Galvan m. fl.
E-bok, 2021
375 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader''s understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first …
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Av Paolo Mancosu, Sergio Galvan m. fl.
Inbunden, 2021
2119 kr
Lägg i varukorg
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half …
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century
Inbunden, 1996
3773 kr
Lägg i varukorg
This book provides the first comprehensive account of the relationship between philosophy of mathematics and the mathematical practice of the seventeenth century - the most eventful period of mathematical development in history. Starting with the Renaissance debates on the certainty of mathematics, …
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century
Häftad, 1999
911 kr
Lägg i varukorg
The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmetic of infinites, and …
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century
E-bok, 1996
349 kr
Lägg i varukorg
The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmetic of infinites, and …
The Adventure of Reason
Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Häftad, 2014
1290 kr
Lägg i varukorg
Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert's program, …
Abstraction and Infinity
Inbunden, 2016
1682 kr
Lägg i varukorg
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 mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which …
Abstraction and Infinity
Häftad, 2019
406 kr
Lägg i varukorg
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 mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which …
Syllogistic Logic and Mathematical Proof
Av Paolo Mancosu, Massimo Mugnai
Inbunden, 2023
962 kr
Lägg i varukorg
Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer this question, the reasoning behind the different positions taken, and their far-reaching implications. Aristotle had claimed that scientific …
Syllogistic Logic and Mathematical Proof
Av Massimo Mugnai, Paolo Mancosu
E-bok, 2023
862 kr
Lägg i varukorg
Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer this question, the reasoning behind the different positions taken, and their far-reaching implications. Aristotle had claimed that scientific …
Syllogistic Logic and Mathematical Proof
Av Massimo Mugnai, Paolo Mancosu
E-bok, 2023
862 kr
Lägg i varukorg
Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer this question, the reasoning behind the different positions taken, and their far-reaching implications. Aristotle had claimed that scientific …
The Wilderness of the Infinite
Robert Grosseteste, William of Auvergne, and Mathematical Infinity in the Thirteenth Century
Inbunden, 2026
1704 kr
Lägg i varukorg
The Wilderness of the Infinite explores the emergence in the Latinate thirteenth century of original approaches to mathematical infinity and to unequal infinities. Within the span of twenty years (1220-1240), Robert Grosseteste and William of Auvergne countenanced the actual infinite and presented …
Wilderness of the Infinite
Robert Grosseteste, William of Auvergne, and Mathematical Infinity in the Thirteenth Century
E-bok, 2026
1100 kr
Lägg i varukorg
The Wilderness of the Infinite explores the emergence in the Latinate thirteenth century of original approaches to mathematical infinity and to unequal infinities. Within the span of twenty years (1220-1240), Robert Grosseteste and William of Auvergne countenanced the actual infinite and presented …
Wilderness of the Infinite
Robert Grosseteste, William of Auvergne, and Mathematical Infinity in the Thirteenth Century
E-bok, 2026
1100 kr
Lägg i varukorg
The Wilderness of the Infinite explores the emergence in the Latinate thirteenth century of original approaches to mathematical infinity and to unequal infinities. Within the span of twenty years (1220-1240), Robert Grosseteste and William of Auvergne countenanced the actual infinite and presented …
The Philosophy of Mathematical Practice
Inbunden, 2008
2260 kr
Lägg i varukorg
Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and …
The Adventure of Reason
Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Inbunden, 2010
2288 kr
Lägg i varukorg
Paolo Mancosu presents a series of innovative studies in the history and the philosophy of logic and mathematics in the first half of the twentieth century. The Adventure of Reason is divided into five main sections: history of logic (from Russell to Tarski); foundational issues (Hilbert's program, …
The Philosophy of Mathematical Practice
Häftad, 2011
927 kr
Lägg i varukorg
Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and …
