[Soci SLIP] input/output error

[Lucio Crusca]

In data martedì 08 giugno 2010 11:10:55, loredana ha scritto:

> Ah, ribadisco, l'informatica e' una scienza esattissima

Parrebbe di no:

http://it.wikipedia.org/wiki/Scienza_esatta
http://it.wikipedia.org/wiki/Qualità_del_software#Correttezza

Nell'informatica le variabili in gioco sono talmente tante che non è  
possibile scrivere un software in modo assolutamente deterministico, almeno 
non per i sistemi desktop in timesharing che usiamo oggi. Era una scienza 
esatta forse al tempo di Turing ed oggi solo per casi molto particolari 
(sistemi a singolo utente real time come potrebbe essere la circuteria della 
cabina di controllo di un aereo).

In un normale pc intervengono troppe condizioni imprevedibili perché sia 
possibile scrivere un software in modo deterministico. Possiamo dire che un 
software, se eseguito su un sistema deterministico, a sua volta può essere 
deterministico (ma è da dimostrare di volta in volta per ogni singolo 
software). In ogni caso i nostri PC non sono sistemi deterministici, ovvero 
dato un certo input non è possibile dire a priori quale sarà l'output. 
Possiamo prevederlo statisticamente con un alto livello di confidenza, questo 
sì, ma non possiamo esserne certi in senso matematico.