Philosophie des mathématiques

Thema PBB

27 tuit
Sciences formelles & physiques Mathématiques
FR

Towards a database of motivated proofs

Sir William Timothy Gowers
68 min
4/5
Preuves MotivéesDémonstration AutomatiqueIA Pour Les Mathématiques
Sciences formelles & physiques Mathématiques
FR

Le paradoxe de Zénon expliqué simplement

Professeur Fabrizio Bucella
15 min
5/5
Paradoxe De ZénonSéries InfiniesLongueur De Planck
Sciences humaines, sociales & pensée Mathématiques
FR

What is Formalisation?

Prof. Alexander Paseau
79 min
4/5
LogiqueFormalisationValidité
Sciences humaines, sociales & pensée Mathématiques
FR

The long view

Colin McLarty
111 min
4/5
Philosophie Des MathématiquesHistoire Des MathématiquesPlaton