Oui c'est bien ce que je dis, tu peux faire des raisonnements mathématiques sur des programmes, démontrer qu'un programme est vrai, mais tout n'est pas démontrable, entre autre qu'un programme se fini. Et ça c'est due au fonctionnement même de la machine de Turing...
[^] # Re: critiques pour critiquer => justement NON
Posté par TImaniac (site web personnel) . En réponse au journal critiques pour critiquer. Évalué à 1.