Liknande böcker

Proof and Knowledge in Mathematics
Bok av Michael Detlefsen
Computability and logic
Bok av George Boolos
The Logic of Provability
Bok av George S.. Boolos
Logic and structure
Bok av Dirk van Dalen
Proof Theory of Modal Logic
Bok av Heinrich Wansing
Set theory and its philosophy : a critical introduction
Bok av Michael Potter
Logicism, Intuitionism, and Formalism
Bok av Sten Lindstrom
Visualization, Explanation and Reasoning Styles in Mathematics
Bok av 9781402033353

Proof, Logic and Formalization

Bok av Michael Detlefsen
A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.