En maths, on conjecture des trucs effectivement. Par contre ce qui change avec le reste c'est qu'on peut ou pas démontrer ces conjectures de manière absolue dans un système formel (une logique) donnée. Il n'en reste pas moins des choses particulièrement intéressantes comme le théorème d'incomplétude de Gödel pour illustrer les limites des maths.
Par contraste dans une vraie science expérimentales tu essaies de faire coller la théorie avec l'ensemble de toutes les observations qu'on peut faire, mais tu ne peux jamais vraiment être certain que la prochaine observation va coller avec ta théorie.
[^] # Re: Noms des applications
Posté par thoasm . En réponse à la dépêche GNOME 3.4 : l'émergence des applications. Évalué à 4.
En maths, on conjecture des trucs effectivement. Par contre ce qui change avec le reste c'est qu'on peut ou pas démontrer ces conjectures de manière absolue dans un système formel (une logique) donnée. Il n'en reste pas moins des choses particulièrement intéressantes comme le théorème d'incomplétude de Gödel pour illustrer les limites des maths.
Par contraste dans une vraie science expérimentales tu essaies de faire coller la théorie avec l'ensemble de toutes les observations qu'on peut faire, mais tu ne peux jamais vraiment être certain que la prochaine observation va coller avec ta théorie.
C'est le problème de l'induction et des cygnes noirs … Théorie_du_cygne_noir