Citation 97866 2020-10-25 06:08:53+00:00 398531758 171428584
Contenu
- Titre
- Citation 97866 2020-10-25 06:08:53+00:00 398531758 171428584
- Est une partie de
- L’algorithmique et les sciences - L’algorithmique et les sciences - Collège de France
- contenu
- Une démonstration est une chaîne linéaire d’implications logiques. Tel un fleuve qui coule, elle progresse d’étape en étape et ne peut donc être lue que dans le « sens du courant ». Cette intuition est profondément fausse. Toute preuve mathématique formelle peut être lue et vérifiée dans n’importe quel ordre (par exemple, en marche arrière) de la même façon que la validité d’un calcul d’une machine de Turing peut être testée dans un ordre arbitraire. La raison tient à un des concepts les plus fondamentaux de l’informatique : la <em>localité</em> du calcul.
- is compiled by
- Lucky Semiosis
- Date de création
- 25 octobre 2020, 06:08:53 +00:00
- Est référencé par
- 182018_398531758_171428584
- x
- 626
- color
- yellow
- y
- 18272.359375
- Complexité
-
149
- Date de modification
- 6 septembre 2023, 07:51:12 +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
Annotations
There are no annotations for this resource.