Warning: Use of undefined constant REGEXP - assumed 'REGEXP' (this will throw an Error in a future version of PHP) in /homepages/36/d206324349/htdocs/site_fr2G/tmp/cache/skel/html_c3cc8f6b0e3bc359e6329cabe1c2ddc3.php on line 39
Warning: Use of undefined constant REGEXP - assumed 'REGEXP' (this will throw an Error in a future version of PHP) in /homepages/36/d206324349/htdocs/site_fr2G/tmp/cache/skel/html_c3cc8f6b0e3bc359e6329cabe1c2ddc3.php on line 153
Warning: Use of undefined constant REGEXP - assumed 'REGEXP' (this will throw an Error in a future version of PHP) in /homepages/36/d206324349/htdocs/site_fr2G/tmp/cache/skel/html_c3cc8f6b0e3bc359e6329cabe1c2ddc3.php on line 244 Résultat du calendrier
Contribution au débat sur la philosophie dialectique du mode de formation et de transformation de la matière, de la vie, de l’homme et de la société Ce site est complémentaire de https://www.matierevolution.org/
Ce que Gödel nous apprend
Les deux théorèmes d’incomplétude de Gödel de 1931 sont une réponse aux ambitions formalistes de David Hilbert. Les contributions de Tarski concernent l’impossibilité de formaliser la notion de vérité, selon les exigences formalistes. Ces théorèmes n’ont, certes pas, rendu la pratique mathématique impossible, ils invalident la prétention hilbertienne, qui voudrait que la mathématique puisse résoudre tous les problèmes qui se présenteraient à elle.
Hilbert avait poursuivi le (...)