[PDF] Dieu est-il mathématicien ? de Mario Livio





Previous PDF Next PDF



Gödel et le tambour de Dada

chétive engoncée dans un strict costume de laine : Gödel. Né à Brno en Moldavie en 1906 limitation de tout savoir



Le théorème de GOËDEL

GÖDEL construit donc un système d' axiomes de logique modale qui lui permettent de démontrer qu' il est nécessaire que DIEU existe. Page 41. Le théorème de 



LES MATHÉMATIQUES ONT ENFIN LA RÉPONSE

de l'argument ontologique selon lequel l'existence de Dieu est Kurt Gödel s'attache donc à traduire Dieu dans ce langage de la.



Vuillemin : Dedekind initiateur de lAlgèbre de lAlgèbre

25 oct. 2020 fait Kant si Dieu existe hors de nous mais encore



« Dieu » : nom propre et descriptions définies

8 F. Nef (2002) reformule la preuve ontologique de Gödel en introduisant un prédicat Dieu* à distinguer de Dieu qui désigne le Dieu unique des monothéismes.



Les erreurs de Spinoza dans ses démonstrations de la Proposition

16 nov. 2017 les théorèmes d'incomplétude de Kurt Gödel (1931). 2 Le point de départ. ... Même en supposons par l'asurde que Dieu n'existe pas Spinoza.



Dieu est-il mathématicien ? de Mario Livio

3 mai 2019 l'honneur : Archimède Galilée



Largument fantastique. La preuve ontologique repose-t-elle sur une

10 Leibniz puis Gödel avaient distingué le concept de Dieu des premiers concepts. Jules Vuillemin a soutenu dans son Anselme et les apparences de la raison 



De la « mort de Dieu » aux noms divins : litinéraire théologique de

mort de Dieu » qui achève la métaphysique ni de la philosophie qui s'y accomplit d'incomplétude de Gôdel vaut aussi bien pour les éventuelles ...



Dieu la science les preuves

15 - En quoi croyait Gödel ? LES PREUVES HORS SCIENCE. 16 - Les vérités humainement inatteignables de la Bible. 17 - Les « erreurs » de la Bible qui 



Preuve ontologique de Gödel - Wikipédia

La preuve ontologique de Gödel est un argument ontologique sous la forme d'un argument formel de logique modale du mathématicien Kurt Gödel (1906-1978) en 



[PDF] Preuve que Dieu est - My Reader

Voici un exposé très simplifié de la preuve ontologique de Gödel 1 Les axiomes des propriétés parfaites a L'intersection de deux propriétés parfaites est une 



[PDF] LES MATHÉMATIQUES ONT ENFIN LA RÉPONSE

Le logicien autrichien Kurt Gödel (1906-1978) transforme le concept de perfections en propriétés positives Il écrit une démonstration de l'existence de Dieu en 



[PDF] Le théorème de GÖDEL - Kafemath

GÖDEL construit donc un système d' axiomes de logique modale qui lui permettent de démontrer qu' il est nécessaire que DIEU existe Page 41 Le théorème de 



[PDF] Pierre CASSOU-NOGUES Les démons de G

chétive engoncée dans un strict costume de laine : Gödel Né à Brno en Moldavie en 1906 limitation de tout savoir ni d'ailleurs l'existence de Dieu !



[PDF] Kurt GÖDEL (1906-1978) est le plus grand logicien du XXe siècle

Clarke -repris dans l'inénarrable Matin des Magiciens- propose une synthèse entre Kabbale et informatique on invoque Dieu par ordinateur ; l'humour très 



(PDF) Les démons de Gödel Logique et folie - Academiaedu

Il est question de Dieu de démons du langage de la vie Et ce sont ces cahiers que Gödel poursuivra une fois rentré à Princeton pas la démonstration Que s' 





A propos de la preuve ontologique de lexistence de Dieu par Gödel

La «*preuve*» ontologique de l'existence de Dieu par Kurt Gödel Voir par exemple : http://www lastseminary com/ontologi al 20Proof pdf

:

