Gyakori kijelentés, hogy nem létezik 100%-os biztonság, feltörhetetlen kód vagy program, biztonságos oprendszer, stb. De mi ennek az alapja? Van erre valamilyen keretek között valamilyen matematikai bizonyítás, vagy ez csak vélemény?

"annak hogy nincs legnagyobb szám sem értelmetlen a bizonyítása, hanem triviális"

Azért a bizonyítása nem épp triviális... Arkhimédésznek is bele telt jó idejébe. De ez mellékszál.

De most behoztál egy sokadik megközelítést:

"[...]szükségszerűen lehet hiba általános esetben, vagy megírhatók hiba nélkül elviekben."

Erre egyértelműen van válasz: Vannak helyességbizonyító algoritmusok, programnyelvek (a B nyelv), tesztelők, satöbbi. Tehát elméletileg lehetséges hibamentes programot írni és a gyakorlatban sikerül is valamikor.

De attól még, hogy valami feltörhető, nem jelenti azt, hogy hibás.

De nem tudom mennyire vagy otthon a programozásban, így inkább előbb ezt tisztázzuk le, és utána mélyebben bele tudunk menni a témába. Mert ha nem ugyanazt értjük a szavak/kifejezések alatt, úgy csak hosszasan elbeszélnénk egymás mellett.