Fiches

Citation 125502 2017-12-20 09:49:46+00:00 431947357 119250130

Contenu

Titre

Citation 125502 2017-12-20 09:49:46+00:00 431947357 119250130

Est une partie de

‪Humanités numériques et modélisation scientifique‪ | Cairn.info

contenu

En résumé, si une formule d’un système symbolique est décidable, elle peut être traduite par un algorithme dont une forme d’écriture est un langage de programmation. Il y a donc un lien étroit entre les systèmes symboliques de type mathématique et ceux de type computationnel. Si un système mathématique assure la calculabilité et la décidabilité de ses formules alors il est aussi un système formel computable.

is compiled by

Lucky Semiosis

Date de création

20 décembre 2017, 09:49:46 +00:00

Est référencé par

182018_431947357_119250130

color

yellow

y

10461.125

x

422.5

Complexité

179

Date de modification

6 septembre 2023, 08:01:27 +00:00

Détails de la complexité

Physique,1,,,,,10,10

Physique,2,,,,,16,32

Actant,1,,,,,1,1

Actant,2,,,,,1,2

Concept,1,,,,,9,9

Concept,2,,,,,15,30

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,12,24

Rapport,2,2,Physique,Physique,values,12,24

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

Rapport,2,2,Physique,Concept,skos:semanticRelation,5,10

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,26,42

Actant,2,1,2,2,3

Concept,2,1,2,24,39

Rapport,12,1,2,58,95

Existence,18,1,2,110,179