Visualization, Explanation and Reasoning Styles in MathematicsP. Mancosu, Klaus Frovin Jørgensen, S.A. Pedersen Springer Science & Business Media, 30. mars 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. |
Inni boken
Resultat 1-5 av 10
Side 2
... (Barwise and Etchemendy) an epistemic status which goes beyond the mere heuristic role attributed to them in the past. With this background the reader can then move on to Marcus Giaquinto's “From Symmetry Perception to Basic Geometry ...
... (Barwise and Etchemendy) an epistemic status which goes beyond the mere heuristic role attributed to them in the past. With this background the reader can then move on to Marcus Giaquinto's “From Symmetry Perception to Basic Geometry ...
Side 23
... Barwise and Etchemendy on visual arguments in logic and mathematics is motivated in great part by the proof- theoretic foundational tradition . While Giaquinto was mainly concerned with discovery (in the technical sense we have pointed ...
... Barwise and Etchemendy on visual arguments in logic and mathematics is motivated in great part by the proof- theoretic foundational tradition . While Giaquinto was mainly concerned with discovery (in the technical sense we have pointed ...
Side 24
... Barwise and Etchemendy focus on proof. Barwise and Etchemendy begin by acknowledging the important heuris- tic role of visual representations but want to go further: We claim that visual forms of representation can be important, not ...
... Barwise and Etchemendy focus on proof. Barwise and Etchemendy begin by acknowledging the important heuris- tic role of visual representations but want to go further: We claim that visual forms of representation can be important, not ...
Side 25
... Barwise, Etchemendy, Shin and others is concerned with the foundational issue of reasoning with diagrammatic representations, i.e. that it is possible to reason rigorously with diagrammatic elements. Thus, visual systems are not ...
... Barwise, Etchemendy, Shin and others is concerned with the foundational issue of reasoning with diagrammatic representations, i.e. that it is possible to reason rigorously with diagrammatic elements. Thus, visual systems are not ...
Side 27
... strains the images we come up with. By contrast, Brown (1997) takes its start from the work by Barwise and Etchemendy. " I should immediately point out that the narrative contrast. VISUALIZATION IN LOGIC AND MATHEMATICS 27 Notes.
... strains the images we come up with. By contrast, Brown (1997) takes its start from the work by Barwise and Etchemendy. " I should immediately point out that the narrative contrast. VISUALIZATION IN LOGIC AND MATHEMATICS 27 Notes.
Innhold
1 | |
13 | |
18 | |
GIAQUINTO From Symmetry Perception to Basic Geometry | 31 |
J R BROWNNaturalism Pictures and Platonic Intuitions 57 | 56 |
GIAQUINTO Mathematical Activity | 75 |
On Reasoning Styles in Early Mathema | 91 |
K CHEMLA The Interplay Between Proof and Algorithm in 3rd Century | 122 |
Understanding Unification and Explanation Friedman | 158 |
Patterns of Argument | 168 |
J HAFNER AND P MANCOSU The Varieties of Mathematical Explana | 215 |
Notes | 246 |
Sources of Beauty in Mathematics | 254 |
Notes | 289 |
Andre utgaver - Vis alle
Visualization, Explanation and Reasoning Styles in Mathematics P. Mancosu,Klaus Frovin Jørgensen,S.A. Pedersen Ingen forhåndsvisning tilgjengelig - 2010 |
Vanlige uttrykk og setninger
aesthetic algebraic algebraic geometry algorithm analysis angles argument axes axioms axis Babylonian mathematics Barwise and Etchemendy basic belief belief-forming disposition Cambridge characterizing property Chemla circle claim cognitive commentary complex complex analysis concept for squares context definition description set diagrammatic reasoning diagrams diamond epistemic epistemology example experience explanatory fact figure formulation framework function geometrical concept geometry Giaquinto Greek mathematics Hilbert Høyrup intuition involved ISBN justification Kitcher knowledge Kummer's test Liu Hui Logic Mancosu mathe mathematical activity mathematical beauty mathematical explanation mathematical practice mathematical proof mathematical texts mathematicians matical narrative natural objects Old Babylonian parallel perceived perception perceptual concept perfectly square philosophy of mathematics Philosophy of Science problem propositions rectangle reference system reflection symmetry representation Riemann role sense sequence set for squares shape side Springer Steiner structure theorem theory tion triangles understanding unification University Press visual system width