Turing et la mécanisation du calcul - Cairn.info · Fiches

Turing et la mécanisation du calcul - Cairn.info

Titre

Turing et la mécanisation du calcul - Cairn.info

Date de soumission

11 septembre 2016 à 07:20:18 +00:00

Date de création

11 septembre 2016 à 07:17:45 +00:00

uri

is compiled by

Lucky Semiosis

serverStatus

302

is in semantic relation with

intuition

symbole

Hilbert

turing

Gödel

Complexité

220

Date de modification: 6 septembre 2023 à 15:20:32 +00:00
Détails de la complexité: Physique,1,,,,,13,13; Physique,2,,,,,19,38; Actant,2,,,,,1,2; Concept,1,,,,,12,12; Concept,2,,,,,24,48; Rapport,1,1,Physique,Concept,properties,12,12; Rapport,1,1,Physique,Physique,values,12,12; Rapport,1,1,Physique,Actant,cito:isCompiledBy,1,1; Rapport,2,2,Actant,Concept,properties,4,8; Rapport,2,2,Actant,Physique,values,4,8; Rapport,1,1,Physique,Concept,skos:semanticRelation,5,5; Rapport,2,2,Concept,Concept,properties,15,30; Rapport,2,2,Concept,Physique,values,15,30; Rapport,1,1,Physique,Physique,uri,1,1
Totaux de la complexité: Physique,2,1,2,32,51; Actant,1,2,2,1,2; Concept,2,1,2,36,60; Rapport,9,1,2,69,107; Existence,14,1,2,138,220

546

Date de modification: 8 janvier 2024 à 10:54:05 +00:00
Détails de la complexité: dimension,niv (sujet),niv objet,sujet,objet,prédicat,nb,c; Physique,1,,,,,12,12; Physique,2,,,,,71,142; Actant,1,,,,,1,1; Actant,2,,,,,1,2; Concept,1,,,,,7,7; Concept,2,,,,,60,120; Rapport,1,1,Actant,Concept,properties,7,7; Rapport,1,1,Actant,Physique,values,11,11; Rapport,1,1,Actant,Physique,owner,1,1; Rapport,2,1,Actant,Physique,oa:hasSource,5,10; Rapport,2,2,Actant,Concept,properties,55,110; Rapport,2,2,Actant,Physique,values,55,110; Rapport,2,1,Actant,Physique,dcterms:isPartOf,3,6; Rapport,1,1,Actant,Actant,cito:isCompiledBy,1,1; Rapport,1,1,Actant,Concept,skos:semanticRelation,5,5; Rapport,1,1,Actant,Physique,uri,1,1
Totaux de la complexité: Physique,2,1,2,83,154; Actant,2,1,2,2,3; Concept,2,1,2,67,127; Rapport,10,1,2,144,262; Existence,16,1,2,296,546,

544

Date de modification: 9 janvier 2024 à 13:38:39 +00:00
Détails de la complexité: dimension,niv (sujet),niv objet,sujet,objet,prédicat,nb,c; Physique,1,,,,,12,12; Physique,2,,,,,71,142; Actant,2,,,,,1,2; Concept,1,,,,,7,7; Concept,2,,,,,60,120; Rapport,1,1,Actant,Concept,properties,7,7; Rapport,1,1,Actant,Physique,values,11,11; Rapport,2,1,Actant,Physique,oa:hasSource,5,10; Rapport,2,2,Actant,Concept,properties,55,110; Rapport,2,2,Actant,Physique,values,55,110; Rapport,2,1,Actant,Physique,dcterms:isPartOf,3,6; Rapport,1,1,Actant,Actant,cito:isCompiledBy,1,1; Rapport,1,1,Actant,Concept,skos:semanticRelation,5,5; Rapport,1,1,Actant,Physique,uri,1,1
Totaux de la complexité: Physique,2,1,2,83,154; Actant,1,2,2,1,2; Concept,2,1,2,67,127; Rapport,9,1,2,143,261; Existence,14,1,2,294,544,

Filtrer par type de ressource et par propriété :

Valeur	Purpose
Lucky Semiosis a taggé le document Turing et la mécanisation du calcul - Cairn.info avec le tag intuition

Target selector	Selector type
intuition

Valeur	Purpose
Lucky Semiosis a taggé le document Turing et la mécanisation du calcul - Cairn.info avec le tag symbole

Target selector	Selector type
symbole

Valeur	Purpose
Lucky Semiosis a taggé le document Turing et la mécanisation du calcul - Cairn.info avec le tag Hilbert

Target selector	Selector type
Hilbert

Valeur	Purpose
Lucky Semiosis a taggé le document Turing et la mécanisation du calcul - Cairn.info avec le tag turing

Target selector	Selector type
turing

Valeur	Purpose
Lucky Semiosis a taggé le document Turing et la mécanisation du calcul - Cairn.info avec le tag Gödel

Target selector	Selector type
Gödel