| Titre : | L'intuitionnisme : où l'on construit une preuve (2005) |
| Auteurs : | Alexandre Miquel, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Pour la science. Dossier (049, 10/2005) |
| Article en page(s) : | p.30-36 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Logique mathématique [UNESCO] Raisonnement |
| Mots-clés : | programmation/démarche scientifique/20e siècle |
| Résumé : | Place de l'intuitionnisme dans les mathématiques depuis l'énoncé de cette méthode de raisonnement par Luitzen Brouwer en 1907. Examen comparé de la constructivité en logique, des objets construits, de la notion d'infini, dans le traitement de la négation et double négation. Relation entre la prouvabilité intuitionniste et la calculabilité ; applications possibles en informatique (correspondance de Curry-Howard). Bibliographie, schémas. |
| Nature du document : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 31588 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |