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.fr/
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 (...)
Lire ici