Tractatus / Logik / 5

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 5 (aufheben):

(1) Korrupter Programmcode = (Programmcode ∧ Unerwünschter Nebeneffekt)

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