http://selectif.uqam.ca/taxonomy/term/46/0 fr http://selectif.uqam.ca/savant/%5Bfield_prenom-formatted%5D-goedel-kurt <div class="field field-type-text field-field-annee-naissance"> <div class="field-items"> <div class="field-item odd"> <div class="field-label-inline-first"> Année de naissance:&nbsp;</div> 1906 </div> </div> </div> <div class="field field-type-text field-field-annee-mort"> <div class="field-items"> <div class="field-item odd"> <div class="field-label-inline-first"> Année de mort:&nbsp;</div> 1978 </div> </div> </div> <p> « […] Dans le domaine des recherches relatives aux fondements logico-mathématiques, sa thèse de 1930 avait établi la complétude du calcul des prédicats. Mais il est encore plus connu pour ses deux théorèmes d'incomplétude […] Le premier théorème établit l'incomplétude de tout système formel capable de formaliser l'arithmétique élémentaire […] Le second théorème est un corollaire du premier ou une spécification de celui-ci […] Ces résultats très profonds ont modifié durablement les conceptions de certains mathématiciens; mais ils ont </p><div class="field field-type-nodereference field-field-iconographie-node"> <div class="field-label">Iconographie:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> <a href="/image/331">Kurt Godel</a> </div> </div> </div> <p><a href="http://selectif.uqam.ca/savant/%5Bfield_prenom-formatted%5D-goedel-kurt" target="_blank">lire la suite</a></p> Logique Mathématiques Autriche États-Unis Fri, 08 Feb 2008 00:04:21 +0000 Elaine Després 233 at http://selectif.uqam.ca http://selectif.uqam.ca/savant/%5Bfield_prenom-formatted%5D-bacon-francis <div class="field field-type-text field-field-annee-naissance"> <div class="field-items"> <div class="field-item odd"> <div class="field-label-inline-first"> Année de naissance:&nbsp;</div> 1561 </div> </div> </div> <div class="field field-type-text field-field-annee-mort"> <div class="field-items"> <div class="field-item odd"> <div class="field-label-inline-first"> Année de mort:&nbsp;</div> 1626 </div> </div> </div> <p> « […] Le système de Bacon réside essentiellement dans la substitution d'une nouvelle logique, expérimentale et inductive, à l'ancienne, aprioriste et déductive. Bacon distingue en effet, à travers l'histoire de la pensée, deux voies pour accéder à la vérité : « L'une part des sensations et des faits particuliers pour s'envoler de là aux propositions les plus générales, et c'est en se fondant sur ces principes et leur vérité supposée inébranlable qu'elle découvre et apprécie les propositions intermédiaires : c'est cette voie que l'on </p><div class="field field-type-nodereference field-field-iconographie-node"> <div class="field-label">Iconographie:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> <a href="/image/305">Francis Bacon</a> </div> </div> </div> <p><a href="http://selectif.uqam.ca/savant/%5Bfield_prenom-formatted%5D-bacon-francis" target="_blank">lire la suite</a></p> Logique Angleterre Angleterre Thu, 07 Feb 2008 23:25:07 +0000 Elaine Després 217 at http://selectif.uqam.ca