Description
Projection du film Anatomie d'une chute de Justine Triet, suivie d'une conférence d'Etienne Klein « Anatomie d’un théorème » Etienne Klein nous invite après la projection d’Anatomie d’une chute, à un détour par les mathématiques et les théorèmes d’incomplétude énoncés en 1931 par le logicien Kurt Gödel. Il démontra que jamais une théorie mathématique ne dira tout à propos des objets dont elle traite. Il existe toujours des énoncés mathématiques, dits « indécidables », dont la théorie ne peut démontrer s’ils sont vrais ou faux. Nous nous interrogerons sur les analogies entre axiomes mathématiques et pièces à conviction, sur les liens entre la vérité et les faits démontrables.
Organisé en partenariat avec l'Académie des Sciences et le château d'Abbadia
English
Screening of Justine Triet's film Anatomie d'une chute, followed by a lecture by Etienne Klein "Anatomie d?un théorème" Etienne Klein invites us to follow the screening of Anatomie d'une chute with a detour into mathematics and the incompleteness theorems enunciated in 1931 by logician Kurt Gödel. He demonstrated that no mathematical theory can ever tell the whole story about the objects it deals with. There are always mathematical statements, known as "undecidables", for which the theory cannot demonstrate whether they are true or false. We'll explore the analogies between mathematical axioms and exhibits, and the links between truth and demonstrable facts.
Organized in partnership with the Académie des Sciences and Château d'Abbadia
Deutsch
Vorführung des Films Anatomie eines Sturzes von Justine Triet, gefolgt von einem Vortrag von Etienne Klein "Anatomie eines Theorems" Etienne Klein lädt uns nach der Vorführung von Anatomie eines Sturzes zu einem Abstecher in die Mathematik und zum Unvollständigkeitssatz ein, der 1931 von dem Logiker Kurt Gödel aufgestellt wurde. Er zeigte, dass eine mathematische Theorie niemals alles über die Objekte aussagen kann, mit denen sie sich befasst. Es gibt immer mathematische Aussagen, die als "unentscheidbar" bezeichnet werden und von denen die Theorie nicht beweisen kann, ob sie wahr oder falsch sind. Wir werden die Analogien zwischen mathematischen Axiomen und Beweisstücken sowie die Verbindungen zwischen Wahrheit und beweisbaren Fakten hinterfragen.
Organisiert in Partnerschaft mit der Académie des Sciences und dem Château d'Abbadia
Dutch
Vertoning van de film Anatomie d?une chute van Justine Triet, gevolgd door een lezing van Etienne Klein "Anatomie d?un théorème" Na de vertoning van Anatomie d?une chute nodigt Etienne Klein ons uit om een uitstapje te maken naar de wiskunde en de onvolledigheidstheorema's die in 1931 werden opgesteld door de logicus Kurt Gödel. Hij toonde aan dat een wiskundige theorie nooit alles kan zeggen over de objecten waar ze over gaat. Er zijn altijd wiskundige beweringen, bekend als "undecidables", waarvan de theorie niet kan aantonen of ze waar of onwaar zijn. We zullen de analogieën verkennen tussen wiskundige axioma's en bewijs, en de verbanden tussen waarheid en aantoonbare feiten.
Georganiseerd in samenwerking met de Académie des Sciences en Château d'Abbadia
Español
Proyección de la película Anatomie d?une chute de Justine Triet, seguida de una conferencia de Etienne Klein "Anatomie d?un théorème" Tras la proyección de Anatomie d?une chute, Etienne Klein nos invita a desviarnos hacia las matemáticas y los teoremas de incompletitud enunciados en 1931 por el lógico Kurt Gödel. Éste demostró que una teoría matemática nunca puede decirlo todo sobre los objetos que trata. Siempre hay enunciados matemáticos, conocidos como "indecidibles", para los que la teoría no puede demostrar si son verdaderos o falsos. Exploraremos las analogías entre los axiomas matemáticos y la evidencia, así como los vínculos entre la verdad y los hechos demostrables.
Organizado en colaboración con la Académie des Sciences y el Château d'Abbadia
Italiano
Proiezione del film Anatomie d'une chute di Justine Triet, seguita da un intervento di Etienne Klein "Anatomie d'un théorème" Dopo la proiezione di Anatomie d'une chute, Etienne Klein ci invita a fare un salto nella matematica e nei teoremi di incompletezza enunciati nel 1931 dal logico Kurt Gödel. Egli dimostrò che una teoria matematica non può mai dire tutto sugli oggetti di cui si occupa. Ci sono sempre affermazioni matematiche, note come "indecidibili", per le quali la teoria non può dimostrare se sono vere o false. Esploreremo le analogie tra assiomi matematici e prove, e i legami tra verità e fatti dimostrabili.
Organizzato in collaborazione con l'Académie des Sciences e Château d'Abbadia