Chapitre 4. Les limites du raisonnement formel

Fiche du document

Auteur
Date

6 juillet 2018

Discipline
Type de document
Périmètre
Langue
Identifiants
Source

Presses de l’Université de Montréal

Collection

OpenEdition Books

Organisation

OpenEdition

Licences

https://www.openedition.org/12554 , info:eu-repo/semantics/openAccess

Mots-clés Fr Und

mathématiques systèmes flous logique floue intelligence artificielle informatique douce History & Philosophy Of Science LAN025000 GL

Sujets proches Fr

Probabilités Graphe Modèle mathématique Théorie des ensembles Combinatoire Algèbre Théorie des probabilités Sciences mathématiques Mathématiques appliquées Méthodes mathématiques Mathématiques modernes mathématiques

Citer ce document

Arturo Sangalli, « Chapitre 4. Les limites du raisonnement formel », Presses de l’Université de Montréal, ID : 10.4000/books.pum.14190

Métriques

Partage / Export

Résumé 0

AU COMMENCEMENT ÉTAIENT LES AXIOMES Comme nous l’avons vu dans le chapitre précédent, le problème de savoir si l’exécution d’un programme arbitraire d’ordinateur finira par se terminer ne peut se résoudre sur aucune machine de Turing. Bien que, à première vue, ce résultat semble ne concerner que la théorie du calcul, il a des répercussions inattendues sur la nature profonde des mathématiques. Des questions aussi fondamentales que : « les problèmes mathématiques sont-ils tous résolubles ? » et...

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en