Citation de Arthore
Cambridge 1935 - Cours de John von Neumann.
1- les mathématiques sont elles complètes? Autrement dit tout énoncé mathématique peut-il être soit validé soit réfuté?
2- les mathématiques sont elles cohérentes? Autrement dit comment être sûr que des raisonnements justes ne mèneront pas à des contradictions ou des absurdités?
3- les mathématiques sont elles décidables? Autrement dit existe t-il un algorithme permettant de dire n’importe quel énoncé mathématique s’il est vrai ou faux?
Il y a 4 ans Kurt Gödel a répondu aux 2 premières questions.
1- les mathématiques sont elles complètes? Autrement dit tout énoncé mathématique peut-il être soit validé soit réfuté?
2- les mathématiques sont elles cohérentes? Autrement dit comment être sûr que des raisonnements justes ne mèneront pas à des contradictions ou des absurdités?
3- les mathématiques sont elles décidables? Autrement dit existe t-il un algorithme permettant de dire n’importe quel énoncé mathématique s’il est vrai ou faux?
Il y a 4 ans Kurt Gödel a répondu aux 2 premières questions.
