Taosophie
Rechercher
 
 

Résultats par :
 


Rechercher Recherche avancée

Mots-clés

Derniers sujets
» Valeurs principes directeurs
Les théorèmes d'incomplétude EmptyDim 24 Sep - 21:45 par Solasido

» Valeurs motivations
Les théorèmes d'incomplétude EmptyDim 24 Sep - 21:37 par Solasido

» Valeurs fondamentales
Les théorèmes d'incomplétude EmptyDim 24 Sep - 21:33 par Solasido

» Liste de valeurs
Les théorèmes d'incomplétude EmptyDim 24 Sep - 21:28 par Solasido

» Mission de vie
Les théorèmes d'incomplétude EmptyDim 24 Sep - 19:44 par Solasido

» Marchands d'âges circulaires
Les théorèmes d'incomplétude EmptyDim 24 Sep - 16:58 par Solasido

» Mutation dérivée
Les théorèmes d'incomplétude EmptyMer 2 Aoû - 5:56 par Solasido

» Charade des bijoutiers
Les théorèmes d'incomplétude EmptyLun 24 Juil - 15:09 par Solasido

» Arrangements, permutations, combinaisons
Les théorèmes d'incomplétude EmptyJeu 20 Juil - 23:19 par Solasido

Juin 2019
LunMarMerJeuVenSamDim
     12
3456789
10111213141516
17181920212223
24252627282930

Calendrier Calendrier

Les posteurs les plus actifs de la semaine


Les théorèmes d'incomplétude

Aller en bas

Les théorèmes d'incomplétude Empty Les théorèmes d'incomplétude

Message par Solasido le Jeu 15 Déc - 22:49

Bonjour à tous



En mathématiques, il existera toujours des choses vraies, mais indémontrables.

Merci Kurt Gödel...




Les mathématiques contemporaines sont devenues suffisamment puissantes pour démontrer que l'indémontrable existe. Présentation d'un des théorèmes les plus fascinant dans l'histoire des mathématiques, le théorème d’incomplétude de Kurt Gödel, 1931.

Complément sur le récapitulatif (qui va un peu vite dans la vidéo!)

a) Dire qu'un programme s’arrête, c'est une propriété mathématique comme une autre.
b) On peut écrire un programme qui étant donné une propriété P qu'on lui fournirait en entrée, parcourait toutes les démonstrations existantes et s’arrêterait sur une démonstration soit de P soit de non P en temps fini.
c) Si un programme tel que b) existait alors on pourrait lui fournir en entrée des propriétés correspondantes à "le programme p1 s’arrête", ou "le programme p2 s’arrête" et il saurait toujours en temps fini répondre à la question. (car ce sont des propriétés mathématiques comme les autres)
d) Un tel programme d’énumération des preuves serait donc capable de répondre au problèmes de l’arrêt, mais on a démontré avant que c’était impossible.
e) La seule manière de faire coller la chose c'est donc que l'arbre des démos que parcourt notre programme de l’étape b) ne contienne pas toutes les démonstrations des propriétés de la forme '"le programme x s’arrête" (ni les démos ni les réfutations, on a donc bien prouvé l’existence de propriétés qu'on ne pourrait ni démontrer ni réfuter, certaines dans la famille '"le programme x s’arrête")

Pour en savoir plus :

https://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8mes_d%27incompl%C3%A9tude_de_G%C3%B6del
https://en.wikipedia.org/wiki/G%C3%B6...
http://lesswrong.com/lw/g1y/godels_co...
http://lesswrong.com/lw/g0i/standard_...

Musique :

https://www.jamendo.com/en/track/20236/ambiphonic
https://www.jamendo.com/en/track/402591/mystical-background


Bien à chacun et à tous
Souriante journée
Merci beaucoup



_________________

Les théorèmes d'incomplétude E3bb9b23be588115b8c46d145fa2e6da

Celui qui voit un problème et ne fait rien
fait partie d'une solution regardée avec les yeux du passé
.


 Gandhi


flower

Solasido
Solasido

Messages : 425
Date d'inscription : 18/09/2016
Localisation : idf

https://tarogramme.wordpress.com/

Revenir en haut Aller en bas

Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum