Tout juste inscrit sur ce forum, je suis chercheur en mathématiques à la retraite.
En cherchant les ingrédients pour obtenir une preuve "simple" de <<P différent de NP>>, j'en suis arrivé assez logiquement et naturellement à cette notion de "Complexité Effective".
Je vous livre cette note rédigée ce Week-end pour votre avis et vos commentaires.
CE.pdf
Voici une reformulation avec des idées de ROM et de RAM
(PS. Je ne sais pas comment modifier un message ou un fichier intégré)
RR.pdf
bjr,
pas mon domaine , mais je comprend ça dans la démarche:
Donc, tout ceci est présenté comme une simple conjecture.Comme pour le résultat d’indécidabilité du problème de l’arrêt, nous aurons besoin de simuler le calcul d’une machine de Turing à partir d’un codage de celle-ci.
Et dans le cas présent, il ne me semble pas qu'un résultat ( statistique ? ) informatique puisse faire preuve de démonstration
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Merci pour ton message ansset.
Mais non, pas du tout. Cette phrase introduit la définition qui la suit. C'est tout. Le codage de Machines de Turing en mots est une technique classique similaire à un code de programme fait de lettres qui codent des instructions converties en actions par le processeur.
Bien à vous
J'en profite pour donner la nouvelle version
CE.pdf
j'avoue ne pas avoir tout lu....
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
C'est compréhensible puisque c'est assez technique et surtout destiné aux spécialistes du domaine et de la question <P différent de NP>
Il faut un minimum de connaissances du sujet et je ne suis pas trop adepte de chaque fois tout écrire dans une sorte de Survey mais plutôt de faire des notes courtes avec des arguments synthétiques.
Alors une ou deux pages...c'est du concentré qui demande de la concentration.
Dernière modification par serge burckel ; 07/06/2020 à 12h37.
Et comme on vous l'a déjà dit par ailleurs, ce forum n'est pas le lieu pur exposer les théories personnelles. Publiez ou allez faire une présentation dans un colloque spécialisé.
Not only is it not right, it's not even wrong!
