Visualization, Explanation and Reasoning Styles in Mathematics
P. Mancosu, Klaus Frovin Jørgensen, S.A. Pedersen
Springer Science & Business Media, 30. mar. 2006 - 300 sider
In the 20th century philosophy of mathematics has to a great extent been dominated by views developed during the so-called foundational crisis in the beginning of that century. These views have primarily focused on questions pertaining to the logical structure of mathematics and questions regarding the justi?cation and consistency of mathematics. Paradigmatic in this - spect is Hilbert’s program which inherits from Frege and Russell the project to formalize all areas of ordinary mathematics and then adds the requi- ment of a proof, by epistemically privileged means (?nitistic reasoning), of the consistency of such formalized theories. While interest in modi?ed v- sions of the original foundational programs is still thriving, in the second part of the twentieth century several philosophers and historians of mat- matics have questioned whether such foundational programs could exhaust the realm of important philosophical problems to be raised about the nature of mathematics. Some have done so in open confrontation (and hostility) to the logically based analysis of mathematics which characterized the cl- sical foundational programs, while others (and many of the contributors to this book belong to this tradition) have only called for an extension of the range of questions and problems that should be raised in connection with an understanding of mathematics. The focus has turned thus to a consideration of what mathematicians are actually doing when they produce mathematics. Questions concerning concept-formation, understanding, heuristics, changes instyle of reasoning, the role of analogies and diagrams etc.
Hva folk mener - Skriv en omtale
Vi har ikke funnet noen omtaler på noen av de vanlige stedene.
GIAQUINTO From Symmetry Perception to Basic Geometry
A Geometrical Concept for Squares
Is It Knowledge?
On Reasoning Styles in Early Mathema
K CHEMLA The Interplay Between Proof and Algorithm in 3rd Century
J HAFNER AND P MANCOSU The Varieties of Mathematical Explana
Andre utgaver - Vis alle
aesthetic algebraic geometry algorithm angles approach Archimedes argument Artin axioms Babylonian mathematics Barwise basic beauty belief Boston Studies century characterizing property Chemla circle claim cognitive commentary complex analysis computation context converges definition Desargues Desargues theorem description set diagrams discussion epistemic epistemology Essays Euclid’s example experience explanatory fact figure formulation framework Friedman fruitful function Giaquinto graphic statics Greek mathematics Høyrup Hui’s intuition ISBN justification Kitcher Kummer’s test Liu Hui Logic Mancosu mathe mathematical activity mathematical beauty mathematical explanation mathematical practice mathematical proof mathematical texts mathematicians matical n-gon narrative natural objects Old Babylonian patterns perceived perception perceptual concept perfectly square philosophy of mathematics Philosophy of Science physical polygons Pringsheim’s proof problem projective geometry propositions question rectangle reference relation representation Riemann role sense sequence side Springer Steiner Steiner’s theory structure style symmetry theorem tion triangle understanding unification visual width