Mechanizing proof : computing, risk, and trust /

Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: MacKenzie, Donald A.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge, Mass. : MIT Press, ©2001.
Colección:Inside technology.
Temas:
Computer systems > Reliability.
Computers and civilization.
Systèmes informatiques > Fiabilité.
Ordinateurs et civilisation.
COMPUTERS > Software Development & Engineering > Systems Analysis & Design.
Computer systems > Reliability
Computers and civilization
Computersystemen.
Verificatie.
Automatische bewijsvoering.
Bewijstheorie.
Betrouwbaarheid.
SCIENCE, TECHNOLOGY & SOCIETY/General
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 1. Knowing computers
  • 2. Boardwalks across the Tar Pit
  • 3. Artificial mathematicians?
  • 4. Eden defiled
  • 5. Covert channels
  • 6. Social processes and category mistakes
  • 7. Clocks and chips
  • 8. Logics, machines, and trust
  • 9. Machines, proofs, and cultures.

Ejemplares similares