Fiches

Citation 157823 2015-06-24 19:51:06+00:00 274186051 76823090

Contenu

Titre

Citation 157823 2015-06-24 19:51:06+00:00 274186051 76823090

Est une partie de

Les origines de l'informatique - Cairn.info

contenu

Ce problème a été le premier de toute l’histoire de la théorie des algorithmes à recevoir une réponse négative : en 1936, Church et Turing ont
montré indépendamment qu’il ne peut pas y avoir d’algorithme qui indique
si une proposition a une démonstration ou non.

is compiled by

Lucky Semiosis

Date de création

24 juin 2015, 19:51:06 +00:00

Est référencé par

182018_274186051_76823090

x

728.15625

color

yellow

y

3083.125

Complexité

157

Date de modification

6 septembre 2023, 08:14:48 +00:00

Détails de la complexité

Physique,1,,,,,10,10

Physique,2,,,,,14,28

Actant,1,,,,,1,1

Actant,2,,,,,1,2

Concept,1,,,,,9,9

Concept,2,,,,,13,26

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,Actant,cito:isCompiledBy,1,1

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

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

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

Rapport,2,2,Physique,Concept,properties,10,20

Rapport,2,2,Physique,Physique,values,10,20

Rapport,2,2,Physique,Concept,skos:semanticRelation,3,6

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

Totaux de la complexité

Physique,2,1,2,24,38

Actant,2,1,2,2,3

Concept,2,1,2,22,35

Rapport,11,1,2,51,81

Existence,17,1,2,99,157