Enigmes

Forum dédié aux énigmes et à toutes formes de jeux de logique.

Déconnexion

Tu n'es pas identifié sur Prise2tete : s'identifier.

accueil Accueil forum Forum
[+]

 #26 - 11-10-2010 21:45:42

shadock
Elite de Prise2Tete
Enigmes résolues : 39
Messages : 3308

Tranche sde nombre

scarta a écrit:

Nuance: les mathématiques ne pourrait prouver leur consistance que si elles étaient inconsistantes. Plus fort, les mathématiques prouvent que si elles se prouvaient elles-même, alors elles seraient inconsistantes.

Ce qui revient à dire la chose suivante:
Si les mathématiques sont consistantes et qu'elles peuvent le prouver, alors elles sont inconsistantes, puisque les mathématiques le prouve (faut suivre), mais comme elles sont inconsistantes, la preuve peut être fausse (Aaaaarrrgh)

Mais d'un autre côté, quelle foi peut-on accorder à une démonstration basée sur un système inconsistant big_smile

Et si j'ai bien compris je devrais pouvoir glisser ça en plus:
Science et vie N°1115 de l'août 2010, page 64, on ne peu pas démontrer que les mathématiques sont sûres, Démonstration faite en 1931 par Kurt Gödel. ^^


"L'expérience est une lanterne qui n'éclaire que celui qui la porte." L-F. Céline

#0 Pub

 #27 - 11-10-2010 21:47:35

MthS-MlndN
Hors d'u-Sage
Enigmes résolues : 49
Messages : 12,414E+3
Lieu: Rouen

tranches de nimbre

Gödel, sans doute le mathématicien le plus génial du XX° siècle... Le méta-théoricien sorti de l'Enfer... Un grand homme smile


Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298

 #28 - 12-10-2010 09:00:22

Nicouj
Professionnel de Prise2Tete
Enigmes résolues : 27
Messages : 330

Tranchhes de nombre

scarta a écrit:

Si les mathématiques sont consistantes et qu'elles peuvent le prouver, alors elles sont inconsistantes

Il faut enlever le "Si les mathématiques sont consistantes" de l'énoncé et je suis d'accord ^^.

 

Réponse rapide

Rédige ton message
| | | | Upload | Aide
:) :| :( :D :o ;) :/ :P :lol: :mad: :rolleyes: :cool:
Sécurité

Répondez à la devinette suivante : 

Le père de toto a trois fils : Pim, Pam et ?

Sujets similaires

Pied de page des forums

P2T basé sur PunBB
Screenshots par Robothumb

© Copyright 2002–2005 Rickard Andersson

Prise2Tete Forum Statistiques Liste des membres Hall of Fame Contact
© Prise2tete - Site d'énigmes et de réflexion.
Un jeu où seules la réflexion, la logique et la déduction permettent de trouver la solution.

Flux RSS de Prise2Tete Forum Jeux & Prise2Tete Test & Prise2Tete Partenariat et Publicité sur Prise2Tete