Menu
Accueil
Forums
Nouveaux messages
En ce moment
Nouveaux messages
Nouveaux messages de profil
Connexion
S'inscrire
Quoi de neuf
Nouveaux messages
Menu
Connexion
S'inscrire
Forums
Catégorie Principale
Philosophie, spiritualité et autres religions
Phédon de platon et univers cyclique
JavaScript est désactivé. Pour une meilleure expérience, veuillez activer JavaScript dans votre navigateur avant de continuer.
Vous utilisez un navigateur obsolète. Il se peut que ce site ou d'autres sites Web ne s'affichent pas correctement.
Vous devez le mettre à jour ou utiliser un
navigateur alternatif
.
Répondre à la discussion
Message
[QUOTE="Hibou57, post: 15443461, member: 82014"] Même pas en rêves :wazaa: , les preuves des mathématiciens sont informelles (je le pressentait déjà au lycée) ou repose sur l’intime conviction, selon les points de vues. Elles sont pleines de raccourcies, et des erreurs y ont déjà été détectées (ex. pendant l’écriture de [I]Principia Mathematica[/I]). Les seules preuves irréfutables qui existent, sont celles validées par l’informatique, elles ne font aucun raccourci. Ce sera peut‑être un jour une obligation pour les mathématiciens de passer par cette validation, mais ce n’est pas le cas pour l’instant, même si quelques théorèmes ont déjà été validés de cette manière. J’ai connu un article sur cette question, mais il est devenu inaccessible depuis, alors désolé, pas de référence à donner, mais ça ne sort pas de mon imagination. En fait, on ne peut pas avoir la concision et la fiabilité en même temps. [/QUOTE]
Insérer les messages sélectionnés…
Vérification
Répondre
Forums
Catégorie Principale
Philosophie, spiritualité et autres religions
Phédon de platon et univers cyclique
Haut