Note : URTT8G4Z

Contenu

Titre
Note : URTT8G4Z
Description
<p>"En 1939, faisant allusion à ses propres travaux comme à ceux de Hilbert et de Gödel, il lui semblait que ce qui rendait ces résultats possibles était le jeu de deux facultés, l’« ingéniosité » et l’« intuition ». Ces deux termes n’ont pas exactement, sous sa plume, la signification qu’on leur prête généralement. écoutons-le :<br />Le raisonnement mathématique peut être considéré de façon schématique comme l’exercice d’une combinaison de facultés que nous pouvons appeler l’intuition et l’ingéniosité. L’activité de l’intuition consiste à produire des jugements spontanés qui ne sont pas le résultat de chaînes conscientes de raisonnement. [...] L’exercice de l’ingéniosité en mathématique consiste à aider l’intuition par des arrangements adéquats de propositions et peut-être par des figures géométriques ou des dessins. Dans les temps prégödeliens, certains pensaient que [...] la nécessité d’un recours à l’intuition pourrait être entièrement éliminée. [...] Nous avons essayé de voir jusqu’où il était possible d’éliminer l’intuition. Nous ne nous préoccupons pas de savoir quelle quantité d’ingéniosité est requise et nous faisons donc l’hypothèse qu’elle est disponible en quantité illimitée (Turing 1939 : § 11)." p. 63</p>
Date de soumission
26 novembre 2011, 06:41:01 +00:00
Est référencé par
URTT8G4Z
is compiled by
Lucky Semiosis
is in semantic relation with
citation
intuition
turing
Complexité
153
Date de modification
8 septembre 2023, 06:51:11 +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

[Annotation #75400] 2022-08-04 15:11:22 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : URTT8G4Z avec le tag citation
classifying
Target selector Selector type
o:Item
[Annotation #81233] 2022-08-04 19:31:42 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : URTT8G4Z avec le tag intuition
classifying
Target selector Selector type
o:Item
[Annotation #81918] 2022-08-04 20:12:21 Samuel Szoniecky tagging
Value Purpose
Lucky Semiosis a taggé le document Note : URTT8G4Z avec le tag turing
classifying
Target selector Selector type
o:Item