Forum de Mathématiques: Maths-Forum

Bien, merci, mais peut-on, en mathématiques, poser la question du "pourquoi" ? Pourquoi cet indécidable ?

Au début du 20ième siècle, david Hilbert souhaitait formaliser l'intégralité des mathématiques. kurt Gödel a montré que l'arithmétique (et donc toute théorie l'englobant, c'est à dire la mathématique toute entière) souffre d'incomplétude. Le résultat de kurt Gödel s'exprime ainsi. Pour tout système ...

Amis mathématiciens, bonjour ! Je suis philosophe, et je travaille sur la philosophie de Hegel. Celle-ci, dans la ligne du néoplatonisme, se pose en particulier le problème des repports de la limite avec l'ensemble qu'elle limite; C'est ainsi que j'en suis venu à m'intéresser au théorème dit d'incom...