(We) can do better - maths
http://candobetter.net/taxonomy/term/9088
en How mathematics became what it is today
http://candobetter.net/node/5399
<div class="field field-name-body field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even" property="content:encoded"><p><img src="https://candobetter.net/sites/default/files/maths-whiteboard-tiny.jpg" vspace="3" hspace="3" align="left" />In a project funded by the Austrian Science Fund FWF, a philosophy research group at the University of Vienna investigated how "structuralism" became established in the field of mathematics and decisively influenced its current success.</p>
<p>Mathematics is a special science in the sense that it is not entirely clear what it is about. How real mathematical objects are and what significance this question has is something people have been pondering since ancient times. For the practice of mathematics, it is sufficient to define certain properties of mathematical objects, such as natural numbers, using some simple statements called axioms. But this does not explain what numbers actually are.<br /><img src="https://candobetter.net/sites/default/files/maths-whiteboard.jpg" vspace="3" hspace="3" align="right" /><br />
A widespread approach today goes by the name of "structuralism": according to structuralism, the axioms themselves define the mathematical objects – know the axioms, and you know enough. From this perspective, mathematics is not about numbers, but about abstract structures. </p>
<p>What sounds like an excessively subtle point has not only had a great influence on the development of mathematics itself but also on modern science during the 20th century, which is shaping our lives today. A group led by the philosopher Georg Schiemer from the Institute for Philosophy at the University of Vienna is now investigating how this view emerged. In a project funded by the Austrian Science Fund FWF, the researchers traced the origins of structuralism back to the first half of the 20th century and found connections leading to Rudolf Carnap and the Vienna Circle (Wiener Kreis), among others. </p>
<h2>Axioms as definitions</h2>
<p>“One focus area of the project was the history of mathematics in the 19th and early 20th century,” says the principal investigator Georg Schiemer. “We explored certain developments in 19th-century geometry that led to a structural turnaround.” Originally, axioms were intended to describe known objects – be they real or imaginary. “There was an evolution towards understanding axiomatic systems to be implicit definitions of abstract structures.” In this context, “implicit” means that the objects are explained exclusively by the axioms. “This was the step from a descriptive viewpoint to an understanding of axioms as definitions”, notes Schiemer. The German mathematicians David Hilbert and Richard Dedekind, as well as the group led by the Italian Guiseppe Peano, were involved in this development. Among other things, they explored how to determine the consistency or independence of axioms. </p>
<h2>Birth of modern disciplines</h2>
<p>Originally, axioms were designed to represent something accepted as known. If the representation was correct, the question about the consistency of axioms did not even arise. Hilbert and his colleagues wanted to know how to prove the consistency or independence of axioms in purely formal terms. Such proof made it possible to set up axioms first and wonder about what they actually described later. </p>
<p>“It was the birth of modern disciplines, which today belong to the field of logic or mathematical logic, especially model theory and theory of proof,” explains Schiemer. David Hilbert was also the mathematician who, a few decades later, formulated his famous “Programme” in which he called for mathematics to be put on a solid footing by proving that all axioms were free of contradictions. As we know, the venture failed, but it paved the way for mathematical logic, a discipline to which we owe not only a deeper understanding of mathematics, but also the concept of the computer. “Hilbert’s Programme builds directly on these earlier works,” emphasises Schiemer.</p>
<h2>Structuralism in Philosophy</h2>
<p>“The second area we explored in the project was how philosophers in the early 20th century reflected these 19th-century developments in mathematics,” notes Schiemer. “Structuralism is the dominant position in the contemporary philosophy of mathematics.” Schiemer refers in particular to Rudolf Carnap, an important representative of the Vienna Circle, who was looking for a philosophy based on exact methods. “In the 1920s and 1930s, Carnap gave a great deal of thought to these developments in mathematics.” The philosopher Ernst Cassirer was also actively involved in this field.<br />
Carnap and Cassirer thus anticipated what today is considered to be a natural notion of mathematics. “The basic tenet of structuralism can already be found in philosophy in the early 20th century,” says Georg Schiemer.</p>
<h2>A working group on structuralism</h2>
<p>“What we have tried to do is to explain historically and analyse in philosophical terms how mathematics became what it is today,” relates Schiemer. His work on the FWF project helped the philosopher to land an ERC Starting Grant from the European Commission and to establish an interdisciplinary research group on this topic with which to continue this endeavour. </p>
<h2>Personal details</h2>
<p>Georg Schiemer is an Assistant Professor at the Department of Philosophy at the University of Vienna and Research Fellow at the Munich Center for Mathematical Philosophy (MCMP). His areas of interest are the history of logic, analytical philosophy and philosophy of mathematics. He also was Erwin Schrödinger fellow funded by the Austrian Science Fund FWF.</p>
<h2>Publications</h2>
<p>Schiemer, G., Reck, E. and Zach, R.:<a href="https://uscholar.univie.ac.at/view/o:627957"> Carnap’s early metatheory: scope and limits</a>, Synthese, 2017</p>
<p>Schiemer, G. and Gratzl, N.: <a href="https://epub.ub.uni-muenchen.de/41343/">Two types of indefinites: Hilbert & Russell</a>, IfCoLog Journal of Logics and their Applications, 2017</p>
<p>Schiemer, G.: <a href="https://link.springer.com/article/10.1007/s11229-016-1252-4">Carnap on logic and rationality,</a> Synthese, 2017</p>
<p>Schiemer, G. and Andreas, H.: <a href="https://uscholar.univie.ac.at/view/o:627958">A choice semantical approach to theoretical truth</a>, Studies in History and Philosophy of Science, 2016</p>
</div></div></div><div class="field field-name-upload field-type-file field-label-hidden"><div class="field-items"><div class="field-item even"><table class="sticky-enabled">
<thead><tr><th>Attachment</th><th>Size</th> </tr></thead>
<tbody>
<tr class="odd"><td><span class="file"><img class="file-icon" alt="Image icon" title="image/jpeg" src="/modules/file/icons/image-x-generic.png" /> <a href="http://candobetter.net/sites/default/files/maths-whiteboard-tiny.jpg" type="image/jpeg; length=7093">maths-whiteboard-tiny.jpg</a></span></td><td>6.93 KB</td> </tr>
<tr class="even"><td><span class="file"><img class="file-icon" alt="Image icon" title="image/jpeg" src="/modules/file/icons/image-x-generic.png" /> <a href="http://candobetter.net/sites/default/files/maths-whiteboard.jpg" type="image/jpeg; length=32109">maths-whiteboard.jpg</a></span></td><td>31.36 KB</td> </tr>
</tbody>
</table>
</div></div></div><div class="field field-name-taxonomy-vocabulary-2 field-type-taxonomy-term-reference field-label-above"><div class="field-label">Topic: </div><div class="field-items"><div class="field-item even"><a href="/taxonomy/term/9087" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">philosophy of maths and science</a></div><div class="field-item odd"><a href="/taxonomy/term/9088" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">maths</a></div><div class="field-item even"><a href="/taxonomy/term/9089" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">structuralism</a></div><div class="field-item odd"><a href="/taxonomy/term/9090" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Georg Schiemer</a></div><div class="field-item even"><a href="/taxonomy/term/9091" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">University of Vienna</a></div></div></div>Mon, 05 Feb 2018 12:12:44 +0000admin5399 at http://candobetter.nethttp://candobetter.net/node/5399#comments