Description |
1 online resource (x, 300 pages) : illustrations |
Series |
Synthese library, 0082-1128 ; 327 |
|
Synthese library ; 327. 0082-1128
|
Contents |
Introduction / P. Mancosu [and others] -- PART I. MATHEMATICAL REASONING AND VISUALIZATION -- Visualization in logic and mathematics / P. Mancosu -- From symmetry perception to basic geometry / M. Giaquinto -- Naturalism, pictures, and Platonic intuitions / J.R. Brown -- Mathematical activity / M. Giaquinto -- PART II. MATHEMATICAL EXPLANATION AND PROOF STYLES -- Tertium non datur: on reasoning styles in early mathematics / J. Høyrup -- The interplay between proof and algorithm in 3rd century China: the operation as prescription of computation and the operation as argument / K. Chemla -- Proof style and understanding in mathematics I: visualization, unification and axiom choice / J. Tappenden -- The varieties of mathematical explanations / J. Hafner, P. Mancosu -- The aesthetics of mathematics: a study / R. Netz |
Summary |
"This book contains groundbreaking contributions to the philosophical analysis of mathematical practice. The reader will find here systematic philosophical analyses as well as a wealth of philosophically informed case studies ranging from Babylonian, Greek, and Chinese mathematics to nineteenth century real and complex analysis."--Jacket |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
In |
OhioLINK electronic book center |
|
SpringerLink |
Subject |
Mathematics -- Philosophy.
|
|
Logic, Symbolic and mathematical.
|
|
Visualization.
|
|
31.02 philosophy and theory of mathematics.
|
|
08.33 logics and argumentation.
|
|
MATHEMATICS -- History & Philosophy.
|
|
Mathematics -- Philosophy.
|
|
Logic, Symbolic and mathematical.
|
|
Visualization.
|
|
Reasoning.
|
|
Matemáticas -- Filosofía
|
|
Logic, Symbolic and mathematical
|
|
Mathematics -- Philosophy
|
|
Visualization
|
|
Wiskunde.
|
|
Filosofie.
|
Form |
Electronic book
|
Author |
Mancosu, Paolo.
|
|
Jørgensen, Klaus Frovin
|
|
Pedersen, Stig Andur, 1943-
|
ISBN |
9781402033353 |
|
1402033354 |
|
1402033346 |
|
9781402033346 |
|
128028370X |
|
9781280283703 |
|
6610283702 |
|
9786610283705 |
|