|
|
Fast-growing functions and unprovable theorems | Un exposé accessible sur un des résultats les plus étonnants de logique mathématique: des théorèmes on ne peut plus élémentaires qui ne peuvent être démontrés sans utiliser la notion d'ensemble infini. La bataille d'Hercule contre l'hydre est la plus merveilleuse introduction aux nombres ordinaux de Cantor. Recommandé! |
Logique |