tion de l'efficacité des mathématiques, avant même que cette question ne soit formulée : " Pour lui [Galilée], les mathématiques sont tout simplement le langage de la nature. Pour comprendre l'Uni-vers, écrit-il, il faut parler ce langage. Dieu est bien un mathématicien » (p. 81). Mais la notion de Dieu est aussi présente dans le livre sous une forme plus laïque, à travers le platonisme en mathé-matiques, c'est-à-dire la position philosophique selon laquelle les objets mathématiques existent indépendamment de nous. L'auteur nous apprend ainsi comment certains mathématiciens passés et contemporains adoptent cette position. C'est le cas de G. H. Hardy, un mathématicien du XXe

siècle qui soutient la thèse en ces termes : " Pour moi, et, je suppose, pour la plupart des mathématiciens, il y a une autre réalité, que j'appellerai 'réalité mathématique'. [...] Je crois que la réalité mathéma-tique nous est extérieure, que notre rôle est de la découvrir ou de l'observer » (p. 214). Mario Livio essaie ainsi tout au long de son ouvrage d'articuler deux questions : d'un côté, celle du statut des objets et des vérités mathématiques, et de l'autre, celle de l'applicabilité et de l'efficacité des ma-thématiques dans les sciences empiriques. Pour le dire autrement, la première question est " qu'est-ce que les mathématiques ? » et la seconde, " pourquoi s'appliquent-elles si efficacement à la na-ture ? ». Le coeur du livre ne traite pas de front ces deux questions. La majeure partie de l'ouvrage est composée des chapitres 2 à 8 qui retracent, de Pythagore à nos jours, l'histoire de notions ma-thématiques. Mais à cela s'ajoutent un premier et un dernier chapitre à vocation plus philosophique. Le premier, intitulé " Un Mystère », expose ce double problème de la nature des mathématiques et de leur efficacité dans les sciences. Le dernier énonce la position de l'auteur sur ce problème, dont je souligne ici certains aspects importants. Tout d'abord, l'auteur ne veut pas trancher entre des ma-thématiques découvertes ou bien inventées. Pour lui, " les mathématiques sont à la fois découvertes et inventées : nous inventons des concepts mathématiques, puis nous découvrons des relations entre eux » (p. 229). L'auteur défend la créativité humaine en ce qui concerne la construction de concepts mathématiques. La naissance des géométries non euclidiennes montre que les mathématiques " sont faites de la main de l'homme » (p. 215). Mais d'un autre côté, l'objectivité des mathématiques nous permet selon lui de parler de découvertes mathématiques en ce qui concerne les relations entre ces concepts. On peut aussi souligner la distinction que Mario Livio met en avant entre une efficacité active des mathématiques dans les sciences empiriques et une efficacité passive (p. 14, puis p. 231 sq.). La première n'est pas si déraisonnable : lorsque les mathématiques sont développées en vue d'être utilisées, il n'est pas surprenant qu'elles finissent pas y arriver. Mais il y a aussi une efficacité passive des mathématiques, celle où des concepts mathématiques trouvent des applications dans les sciences bien longtemps après leur naissance, et parfois dans des domaines complètement inatten-dus. Ainsi apprend-on au chapitre 8 que la théorie mathématique des noeuds, qui est devenue une branche de la topologie, s'est vue appliquée plus tard à la biologie pour l'étude de l'ADN. Cette se-conde efficacité est plus difficile à expliquer. Mais, en reprenant les propos de Richard Hamming, l'auteur souligne - même s'il considère cela comme une partie seulement de l'explication - que nous nous intéressons surtout à ce qui fonctionne ou a fonctionné, en mettant de côté ce qui ne fonc-tionne pas. Pourtant, il faut bien garder à l'esprit qu'" il y a beaucoup de choses que les mathéma-

quotesdbs_dbs45.pdfusesText_45
[PDF] théorème d'incomplétude pour les nuls

[PDF] incomplétude définition

[PDF] introduction ? la calculabilité pdf

[PDF] indemnité prof principal 2017

[PDF] isoe prof principal

[PDF] hsa prof

[PDF] indemnite tuteur stagiaire education nationale

[PDF] prime prof principal contractuel

[PDF] evaluation anglais 6ème description physique

[PDF] indemnité prof principal agrégé terminale

[PDF] indemnités vacances éducation nationale

[PDF] enseignant contractuel vacances d'été

[PDF] entretien d'embauche la meilleure défense c'est d'être préparé

[PDF] cdi prof contractuel

[PDF] planification annuelle français secondaire 1