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

Titre

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

131

Date de modification: 8 janvier 2024 à 10:52:47 +00:00
Détails de la complexité: dimension,niv (sujet),niv objet,sujet,objet,prédicat,nb,c; Physique,1,,,,,10,10; Physique,2,,,,,12,24; Actant,1,,,,,1,1; Actant,2,,,,,1,2; Concept,1,,,,,9,9; Concept,2,,,,,10,20; Rapport,1,1,Actant,Concept,properties,9,9; Rapport,1,1,Actant,Physique,values,9,9; Rapport,1,1,Actant,Physique,owner,1,1; Rapport,1,1,Actant,Physique,dcterms:isPartOf,1,1; Rapport,2,2,Actant,Concept,properties,10,20; Rapport,2,2,Actant,Physique,values,11,22; Rapport,2,2,Actant,Physique,uri,1,2; Rapport,1,1,Actant,Actant,cito:isCompiledBy,1,1
Totaux de la complexité: Physique,2,1,2,22,34; Actant,2,1,2,2,3; Concept,2,1,2,19,29; Rapport,8,1,2,43,65; Existence,14,1,2,86,131,

Fiches

Contenu

Annotations