Notion

Formalisation

3 contenus sur Formalisation dans Philosophes.org.

3

contenus

Biographies

David Hilbert (1862–1943) : l'architecte des fondements axiomatiques des mathématiques 1862–1943 Alfred Tarski (1901-1983) : La logique mathématique et la théorie sémantique de la vérité 1901-1983

Articles

Les Principia Mathematica : la révolution logiciste des mathématiques

Philosophies contemporaines

Les Principia Mathematica : la révolution logiciste des mathématiques

10 min