Philosophy of mathematics

Thema PBB

27 tuit
Towards a database of motivated proofs
Formal & Physical Sciences Mathematics
EN

Towards a database of motivated proofs

Sir William Timothy Gowers
68 min
★ ★ ★ ★ ☆ 4/5
Motivated ProofsAutomatic Theorem ProvingAI for Mathematics
Do Mathematicians Need Computers?
Formal & Physical Sciences Mathematics
EN

Do Mathematicians Need Computers?

Martin Hairer
55 min
★ ★ ★ ★ ★ 5/5
MathematicsComputationComputer-Assisted Proofs
What is Formalisation?
Humanities, Social Sciences & Thought Mathematics
EN

What is Formalisation?

Prof. Alexander Paseau
79 min
★ ★ ★ ★ ☆ 4/5
FormalizationLogicPhilosophy
The long view
Humanities, Social Sciences & Thought Mathematics
EN

The long view

Colin McLarty
111 min
★ ★ ★ ★ ☆ 4/5
Philosophy of MathematicsHistory of MathematicsPlato