What Is a Theorem (in Practice)? The Role of Metamathematics in the Making of Mathematics
This article advocates the benefits of a sociological perspective for the philosophy of mathematical practice. Drawing from the literature of the sociology of sciences, it defends a community-centered approach of the study of mathematical practice and assesses the role of the notion of metamathemati...
Main Author: | Sylvain Lavau |
---|---|
Format: | Article |
Language: | English |
Published: |
Instituto Tecnológico Metropolitano - ITM
2021-07-01
|
Series: | Trilogía Ciencia Tecnología Sociedad |
Subjects: | |
Online Access: | https://revistas.itm.edu.co/index.php/trilogia/article/view/1765 |
Similar Items
-
Introduction to metamathematics /
by: 308908 Kleene, Stephen Cole
Published: (1952) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973) -
Expressing consistency : Gödel's second imcompleteness theorem and intensionality in metamathematics
by: Auerbach, David Daniel
Published: (2009) -
Foundations of mathematics : questions of analysis, geometry and algorithmics /
by: 460476 Engeler, Erwin, et al.
Published: (1993) -
The mathematics of algebraic systems : collected papers 1936-1967 /
by: Mal'cev, Antaolii Ivanvich, 1909-1967
Published: (1971)