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
- Est une partie de
- Turing, entre le formel de Hilbert et la forme de Goethe
- is compiled by
- Lucky Semiosis
- 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
Value | Purpose |
---|---|
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag citation
|
classifying |
Target selector | Selector type |
---|---|
o:Item |
Value | Purpose |
---|---|
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag principes
|
classifying |
Target selector | Selector type |
---|---|
o:Item |
Value | Purpose |
---|---|
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag Gödel
|
classifying |
Target selector | Selector type |
---|---|
o:Item |
Value | Purpose |
---|---|
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag formelle
|
classifying |
Target selector | Selector type |
---|---|
o:Item |
Value | Purpose |
---|---|
Lucky Semiosis a taggé le document Note : 2SHGIEGK avec le tag axiomatique
|
classifying |
Target selector | Selector type |
---|---|
o:Item |