Bonsoir à tous !
Je doit vous avouer que cette question me tracasse depuis quelques temps
En mathématiques, construit-on un théorème à partir de relations logiques et d'axiomes ... on découvre-t-on ce théorème ?
Je ne sais pas lequel de ces deux termes est le plus correct ... ou le moins ambigüe.
Qu'en pensez-vous ?
La majorité des mathématiciens se répartissent en platoniciens qui pensent que les objets mathématiques existent et donc que les théorèmes sont découverts, et en formalistes qui pensent que toutes les mathématiques ne sont qu'un pur produit du cerveau humain et sont donc inventées.
cf. http://forums.futura-sciences.com/ep...ormaliste.html
ou encore, oplus précisément :
http://forums.futura-sciences.com/ma...ml#post1946925
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Merci beaucoupEnvoyé par Médiat
Lorsque l'on construit un théorème on découvre que le théorème est constructible à partir des axiomes , lors d'une première démonstration d'un théorème il y a toujours un sentiment de découverte du mathématicien indépendent de toute conviction sur le fait que les axiomes soient conventionnels ou découverts : il découvre la déductibilité d'un énoncé ( le théorème ) à partir d'autres énoncés ... Ce sentiment de découverte peut etre ressenti meme quand on croit que les axiomes sont complétements conventionnels.
Merci de toutes vos réponses !
J'ai découvert d'anciens fils qui en parlaient déjà, et j'ai trouvé quelques liens ... je pense donc que mon sujet n'avait pas vraiment de raison d'être ...
Encore merci
