démonstrations

de plus en plus, les mathématiciens se basent sur des ordinateurs pour démontrer des théorèmes modernes. Des algorithmes sont créés afin de démontrer des théorèmes avec 99.99% de chances qu'il n'y ait pas d'erreurs...que pensez-vous du fait d'introduire des incertitudes dans ce procédé logique et rigoureux qu'est une démonstration, et de ce nouvel état d'esprit qui s'installe en maths et qui est de considérer qq chose de vrai lorsque c'est à 99.99% sûr d'etre vrai?

dans certains cas,à mon avis,ça serait judicieux,mais pas dans d'autres...requérant
plus de précision

La particularité des mathématiques était que justement tt résultat, lorsqu'il est rigoureusement démontré, est sur à 100%, et donc que les mathématiques se construisent sur des bases de logique formelle et non pas "approximative". La science "exacte" par exellence...
Bien que admettre des théorèmes par ce moyen permette peut-etre d'avancer plus vite, mais d'un point de vue logique c'est moyen....

:c'est un dilemme...un théorème sûr à 99%doit-il être accepté,ou nuirait-il à l'image de "science exacte" des mathématiques?

boha en mm temps 99.99% ou 100% ya pa tellement de différence ... ya une chance sur 10 000 pour que ca tombe faux au final jpense que c'est acceptable

imagine les élèves au bac, qui utilisent le théorème... 1 sur 10 000 qui a faux à cause de ta probabilité... :-D
(oui je sais, c'est pas vrai...)