Pourquoi la thèse de Church serait vraie ?

[c.pas.moi]

Bonjour,

Quelles sont les arguments pour ou contre cette thèse ?

Bonne soirée.
-----

[JPL]

As-tu lu, au minimum https://fr.wikipedia.org/wiki/Th%C3%A8se_de_Church, ou mieux https://en.wikipedia.org/wiki/Church...3Turing_thesis ?

[c.pas.moi]

Citation :
Le fait que toutes ces tentatives pour formaliser le concept d'algorithme aient conduit à des résultats équivalents est l'argument qui rend la thèse de Church incontournable.

Est le seul argument que j'y ai lu, en fait j'aurais aimé surtout connaître les arguments contre (s'il y en a, en effet je n'en connais pas).

PS : je suis une bille en anglais.

[c.pas.moi]

Bonjour,

Personne ne connaît de contre-argument à la thèse de Church ?

[A voir en vidéo sur Futura]

[Médiat]

Bonjour,

S'il y avait un contre-argument convainquant cette thèse aurait été amendée

[c.pas.moi]

Bonsoir,

Je ne demande pas des arguments convainquant, mais des arguments allant contre cette thèse, il doit forcément en exister car sinon cela ne serait plus une thèse.

[Médiat]

il doit forcément en exister car sinon cela ne serait plus une thèse.

Au contraire, s'il en existait ce ne serait plus une thèse, vous confondez "ne pas être démontré faux" et "être démontré vrai"

[c.pas.moi]

Bonjour,

Qu'est-ce le calculable (sans utiliser la thèse de Church) ?

Merci.

[c.pas.moi]

Au contraire, s'il en existait ce ne serait plus une thèse, vous confondez "ne pas être démontré faux" et "être démontré vrai"

A noter que même une chose prouver vrai peut avoir des contre-arguments, par exemple les paradoxes. (Banach-Tarski...)