Quote:
|
il fatto che è possibile dimostrare formalmente che non è possibile creare un sistema esente da bug
|
No. Quel che molto probabilmente intendevate è "non è possibile dimostrare formalmente che un sistema sia esente da bug", che è una cosa estremamente diversa.