tu pourra dire que l'informatique est une science exacte quand tu auras réussi à démontrer que tout programme est fini. (manque de pot, ce cher Turing a fait en sorte que ca reste indéfini...) En attendant ca reste une science assez inexacte (celà dis mon raisonnement est peut être totalement faux...)
Oui, je crois que ton raisonnement est faux.
La simplicité des machines de Turing permet au contraire de faire des raisonnements mathématiques 100% rigoureux sur des "programmes" qui n'ont, il est vrai, rien à voir avec les logiciels de la vie réelle.
[^] # Re: critiques pour critiquer => justement NON
Posté par jmfayard . En réponse au journal critiques pour critiquer. Évalué à 1.
Oui, je crois que ton raisonnement est faux.
La simplicité des machines de Turing permet au contraire de faire des raisonnements mathématiques 100% rigoureux sur des "programmes" qui n'ont, il est vrai, rien à voir avec les logiciels de la vie réelle.