Fiches

Citation 97866 2020-10-25 06:08:53+00:00 398531758 171428538

Contenu

Titre

Citation 97866 2020-10-25 06:08:53+00:00 398531758 171428538

Est une partie de

L’algorithmique et les sciences - L’algorithmique et les sciences - Collège de France

contenu

Une démonstration est une suite cohérente de théorèmes, de lemmes, et d’observations. Rajoutons-y tous les corollaires qui en découlent – ou plutôt une collection de taille polynomiale « représentative » du tout. On se pose alors deux questions : (i) a-t-on là une preuve de quelque chose ? (ii) si oui, de quoi ? Il se trouve qu’en testant quelques étapes prises au hasard, on peut vite s’assurer que la preuve n’est pas un long tissu d’inepties. En particulier, on peut vérifier que 90 % des étapes sont cohérentes. Si c’est le cas, alors un miracle se produit. On peut, sans effort, faire grimper cette probabilité à 100 %.

is compiled by

Lucky Semiosis

Date de création

25 octobre 2020, 06:08:53 +00:00

Est référencé par

182018_398531758_171428538

x

626

color

yellow

y

17579.359375

Complexité

149

Date de modification

6 septembre 2023, 07:51:11 +00:00

Détails de la complexité

Physique,1,,,,,10,10

Physique,2,,,,,13,26

Actant,1,,,,,1,1

Actant,2,,,,,1,2

Concept,1,,,,,9,9

Concept,2,,,,,12,24

Rapport,1,1,Physique,Concept,properties,9,9

Rapport,1,1,Physique,Physique,values,9,9

Rapport,1,1,Actant,Physique,owner,1,1

Rapport,1,1,Physique,Physique,dcterms:isPartOf,1,1

Rapport,2,2,Physique,Concept,properties,9,18

Rapport,2,2,Physique,Physique,values,9,18

Rapport,2,2,Physique,Actant,cito:isCompiledBy,1,2

Rapport,2,2,Physique,Concept,skos:semanticRelation,2,4

Rapport,2,2,Physique,Physique,uri,1,2

Rapport,1,1,Physique,Actant,cito:isCompiledBy,1,1

Rapport,2,2,Actant,Concept,properties,3,6

Rapport,2,2,Actant,Physique,values,3,6

Totaux de la complexité

Physique,2,1,2,23,36

Actant,2,1,2,2,3

Concept,2,1,2,21,33

Rapport,12,1,2,49,77

Existence,18,1,2,95,149