Note : 2SHGIEGK

Contenu

Titre
Note : 2SHGIEGK
Description
<p>"La grande nouveauté de la deuxième étape dans la mise au jour des principes sémiologiques du calcul formel est due à Gödel et a consisté à introduire un troisième principe, celui du nombre comme principe de codage [...]<br />La différence entre signes, formules et démonstrations se trouvent donc neutralisée dès lors que le nombre joue la double fonction d’outil de codage et de nombre proprement dit : il devient possible de calculer sur des nombres les rapports de dépendance entre formules." p. 60</p>
Date de soumission
26 novembre 2011, 06:30:45 +00:00
Est référencé par
2SHGIEGK
is compiled by
Lucky Semiosis
is in semantic relation with
citation
principes
Gödel
formelle
axiomatique
Complexité
215
Date de modification
8 septembre 2023, 06:51:11 +00:00
Détails de la complexité
Physique,1,,,,,12,12
Physique,2,,,,,19,38
Actant,2,,,,,1,2
Concept,1,,,,,11,11
Concept,2,,,,,24,48
Rapport,1,1,Physique,Concept,properties,11,11
Rapport,1,1,Physique,Physique,values,11,11
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
Totaux de la complexité
Physique,2,1,2,31,50
Actant,1,2,2,1,2
Concept,2,1,2,35,59
Rapport,8,1,2,66,104
Existence,13,1,2,133,215
Collections
Zotero

Annotations

[Annotation #75409] 2022-08-04 15:11:38 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag citation
classifying
Target selector Selector type
o:Item
[Annotation #81982] 2022-08-04 20:15:37 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag principes
classifying
Target selector Selector type
o:Item
[Annotation #82017] 2022-08-04 20:17:27 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag Gödel
classifying
Target selector Selector type
o:Item
[Annotation #82030] 2022-08-04 20:18:08 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag formelle
classifying
Target selector Selector type
o:Item
[Annotation #82040] 2022-08-04 20:18:41 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag axiomatique
classifying
Target selector Selector type
o:Item