Télécharger le livre :  Syllogistic Logic and Mathematical Proof
Ajouter à ma liste d'envies
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...

Editeur : OUP Oxford
Parution : 2023-04-21

PDF, ePub

Offre spéciale   -10%  60,85€  
54,75
Télécharger le livre :  An Introduction to Proof Theory
Ajouter à ma liste d'envies
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...

Editeur : OUP Oxford
Parution : 2021-08-12

PDF

Offre spéciale   -30%  27,98€  
19,58
Télécharger le livre :  Abstraction and Infinity
Ajouter à ma liste d'envies
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...

Editeur : OUP Oxford
Parution : 2016-12-06

PDF

15,32
Télécharger le livre :  The Adventure of Reason
Ajouter à ma liste d'envies
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);...

Editeur : OUP Oxford
Parution : 2014-01-09

PDF

43,43
Télécharger le livre :  The Philosophy of Mathematical Practice
Ajouter à ma liste d'envies
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...

Editeur : OUP Oxford
Parution : 2008-06-19

PDF

43,80
Télécharger le livre :  Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century
Ajouter à ma liste d'envies
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,...

Editeur : Oxford University Press
Parution : 1996-01-18

PDF

20,68