Une pure merveille !
Un roman d'une grande beauté, drôle, fin, extrêmement lumineux sur des sujets difficiles : la perte de
l'être aimé, la dureté de la vie et la tristesse qu'on barricade parfois... Elise franco-japonaise,
orpheline de sa maman veut poser LA question à son père et elle en trouvera le courage au fil des pages,
grâce au retour de sa grand-mère du japon, de sa rencontre avec son extravagante amie Stella..
Ensemble il ne diront plus Sayonara mais Mata Ne !
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself...
Lire la suite
Livré chez vous entre le 28 septembre et le 4 octobre
En librairie
Résumé
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.
Sommaire
STUDIES ON SET THEORY AND THE NATURE OF LOGIC
The Iterative Conception of Set
Reply to Charles Parsons' "Sets and Classes"
On Second-Order Logic
To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables)
Nominalist Platonism
Iteration Again
Introductory Note to Kurt Gödel's "Some Basic Theorems on the Foundations of Mathematics and their Implications"
Must We Believe in Set Theory? FREGE STUDIES
Gottlob Frege and the Foundations of Arithmetic
Reading the Begriffsschrift
Saving Frege from Contradiction
The Consistency of Frege's Foundations of Arithmetic
The Standard of Equality of Numbers
Whence the Contradiction? 1879? The Advantages of Honest Toil over Theft
On the Proof of Frege's Theorem
Frege's Theorem and the Peano Postulates
Is Hume's Principle Analytic? Die Grandlagen der Arithmetik, §§82-83 (with Richard Heck)
Constructing Cantorian Counterexamples
VARIOUS LOGICAL STUDIES AND LIGHTER PAPERS
Zooming Down the Slippery Slope
Don't Eliminate Cut
The Justification of Mathematical Introduction
A Curious Inference
A New Proof of the Gödel Incompleteness Theorem
On "Seeing" the Truth of the Gödel Sentence
Quotational Ambiguity
The Hardest Logical Puzzle Ever
Gödel's Second Incompleteness Theorem Explained in Words of One Syllabe.
George Boolos was Professor of Philosophy, Massachusetts Institute of Technology, author of The Logic of Provability, and coauthor of Computability and Logic.
Vous aimerez aussi
8,40 €
3,90 €
19,00 €
19,95 €
35,00 €
9,30 €
Derniers produits consultés
Logic Logic And Logic est également présent dans les rayons