0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (3)
  • R2,500 - R5,000 (2)
  • R5,000 - R10,000 (1)
  • -
Status
Brand

Showing 1 - 6 of 6 matches in All Departments

Proof, Logic and Formalization (Paperback): Michael Detlefsen Proof, Logic and Formalization (Paperback)
Michael Detlefsen
R1,815 Discovery Miles 18 150 Ships in 12 - 19 working days

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

Logic from A to Z - The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms (Paperback): John B.... Logic from A to Z - The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms (Paperback)
John B. Bacon, Michael Detlefsen, David Charles McCarty
R1,240 Discovery Miles 12 400 Ships in 12 - 19 working days


First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy.
Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics.
Over 500 entries include key terms found in the study of:
* Logic: Argument, Turing Machine, Variable
* Set and model theory: Isomorphism, Function
* Computability theory: Algorithm, Turing Machine
* Plus a table of logical symbols.
Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.

Logic from A to Z - The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms (Hardcover): John B.... Logic from A to Z - The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms (Hardcover)
John B. Bacon, Michael Detlefsen, David Charles McCarty
R5,816 Discovery Miles 58 160 Ships in 12 - 19 working days

First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy.Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics.Over 500 entries include key terms found in the study of: Logic: Argument, Turing Machine, Variable Set and model theory: Isomorphism, Function Computability theory: Algorithm, Turing Machine Plus a table of logical symbols.Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.

Proof, Logic and Formalization (Hardcover, New): Michael Detlefsen Proof, Logic and Formalization (Hardcover, New)
Michael Detlefsen
R4,469 Discovery Miles 44 690 Ships in 12 - 19 working days


The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

Proof and Knowledge in Mathematics (Hardcover, New): Michael Detlefsen Proof and Knowledge in Mathematics (Hardcover, New)
Michael Detlefsen
R4,472 Discovery Miles 44 720 Ships in 12 - 19 working days

This volume of essays tackles the main problem that arises when considering an epistemology for mathematics, the nature and sources of mathematical justification. Focusing both on particular and general issues, the essays from leading philosophers of mathematics raise important issues for our current understanding of mathematics. Is mathematical justification "a priori" or "a posteriori"? What role, if any, does logic play in mathematical reasoning or inference? And how epistemologically important is the formalizability of proof? The companion volume "Proof, Knowledge and Formalization" is also available from Routledge. Contributors include Michael Detlefsen, Michael D. Resnik, Stewart Shapiro, Mark Steiner, Pirmin Stekeler-Weithofer, Shelley Stillwell, William J. Tait and Steven J. Wagner. This book should be of interest to advanced students and lecturers of philosophy of logic and maths.

Proof and Knowledge in Mathematics (Paperback): Michael Detlefsen Proof and Knowledge in Mathematics (Paperback)
Michael Detlefsen
R1,800 Discovery Miles 18 000 Ships in 12 - 19 working days

These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Deck The Halls - A Hardcover Decorative…
Murre Book Decor Hardcover R921 Discovery Miles 9 210
Portraits of Adult Jewish Learning
Diane Tickton Schuster Hardcover R1,125 R948 Discovery Miles 9 480
Landscape Guest Book to sign (Hardback)
Lulu and Bell Hardcover R753 Discovery Miles 7 530
The Police and the Public - Stop the…
Stephen M Ziman Hardcover R881 R812 Discovery Miles 8 120
Aqualog Extra: The Latest Corydoras
Frank Schafer Paperback R320 Discovery Miles 3 200
Ethics 101 - Practical Ethical…
Olayinka Dada Hardcover R755 Discovery Miles 7 550
Fishes of the Genus Sinocyclocheilus…
FSBI FSBI Paperback R1,499 Discovery Miles 14 990
Peroxidases and Catalases…
H.Brian Dunford Hardcover R6,003 Discovery Miles 60 030
The Politics and Processes of…
Lagretta Lenker, Joseph Moxley Hardcover R2,787 Discovery Miles 27 870
Three Patients - International…
David W. Crippen, Jack K. Kilcullen, … Hardcover R4,521 Discovery Miles 45 210

 

Partners