Fiches

Citation 69501 2020-09-14 08:37:46+00:00 565217391 168958168

Contenu

Titre

Citation 69501 2020-09-14 08:37:46+00:00 565217391 168958168

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

14 septembre 2020, 08:37:46 +00:00

Est référencé par

182018_565217391_168958168

x

443.5

color

yellow

y

8862.875

Complexité

179

Date de modification

6 septembre 2023, 07:51:33 +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