Кращі подкасти про MCMP (2024)

1
Recent metamathematical wonders and the question of arithmetical realism 1:02:16

5+ y ago1:02:16

1:02:16

Andrey Bovykin (Bristol) gives a talk at the MCMP Colloquium (16 January, 2013) titled "Recent metamathematical wonders and the question of arithmetical realism". Abstract: Metamathematics is the study of what is possible or impossible in mathematics, the study of unprovability, limitations of methods, algorithmic undecidability and "truth". I woul…

1
The Univalence Axiom 56:22

5+ y ago56:22

56:22

Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philos…

1
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts. 1:07:17

5+ y ago1:07:17

1:07:17

Paolo Mancosu (UC Berkeley) gives a talk at the MCMP Colloquium (8 May, 2014) titled "In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts.". Abstract: In a recent article (Review of Symbolic Logic 2009), I have explored the historical, mathematical, and philosophical issues related to the new theory of numerositi…

1
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge 56:33

5+ y ago56:33

56:33

Simon Huttegger (UC Irvine) gives a talk at the MCMP Colloquium (8 May, 2014) titled "Learning Experiences, Expected Inaccuracy, and the Value of Knowledge". Abstract: I argue that van Fraassen's reflection principle is a principle of rational learning. First, I show that it follows if one wants to minimize expected inaccuracy. Second, the reflecti…

1
Anti-Mathematicism and Formal Philosophy 49:32

5+ y ago49:32

49:32

Eric Schliesser (Ghent) gives a talk at the MCMP Colloquium (25 June, 2014) titled "Anti-Mathematicism and Formal Philosophy". Abstract: Hannes Leitgeb rightly claims that "contemporary critics of mathematization of (parts of) philosophy do not so much put forward arguments as really express a feeling of uneasiness or insecurity vis-à-vis mathemati…

1
Geometrical Roots of Model Theory: Duality and Relative Consistency 1:09:25

9+ y ago1:09:25

1:09:25

Georg Schiemer (Vienna/MCMP) gives a talk at the MCMP Colloquium (9 July, 2015) titled "Geometrical Roots of Model Theory: Duality and Relative Consistency". Abstract: Axiomatic geometry in Hilbert's Grundlagen der Geometrie (1899) is usually described as model-theoretic in character: theories are understood as theory schemata that implicitly defin…

1
A Hypothetical Conception of Mathematics in Practice 57:01

9+ y ago57:01

57:01

