A logical approach to abstract algebra. (survey) - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2006

A logical approach to abstract algebra. (survey)

Résumé

Recent work in constructive mathematics show that Hilbert's program works for a large part of abstract algebra. Using in an essential way the ideas contained in the classical arguments, we can transform a large number of abstract non effective proofs of ``concrete'' statements into elementary proofs. Surprisingly the arguments we get are not only elementary but also mathematically clearer and not necessarily longer. We present an example where the simplification was significant enough to suggest an improved version of a classical theorem.
Fichier non déposé

Dates et versions

hal-00494312 , version 1 (22-06-2010)

Identifiants

  • HAL Id : hal-00494312 , version 1

Citer

Henri Lombardi, Thierry Coquand,. A logical approach to abstract algebra. (survey). Mathematical Structures in Computer Science, 2006, 16, pp.885-900. ⟨hal-00494312⟩
104 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More