The Seventeen Provers of the World Foreword by Dana S. Scott /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Wiedijk, Freek (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 3600
• Subjects: Computer science.; Software engineering.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Mathematical Logic and Formal Languages.

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. Th...