José Ferreirós (Sevilla) gives a talk at the MCMP Colloquium (11 June, 2015) titled "A Hypothetical Conception of Mathematics in Practice". Abstract: The aim of the talk will be to present some of the basic aspects of my approach to mathematical epistemology, developed in the forthcoming book Mathematical Knowledge and the Interplay of Practices (P…

1
On the Contingency of Predicativism 49:02

9+ y ago49:02

49:02

Sam Sanders (MCMP) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On the Contingency of Predicativism". Abstract: Following his discovery of the paradoxes present in naive set theory, Russell proposed to ban the vicious circle principle, nowadays called impredicative definition, by which a set may be defined by referring to the totali…

1
A Computational Perspective on Metamathematics 1:02:58

10y ago1:02:58

1:02:58

Vasco Brattka (UniBwM Munich) gives a talk at the MCMP Colloquium (29 January, 2015) titled "A Computational Perspective on Metamathematics". Abstract: By metamathematics we understand the study of mathematics itself using methods of mathematics in a broad sense (not necessarily based on any formal system of logic). In the evolution of mathematics …

1
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields 51:28

10y ago51:28

51:28

Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (4 December, 2014) titled "Quantified probability logics: how Boolean algebras met real-closed fields". Abstract: This talk is devoted to one interesting probability logic with quantifiers over events — henceforth denoted by QPL. That is to say, the quanti…

1
Symmetry and Mathematicians' Aesthetic Preferences: a Case Study 44:10

10y ago44:10

44:10

Irina Starikova (Sao Paulo) gives a talk at the MCMP Colloquium (8 January, 2015) titled "Symmetry and Mathematicians' Aesthetic Preferences: a Case Study". Abstract: Symmetry plays an important role in some areas of mathematics and has traditionally been regarded as a factor of visual beauty. In this talk I explore the ways that symmetry contribut…

1
An Aristotelian continuum 46:56

10y ago46:56

46:56

Stewart Shapiro (Ohio) gives a talk at the MCMP Colloquium (18 December, 2014) titled "An Aristotelian continuum". Abstract: Geoffrey Hellman and I are working on a point-free account of the continuum. The current version is “gunky” in that it does not recognize points, as part of regions, but it does make essential use of actual infinity. The purp…

1
Neuropsychology of numbers 29:41

10y ago29:41

29:41

Hourya Benis-Sinaceur (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Neuropsychology of numbers". Abstract: How do we extract numbers from our perceiving the surrounding world? Neurosciences and cognitive sciences provide us with a myriad of empirical findings that shed light on hypo…

1
IF epistemic logic and mathematical knowledge 1:07:16

10y ago1:07:16

1:07:16

Manuel Rebuschi (Poincaré Archives, University of Lorraine, Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "IF epistemic logic and mathematical knowledge". Abstract: Can epistemic logicstate anything interesting about the epistemology of mathematics? That's one of Jaakko Hintikka’s claim…

1
Natural numbers in philosophy of mathematics and in cognitive science 57:13

10y ago57:13

57:13

Paula Quinon (Lund) gives a talk at the MCMP Colloquium (27 November, 2014) titled "Natural numbers in philosophy of mathematics and in cognitive science". Abstract: Natural numbers are the object of studies in various disciplines. Two such disciplines are the philosophy of mathematics and research in developmental cognitive sciences. My current en…

1
On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures 1:12:59

10y ago1:12:59

1:12:59

Hannes Leitgeb (MCMP/LMU) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures". Abstract: There are different versions of structuralism in present-day philosophy of mathematics which all take as their starting point …

1
What are the challenges of Benacerrafs Dilemma? A Reinterpretation 56:23

10y ago56:23

56:23

Marco Panza (Paris I) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "What are the challenges of Benacerrafs Dilemma? A Reinterpretation". Abstract: Despite its enormous influence, Benacerraf's dilemma admits no standard, unanimously accepted, version. This mainly depends on Benacerraf's having…

1
Discernibility from a countable perspective 32:32

10y ago32:32

32:32

Kate Hodesdon (Nancy) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Discernibility from a countable perspective". Abstract: In this talk I discuss formal methods for discerning between uncountably many objects with a countable language, building on recent work of James Ladyman, Øystein Linneb…

1
Three ways in which logic might be normative 1:04:17

10y ago1:04:17

1:04:17

Florian Steinberger (MCMP/LMU) gives a talk at the Workshop on Mathematics: Objectivity by Representation (11 November, 2014) titled "Three ways in which logic might be normative". Abstract: Logic, the tradition has it, is, in some sense, normative for reasoning. Famously, the tradition was challenged by Gilbert Harman who argued that there is no i…

1
A useful method for obtaining alternative formulations of the analytical hierarchy 1:14:05

10y ago1:14:05

1:14:05

Stanislav O. Speranski (Sobolev Institute of Mathematics) gives a talk at the MCMP Colloquium (6 November, 2014) titled "A useful method for obtaining alternative formulations of the analytical hierarchy". Abstract: In mathematical philosophy one often employs various formal systems and structures for solving philosophical tasks. In particular, man…

1
Haecceities and Mathematical Structuralism 54:28

10+ y ago54:28

54:28

Christopher Menzel (Texas A&M University) gives a talk at the MCMP Colloquium (18 June, 2014) titled "Haecceities and Mathematical Structuralism". Abstract: It is well-known that some earlier versions of mathematical structuralism (notably from Resnik and Shapiro) appeared to be committed to a rather strong form of the Identity of Indiscernibles (I…

1
Remarks on the foundations of mathematics 1:31:37

11y ago1:31:37

1:31:37

Helmut Schwichtenberg (LMU) gives a talk at the MCMP Colloquium (5 December, 2013) titled "Remarks on the foundations of mathematics". Abstract: We consider minimal logic with implication and universal quantification over (typed) object variables. Free type and predicate parameters may occur. For mathematics we need (i) data (the Scott - Ershov par…

Подкасти, які варто послухати

Подкасти на тему MCMP

Подкасти, які варто послухати

1
MCMP – Philosophy of Mathematics

MCMP Team

1
Recent metamathematical wonders and the question of arithmetical realism 1:02:16

1
The Univalence Axiom 56:22

1
In Good Company? On Hume's Principle and the assignment of numbers to infinite concepts. 1:07:17

1
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge 56:33

1
Anti-Mathematicism and Formal Philosophy 49:32

1
Geometrical Roots of Model Theory: Duality and Relative Consistency 1:09:25

1
A Hypothetical Conception of Mathematics in Practice 57:01

1
On the Contingency of Predicativism 49:02

1
A Computational Perspective on Metamathematics 1:02:58

1
Quantified Probability Logics: How Boolean Algebras Met Real-Closed Fields 51:28

1
Symmetry and Mathematicians' Aesthetic Preferences: a Case Study 44:10

1
An Aristotelian continuum 46:56

1
Neuropsychology of numbers 29:41

1
IF epistemic logic and mathematical knowledge 1:07:16

1
Natural numbers in philosophy of mathematics and in cognitive science 57:13

1
On Mathematical Structuralism. A Theory of Unlabeled Graphs as Ante Rem Structures 1:12:59

1
What are the challenges of Benacerrafs Dilemma? A Reinterpretation 56:23

1
Discernibility from a countable perspective 32:32

1
Three ways in which logic might be normative 1:04:17

1
A useful method for obtaining alternative formulations of the analytical hierarchy 1:14:05

1
Haecceities and Mathematical Structuralism 54:28

1
Remarks on the foundations of mathematics 1:31:37

Короткий довідник