Difference between revisions of "Trust in Computer Systems"
From MgmtWiki
(→Problems) |
(→Problems) |
||
| Line 3: | Line 3: | ||
==Context== | ==Context== | ||
| + | |||
| + | * From their begging computers were expected to be deterministic. The idea that formal proofs of correctness could be generated for computer programs has continued until current times. | ||
==Problems== | ==Problems== | ||
Latest revision as of 15:17, 16 July 2023
Full Title or Meme
As humanity moves into the Information Age from the Machine Age it needs to assure that the automated systems now being deployed can be trusted with the Responsibility that is necessary for their integration into the human Ecosystem.
Context
- From their begging computers were expected to be deterministic. The idea that formal proofs of correctness could be generated for computer programs has continued until current times.
Problems
- Uncertainty about how, whether, and when algorithmic harms come to pass is not ever going away.[1]
Solutions
References
- ↑ Emanuel Moss, Trust is not Enough CACM 66 No. 6 (2023-06)
