Frappes philosophiques et sociétales 3.0 Forum Index

Frappes philosophiques et sociétales 3.0
Forum de réflexion philosophique et sociétale

 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

De la difficulté, à concrétiser et à réaliser ses rêves

 
This forum is locked: you cannot post, reply to, or edit topics.   This topic is locked: you cannot edit posts or make replies.    Frappes philosophiques et sociétales 3.0 Forum Index -> Rassemblement de textes, de réflexions personnelles, et de discussions, auxquels j'ai participé, issus de divers forums et divers emails
Previous topic :: Next topic  
Author Message
Philosophe 3.0
Administrateur

Offline

Joined: 16 Feb 2011
Posts: 143

PostPosted: Tue 26 Mar - 16:52 (2013)    Post subject: De la difficulté, à concrétiser et à réaliser ses rêves Reply with quote

Thématiques : Mes mathématiques, théorème de Gödel


Subject: Fwd : Suite 9 : De la difficulté, à concrétiser et à réaliser ses rêves @(recyclé)@
Date : Dim 15 avril 2012 12:33




Dans la démonstration du théorème de Gödel, on construit,
(avec une démonstration ayant un nombre fini d'étapes),
une proposition qui dit, elle-même, qu'elle n'est pas
démontrable, dans un système cohérent, contenant l'arithmétique :

Cette proposition sera toujours indécidable, par construction,
et ce même en essayant de la démontrer avec un nombre quelconque d'étapes,
qu'il soit fini, infini dénombrable, infini non dénombrable :


Oui, mais le fait que la proposition de Gödel, soit indécidable
universellement, et qu'il puisse éventuellement en exister d'autres du
même acabit, n'empêche pas que paragraphe suivant, puisse être vrai.


"En fait, je pense que certaines propositions indécidables, avec une
démonstration ayant un nombre fini d'implications, le seront avec une
démonstration ayant un ensemble d'implications, équipotent à un intervalle
compact de R, et que certaines propositions indécidables,
avec une démonstration ayant un ensemble d'implications, équipotent à un
intervalle compact de R, le seront avec une démonstration ayant un
ensemble d'implications, équipotent à l'ensemble des parties d'un
intervalle compact de R, etc ... ."


"NB : Je parle d'implications irréductibles."


Back to top
Publicité






PostPosted: Tue 26 Mar - 16:52 (2013)    Post subject: Publicité

PublicitéSupprimer les publicités ?
Back to top
Display posts from previous:   
This forum is locked: you cannot post, reply to, or edit topics.   This topic is locked: you cannot edit posts or make replies.    Frappes philosophiques et sociétales 3.0 Forum Index -> Rassemblement de textes, de réflexions personnelles, et de discussions, auxquels j'ai participé, issus de divers forums et divers emails All times are GMT + 2 Hours
Page 1 of 1

 
Jump to:  

Index | Administration Panel | Free forum | Free support forum | Free forums directory | Report a violation | Conditions générales d'utilisation
Powered by phpBB © 2001, 2005 phpBB Group