Michael Detlefsen – författare & böcker

Proof, Logic and Formalization

Inbunden, Engelska, 1992

2 424 kr

Skickas inom 10-15 vardagar

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

AvMichael Detlefsen

Inbunden, Engelska, 1992

2 424 kr

Skickas inom 10-15 vardagar

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,

Proof and Knowledge in Mathematics

AvMichael Detlefsen

E-bok

Engelska, 2005

1 043 kr

Läs direkt efter köp

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,

Proof and Knowledge in Mathematics

AvMichael Detlefsen

E-bok

PDF, Engelska, 2005

1 043 kr

Läs direkt efter köp

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,

Logic from A to Z

The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms

AvJohn B. Bacon,Michael Detlefsenm. fl.

E-bok

PDF, Engelska, 2013

706 kr

Läs direkt efter köp

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

AvJohn B. Bacon,Michael Detlefsenm. fl.

E-bok

Engelska, 2013

706 kr

Läs direkt efter köp

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

AvMichael Detlefsen

E-bok

Engelska, 2005

1 059 kr

Läs direkt efter köp

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, Logic and Formalization

AvMichael Detlefsen

E-bok

PDF, Engelska, 2005

1 059 kr

Läs direkt efter köp

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, Logic and Formalization

AvMichael Detlefsen

Häftad, Engelska, 2015

892 kr

Skickas inom 10-15 vardagar

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

AvMichael Detlefsen

Häftad, Engelska, 2014

878 kr

Skickas inom 10-15 vardagar

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,

Ideaux de Preuves: Oeuvres Choisies

AvMichael Detlefsen,Andrew Arana

Häftad, Franska

649 kr

Skickas inom 3-6 vardagar

Företag, bibliotek eller offentlig verksamhet?

Michael Detlefsen – författare

Proof, Logic and Formalization

Proof and Knowledge in Mathematics

Proof and Knowledge in Mathematics

Proof and Knowledge in Mathematics

Logic from A to Z

Logic from A to Z

Proof, Logic and Formalization

Proof, Logic and Formalization

Proof, Logic and Formalization

Proof and Knowledge in Mathematics

Ideaux de Preuves: Oeuvres Choisies

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration