Salut les philosophes. J'étudie un truc horrible qui devrait vous faire plaisir.
D'après le théorème d'incompletude de Goedel il est strictement impossible d'appliquer la méthode axiomatique à tout modèle mathématique.

Ce qui veut dire que pour un modèle mathématique donné (par exemple l'arithmétique), on ne pourra tout prouver !

Cela vous servira la prochaine fois qu'un matheux osera dire que les sciences peuvent tout prouver.

Et tu as lu et compris la petite démo (35 pages) ?
On met ce théorème à toutes les sauces, je pense qu'il ne s'applique que dans certains cas précis. Lire ceci qui donne un aperçu du problème vu par Jacques Bouveresse et puis le dernier chapitre (Gödelite) du livre contenant la démo en français (aux éditions Points). Pas facile.

compris lol ? j'ai exam demain, je saurai si je l'ai compris

un sadique va m'interroger dessus, je t'avoue que je me serais bien passé d'étudier ces 35 pages

merci pour le lien je ne le connaissais pas.

Hé oui, il existe des affirmations impossible à démontrer Mais que dire de plus ? >_<

en fait, .... en ouvrant ce post, j'ai essayé de m'auto-convaincqure que ce que j'étudiais m'étais un minimum utile,.. mais en y réfléchissant,.. non,...

je déteste la logique, l'incomplétude et la complétude de goedel, les implications et toutes ces horreurs. je pense que je vais retourner aux post ggx

Ouais bon y a les problemes NP-complets aussi... Et alors? Il y a plus de problemes que de solutions donc c'est normal que certains problemes restent non résolus... Je vous renvoie au "cours de calculabilité et complexité" de J-F Raskin, le meme qui donne Logique... Une vraie partie de plaisir

naaaaaaaaan !!! j'veux pas ce cours !!!