Une objection à l'usage d'assistants de preuve est que, de toute façon, la sécurité des preuves obtenues repose sur le bon fonctionnement de l'assistant. En effet, les assistants de preuves sont de gros logiciels complexes, dont on peut soupçonner qu'ils soient eux-mêmes bugués.
C’est un cercle sans fin.
Encore une fois les maths c'est une exactitude qui a engendrée l'informatique
L’informatique se base sur les maths mais aussi sur la physique ;)
Les premiers "bugs" ("insectes" en anglais) de l’histoire de l’informatique était dû à des phénomènes physiques, biologiques même... De véritables insectes (moucherons, etc...) venaient se foutre sur les circuits, qui étaient bien moins miniaturisés qu’aujourd’hui, et faisaient ainsi dysfonctionner la machine.
tout le monde(presque) me tomberai dessus et j'aurais pu imaginer que ça parte en troll comme ça !!! Je dois reconnaitre que ça me perturbe un peu
Ne te fais pas trop de soucis, tu es déjà moins péremptoire dans ce dernier commentaire... Personne ne t’en voudra d’avoir été maladroit et d’avoir dit des conneries si tu évolues, dans le bon sens...
Prends soin de ton orthographe, tu fais beaucoup de fautes... Une qui choque particulièrement ici c’est "LENA"... c’est L’ENA (L’École Nationale d’Administration)
Peu etre que c'est du à la trop grande diversité de langage disponible sachant qu'avec le c et l'assembleur on fait beaucoup e chose certe c'est fastidieu mais on y arrive, je me trompe ?
Non. C’est dû au fait que l’informatique et les ordinateurs ont été créés par l’Homme et comme on a coutume de dire : « L’erreur est humaine »
[^] # Re: de la pluie d'acide
Posté par Marotte ⛧ . En réponse au journal MICROSOFT et malfaçon. Évalué à 2.
https://fr.wikipedia.org/wiki/Assistant_de_preuve
C’est un cercle sans fin.
L’informatique se base sur les maths mais aussi sur la physique ;)
Les premiers "bugs" ("insectes" en anglais) de l’histoire de l’informatique était dû à des phénomènes physiques, biologiques même... De véritables insectes (moucherons, etc...) venaient se foutre sur les circuits, qui étaient bien moins miniaturisés qu’aujourd’hui, et faisaient ainsi dysfonctionner la machine.
Ne te fais pas trop de soucis, tu es déjà moins péremptoire dans ce dernier commentaire... Personne ne t’en voudra d’avoir été maladroit et d’avoir dit des conneries si tu évolues, dans le bon sens...
Prends soin de ton orthographe, tu fais beaucoup de fautes... Une qui choque particulièrement ici c’est "LENA"... c’est L’ENA (L’École Nationale d’Administration)
Non. C’est dû au fait que l’informatique et les ordinateurs ont été créés par l’Homme et comme on a coutume de dire : « L’erreur est humaine »