Proof and the computer: Some issues raised by the formal verification of computer systems

Science and Public Policy

Volumn 23, Issue 1, 1996, Pages 45-53

  MacKenzie, Donald ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001746199     PISSN: 03023427     EISSN: None     Source Type: Journal    
DOI: 10.1093/spp/23.1.45     Document Type: Article

References (9)

1. Margaret S Archer (1987), "Resisting the revival of relativism". International Sociology. 2, pages 235-250.
2. David Bloor (1973), "Wittgenstein and Mannheim on the sociology of mathematics", Studies In the History and Philosophy of Science, 4, pages 173-191.
3. David Bloor (1976), Knowledge and Social Imagery (Routledge, London).
4. David Bloor (1983), Wittgenstein: A Social Theory of Knowledge (Macmillan, London).
5. David Bloor (1994), "What can the sociologist of knowledge say about 2 + 2 = 4", in P Ernest (editor), Mathematics. Education ands Philosophy (Palmer, London) pages 21-32.
6. D R Stoutemyer (1991), "Crimes and misdemeanors in the computer algebra trade", Notices of the American Mathematical Society, 38, pages 778-785.
7. P Thistlewaite, Michael A McRobbie and Robert K Meyer (1988), Automated theorem proving in non-classical logics (Pitman, London).
8. Martyn Thomas (1991). "VIPER lawsuit withdrawn", electronic mail communication, 5 June.
9. Margaret Tierney (1992), "Software engineering standards: the 'formal methods debate' In the UK", Technology Analysis and Strategic Management, 4, pages 245-278.