Logica e Informatica Teorica The On the 24th Hilbert problem and the notion of 'simplicity' for proof Matteo Acclavio
05-02-2021 - 15:00
modalità telematica (telematic form) During the second International Congress of Mathematicians, David Hilbert proposed a list of 23 open problems aiming to inspire the research of 20th-century mathematicians. One century later, a 24th problem has been rediscovered in Hilbert's personal notebook. It can be resumed as follows:
-- Is there a criterion to affirm that a certain proof is the "simpler" one? --
In this talk, we will explore this problem: its interpretations and its solutions, emphasizing its impact on 21st-century everyday life.
Per partecipare al Seminario cliccare sul seguente Link:
https://teams.microsoft.com/dl/launcher/launcher.html?url=%2F_%23%2Fl%2Fmeetup-join%2F19%3A388bb369590943489346c5edc8bb7b83%40thread.tacv2%2F1611847394719%3Fcontext%3D%257B%2522Tid%2522%3A%2522ffb4df68-f464-458c-a546-00fb3af66f6a%2522%2C%2522Oid%2522%3A%2522a024ec6b-d39c-4c4e-b689-468d9c5b0ca8%2522%257D%26anon%3Dtrue&type=meetup-join&deeplinkId=02e5c8bf-5db4-4067-b48f-4040d162d064&directDl=true&msLaunch=true&enableMobilePage=true&suppressPrompt=true
org: PEDICINI Marco
| 
