David Monniaux on Nostr: Et donc, sur demande populaire, une démonstration du théorème de l'arrêt de ...
Et donc, sur demande populaire, une démonstration du théorème de l'arrêt de Turing : "il n'y a pas de programme qui, au vu du code source d'un programme, détermine si ce dernier termine ou non [si on lui fournit une entrée vide]".
Published at
2024-08-24 18:05:33 UTCEvent JSON
{
"id": "eba970261cbd450807973390271b3d38b5edc18f9a6fb0327a965edd8d2d4f87",
"pubkey": "25d68d5267a2112d350066d6bc18c245ad7af5ebf31a3a00a9dd56921b9e1f92",
"created_at": 1724522733,
"kind": 1,
"tags": [
[
"proxy",
"https://social.sciences.re/@MonniauxD/113018321893060049",
"web"
],
[
"proxy",
"https://social.sciences.re/users/MonniauxD/statuses/113018321893060049",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.sciences.re/users/MonniauxD/statuses/113018321893060049",
"pink.momostr"
],
[
"-"
]
],
"content": "Et donc, sur demande populaire, une démonstration du théorème de l'arrêt de Turing : \"il n'y a pas de programme qui, au vu du code source d'un programme, détermine si ce dernier termine ou non [si on lui fournit une entrée vide]\".",
"sig": "d5cf623f73d53f55888f404b294099a4b72541201c48d4d676c47a8efd88704a6eaeb8f3b6c1c5f949522d205118f25cc6d901303291eb3606a3177d3191e767"
}
