Les Colloques de Menton Samedi 1 - Ville de Menton

Rencontres sur les Origines Samedi 1 er octobre 2011La physique, quant à elle, construit des théories et des expérimentations pour comprendre le réel.L’astronomie construit des théories sur la base d’observations. Ces deux démarches peuvent êtrecomparées à celle du détective qui base ses recherches sur des indices découverts dans la réalité.Le modèle astronomique de Ptolémée, considérant que la Terre est au centre de l’univers, a étéappliqué pendant 1 800 ans. Il faut savoir qu’il permet de définir la position exacte de Jupiter àn’importe quelle date dans l’avenir. Cet exemple montre qu’un modèle, qu’il soit physique oumathématique, n’est pas une description de la réalité mais un outil logique qui permet auxscientifiques de progresser.Marc LACHIÈZE-REYEn épistémologie mathématique, pour démontrer que 2+2=4, il convient de démontrer que 2=2.Cette démonstration est du ressort de la métamathématique, qui s’intéresse au statut despropositions mathématiques. En appliquant une logique intuitionniste, l’assertion 2=2 pourraitn’être ni vraie, ni fausse. La logique paraconsistante, quant à elle, pourrait considérer que l’assertion2=2 peut être vraie et fausse en même temps.Longtemps, les mathématiciens ont pensé que nous pourrions parvenir à démontrer tout ce qui estvrai. Cependant, au cours des années 40, le logicien GÖDEL a démontré qu’il existe despropositions indémontrables, bien que vraies.Il existe une branche des mathématiques destinée à énoncer les fondements des mathématiques, surla base par exemple de la théorie des ensembles ou de la théorie des catégories. Les mathématiquesmodernes font donc dériver les éléments mathématiques les plus simples, comme 2=2, dethéories complexes.La logique peut être utilisée en physique quantique dans la construction des propositionsquantiques. Ces propositions permettent d’affirmer qu’un système, dans un état donné, possède unepropriété donné. Il s’avère que la logique de la physique quantique est une logique intuitionniste, oùles propositions formulées peuvent être ni vraies, ni fausses.Jean-Claude GUIBALLes repères que vous utilisez sont différents de ceux de la vie quotidienne, ce qui est quelquepeu déstabilisant.De la salleJ’ai entendu à plusieurs reprises la question suivante : « qu’est-ce que l’homme ? »Par ailleurs, les interventions me renforcent dans la conviction que Dieu a créé l’homme à sonimage. A mon sens, les recherches scientifiques effectuées répondent à la définition de la foi, c'està-direà la combinaison de certitudes et d’un doute qui fait avancer. Quelle est votre opinion surcette affirmation ?20