|
Expressive Means vs Logical Foundations in Philosophy of Mathematics| old_uid | 13778 |
|---|
| title | Expressive Means vs Logical Foundations in Philosophy of Mathematics |
|---|
| start_date | 2014/04/04 |
|---|
| schedule | 14h30-16h30 |
|---|
| online | no |
|---|
| location_info | salle de réunions |
|---|
| summary | Case studies bring out philosophically striking contributions of
expressive strategies in mathematics: shifting expressive means while
treating a given topic mathematically.
This is also a key strategy in Logical Foundations of Mathematics:
we re-cast ("formalize") mathematics so as best to focus on
foundational questions, subject only to "can I get this in my system?".
Such formalization, however, has tended to render invisible
important roles of expressive strategies distinctive of mathematical
areas outside Logic. This, and related habits of 20th-century
Anglo-American thought, threaten to blind the Philosophy of
Mathematics to key aspects of mathematical thought beyond
provability-in-principle. |
|---|
| responsibles | Pataut, Dubucs, Panza |
|---|
| |
|