Tractatus Logico-Philosophicus Instrumentum Computatorium
Letztes Update des Tractatus: 12.04.2018

Darstellung: Liste | Logik | Prosa | Diagramm (474 kb)
Details: 6 | 5 | 4 | 3 | 2 | 1

Formale Herleitung zu 4.2.4.1.2.3 (aufheben):
(1) (Unsicherheitm ≠ Unsicherheitn) ≠ (Angriffm ≠ Angriffn)
q.e.d.

1 Sicherheit ∈ Zustand
2 ∀(Unsicherheit) = ∃(Nicht zugelassene Handlung)
3 Angriff = Unzulässige Handlung
4 (Unsicherheitm ≠ Unsicherheitn) ≠ (Angriffm ≠ Angriffn)
5 Korrupter Programmcode = (Programmcode ∧ Unerwünschter Nebeneffekt)
6 Sensitive Daten → Schutz vor Manipulationen