7/30/2019 The Limits of Correctness

1/24

Also appeared as:[1] Cantwell Smith, B. (1995). The limits of correctness in computers. In D. Johnson & H.Nissenbaum (Eds.), Computers, Ethics & Social Values. Englewood Cliffs, NJ: Prentice Hall,456-469.[2] Smith, B.C.: Limits of Correctness in Computers. Colburn, T. R., Fetzer, J. H., and Rankin T.L. (eds.): Program Verification. Kluwer Academic Publishers, Dordrecht/Boston/London, 1993,pp. 275293.[3] Smith, B.C., 1996, Limits of Correctness in Computers, Computerization and Controversy:Value Conflicts and Social Choices, (2nd Ed.) Kling, R. (ed.), San Diego: Academic Press, pp.810825.

7/30/2019 The Limits of Correctness

2/24

7/30/2019 The Limits of Correctness

3/24

7/30/2019 The Limits of Correctness

4/24

7/30/2019 The Limits of Correctness

5/24

7/30/2019 The Limits of Correctness

6/24

7/30/2019 The Limits of Correctness

7/24

7/30/2019 The Limits of Correctness

8/24

7/30/2019 The Limits of Correctness

9/24

7/30/2019 The Limits of Correctness

10/24

7/30/2019 The Limits of Correctness

11/24

7/30/2019 The Limits of Correctness

12/24

7/30/2019 The Limits of Correctness

13/24

7/30/2019 The Limits of Correctness

14/24

7/30/2019 The Limits of Correctness

15/24

7/30/2019 The Limits of Correctness

16/24

7/30/2019 The Limits of Correctness

17/24

7/30/2019 The Limits of Correctness

18/24

7/30/2019 The Limits of Correctness

19/24

7/30/2019 The Limits of Correctness

20/24

7/30/2019 The Limits of Correctness

21/24

7/30/2019 The Limits of Correctness

22/24

7/30/2019 The Limits of Correctness

23/24

7/30/2019 The Limits of Correctness

24/24