|
|
|
|
|
by Xichekolas
5928 days ago
|
|
> BTW, if you want, you could build a mathematical model of every program. 100% predictable Have you ever tried to do this? Once you get past fibonacci functions, the amount of time and effort required is measured in PhD-man-years. And even then, all you have done is moved the risk from the code to the proof, because when you work on something that large, the risk that the model does not represent reality (either due to oversight, lack of understanding, or not correctly capturing the interplay between two aspects) becomes an issue. |
|