Bonjour à tous,
Je fais une petite recherche sur les travaux "annexes" de Kurt Godel aux états unis (autre que ses deux théorèmes). Il a travaillé sur la relativité d'enstein, sa preuve onthologique, et la décidabilité de l'axiome du choix et de l'hypothèse du continu dans l'artihmétique.
A t'il fait d'autres travaux ? (les sources internet sont pauvres concernant ceci (en français du moins...))
merci d'avance,
Nay
Si, comme je le pense, vous appelez "ses deux théorèmes", les deux théorèmes d'incomplétude, alors vous oubliez son théorème, sans doute, le plus important : le théorème de complétude.
Vous pouvez ajouter aussi la "non-non" traduction entre logique classique et intuitionniste.
Quelques informations complémentaires : http://fr.wikipedikia.org/wiki/Kurt_G%C3%B6del
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Vous pouvez vous rérérer à l'ouvrage de Pierre Cassou Noguès "les démons de Gödel".Envoyé par nay.e
L'auteur, mathématicien et philosophe, s'est rendu à Princeton et a pu accéder aux archives de Gödel.
Le livre évoque la philosophie cachée de Gödel, ses troubles psychiatriques, sa cosmologie incluant un temps circulaire, etc.
Cordialement
petite remarque : il s'agit de princeton non de prieston.
ah pardon je n'avais pas remarqué cette erreur,
j'ai commandé le livre les démons de Gödel, est-il vraiment intéressant (bourse d'étudiant --')
Pour ce qui est de la "non-non" traduction entre logique classique et intuitionniste Médiat ? (les deux théorèmes j'entendais bien complétude et incomplétude, mais merci de la précision)
Vous trouverez toutes les informations là : http://www.labri.fr/perso/retore/LL/nonnon_sujet.pdf
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Je peux juste vous dire que je l'ai trouvé intéressant et facile, riche en informations sur les aspects les moins connus de la pensée de Gödel et de sa vie. Mais tout dépend bien sûr de ce que vous cherchez.
Je vous donne ci dessous un lien, que nous avait donné Médiat si je ne m'abuse, sur la version gödelienne de l'argument ontologique de St Anselme, formalisé en logique modale.
La lecture en est agréable.
http://www.stats.uwaterloo.ca/~cgsma...l.revision.PDF
