Mechanizing Mathematical Reasoning
Subtitle: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Contributors: Dieter Hutter (Editor); Werner Stephan (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 6, 2005
Language: eng
Format: Paperback
Number of pages: 565
ISBN-13: 9783540250517
Subjects: Computing and Information Technology; Philosophy; Computers; Computers - General Information; Computer Books: Languages; Programming - Software Development; Artificial Intelligence - General; Logic; AI logics; Computers / Artificial Intelligence; automated deduction; automated reasoning; computer aided verification; formal methods; formal verification; mathematical reasoning; multi-agent systems; Automatic theorem proving; Automation; Logic, Symbolic and mathematical; Reasoning
First sentence: At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called "Rechenvorrichtung" in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of.