『L’algorithme qui ne peut pas exister』のカバーアート

L’algorithme qui ne peut pas exister

L’algorithme qui ne peut pas exister

無料で聴く

ポッドキャストの詳細を見る

Peut-il exister un programme capable d’analyser n’importe quel autre programme et de déterminer toujours s’il finira par s’arrêter ou continuera indéfiniment ? Alan Turing a démontré qu’un tel algorithme universel ne peut pas exister. Ce chapitre explore la machine de Turing, le calcul universel et le problème de l’arrêt, l’une des frontières fondamentales de l’informatique théorique. Grâce à une construction autoréférentielle, Turing a montré que certains problèmes ne sont pas simplement trop difficiles pour nos ordinateurs : aucun algorithme général ne peut résoudre tous leurs cas. La théorie qui a contribué à définir le calcul en a également révélé les limites.

See omnystudio.com/listener for privacy information.

adbl_web_anon_alc_button_suppression_t1
まだレビューはありません