[article]
| Titre : |
L'intuitionnisme : où l'on construit une preuve |
| Type de document : |
texte imprimé |
| Auteurs : |
Alexandre Miquel, Auteur |
| Année de publication : |
2005 |
| Article en page(s) : |
p.30-36 : |
| Langues : |
Français (fre) |
in Pour la science. Dossier > 049 (10/2005)
| Catégories : |
Logique mathématique
|
| Mots-clés : |
raisonnement philosophique 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 : |
documentaire |
| Genre : |
Article de périodique |
[article] L'intuitionnisme : où l'on construit une preuve [texte imprimé] / Alexandre Miquel, Auteur . - 2005 . - p.30-36 :. Langues : Français ( fre) in Pour la science. Dossier > 049 (10/2005)
| Catégories : |
Logique mathématique
|
| Mots-clés : |
raisonnement philosophique 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 : |
documentaire |
| Genre : |
Article de périodique |
|
Affiner la rechercheL'intuitionnisme : où l'on construit une preuve in Pour la science. Dossier, 049 (10/2005)