Note : FF9Q92W6
Contenu
- Titre
- Note : FF9Q92W6
- Description
- <p>"Reprenant des arguments développés par Turing à son retour de Princeton dans un article publié en 1939 sous le titre "Systems of logic based on ordinals", il avance la possibilité d'un recours à l'intuition et à une logique composée autant que possible d'éléments calculables au sens mécanique de machine de Turing mais incluant quand c'est nécessaire des éléments d'intuition non calculables mais vérifiables par leurs conséquences." p. 128</p>
- Date de soumission
- 6 mai 2010, 09:27:54 +00:00
- Est référencé par
- FF9Q92W6
- Est une partie de
- Machine-esprit
- is compiled by
- Lucky Semiosis
- Complexité
-
153
- Date de modification
- 8 septembre 2023, 06:51:15 +00:00
- Détails de la complexité
- Physique,1,,,,,10,10
- Physique,2,,,,,13,26
- Actant,2,,,,,1,2
- Concept,1,,,,,9,9
- Concept,2,,,,,16,32
- Rapport,1,1,Physique,Concept,properties,9,9
- Rapport,1,1,Physique,Physique,values,9,9
- 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,3,3
- Rapport,2,2,Concept,Concept,properties,9,18
- Rapport,2,2,Concept,Physique,values,9,18
- Totaux de la complexité
- Physique,2,1,2,23,36
- Actant,1,2,2,1,2
- Concept,2,1,2,25,41
- Rapport,8,1,2,48,74
- Existence,13,1,2,97,153
- Collections
- Zotero
Annotations
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : FF9Q92W6 avec le tag citation
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : FF9Q92W6 avec le tag intuition
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |
| Value | Purpose |
|---|---|
|
Lucky Semiosis a taggé le document Note : FF9Q92W6 avec le tag calculable
|
classifying |
| Target selector | Selector type |
|---|---|
| o:Item |