[article]
| Titre : |
L'intelligence mathématique, l'infini et les machines |
| Type de document : |
texte imprimé |
| Auteurs : |
Giuseppe Longo, Auteur |
| Année de publication : |
2021 |
| Article en page(s) : |
p.111-138 |
| Langues : |
Français (fre) |
| Mots-clés : |
Incomplétude formalisme infini expérience construction métaphore induction Godel Girard Friedman |
| Résumé : |
On évoquera très informellement l'énoncé de quelques résultats récents d'incomplétudes des formalistes. Les preuves de ces théorèmes, très importants pour toute épistémologie contemporaines des mathématiques, utilisent une variété d'outils conceptuels qui vont démonstrativement au-delà des axiomatisations finitaires. Ces requièrent aucune ontologie mathématique, mais constituent des constructions humaines particulièrement solides, des formes d’intelligence de l'infinie et de l'espace enracinées dans différentes formes de connaissance. On parlera également, mais très brièvement, tant de l'intelligence mathématique du Bon Dieu que de l'intelligence mathématique des ordinateurs digitaux. |
in Revue de synthèse > 120 (Janv-Mars 1999) . - p.111-138
[article] L'intelligence mathématique, l'infini et les machines [texte imprimé] / Giuseppe Longo, Auteur . - 2021 . - p.111-138. Langues : Français ( fre) in Revue de synthèse > 120 (Janv-Mars 1999) . - p.111-138
| Mots-clés : |
Incomplétude formalisme infini expérience construction métaphore induction Godel Girard Friedman |
| Résumé : |
On évoquera très informellement l'énoncé de quelques résultats récents d'incomplétudes des formalistes. Les preuves de ces théorèmes, très importants pour toute épistémologie contemporaines des mathématiques, utilisent une variété d'outils conceptuels qui vont démonstrativement au-delà des axiomatisations finitaires. Ces requièrent aucune ontologie mathématique, mais constituent des constructions humaines particulièrement solides, des formes d’intelligence de l'infinie et de l'espace enracinées dans différentes formes de connaissance. On parlera également, mais très brièvement, tant de l'intelligence mathématique du Bon Dieu que de l'intelligence mathématique des ordinateurs digitaux. |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesL'intelligence mathématique, l'infini et les machines / Giuseppe Longo in Revue de synthèse, 120 (Janv-Mars 1999)
