question de logique

[ilelogique]

Je ne comprends pas,
quelqu'un peut-il me dire, svp, pourquoi personne ne répond à ma question ?
elle n'en est pas digne ??
Merci,
-----

[Deedee81]

Salut,

elle n'en est pas digne ??

Non, sinon elle aurait été modérée

Il peut y avoir plusieurs raisons :
- manque de temps (c'est mon cas)
- manque d'intérêt (ce forum est assez peu fréquenté, tu l'as sûrement remarqué)
- manque de compétence (personnellement, je connais un peu la logique formelle, mais l'épistémo par contre en général je n'y comprend pas grand chose)

[Médiat]

en supposant que la décidabilité de Gödel coïncide avec celle de Turing

Soit la théorie , tous les énoncés du langage sont décidables au sens de Gödel, le sont-ils au sens de Turing ? Si oui cela veut dire qu'il existe un algorithme capable de démontrer tous les théorèmes de AP vrais dans ...

[ilelogique]

Pour Médiat, il me semble que ça veut plutôt dire qu'il existe un algorithme qui s'arrête en un temps fini pour dire si oui ou non tel énoncé est dans T, et non pas qui établit la démonstration, non ?

[Médiat]

Comment peut-on savoir algorithmiquement en un temps fini si une proposition est dans T sans avoir de démonstration ?

[ilelogique]

Oui je dois avouer que l'argument est de taille.
Mais alors les décidabilités au sens de Gödel et de Turing ne coïncideraient pas ?
(je croyais que cela reposait sur la thèse de Church ???)
et mon affirmation serait fausse ?
Merci,

[Médiat]

La thèse de Church affirme que "calculable au sens intuitif" = "calculable par une machine de Turing" (ou autres formulations équivalentes, avec les fonctions récursives, par exemple)