Solvability, Provability, Definability: The Collected Works of Emil L. Post

Solvability, Provability, Definability: The Collected Works of Emil L. Post

by Emil Leon Post, Martin Davis
     
 

Editorial Reviews

Booknews
Emil Post was a pioneer of 20th century mathematical logic whose influence on computer science is particularly remarkable considering his lack of any contact with computing machines. Post's approach, revolutionary for the time, was to study logical systems from the outside, using ordinary mathematical methods. His investigations led him to set forth what has become the standard paradigm for studying logical systems. By showing how a system of logic could be viewed as a kind of general combinatorial system, Post provided the basis for much of modern computer science. No index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Product Details

ISBN-13:
9780817635794
Publisher:
Springer-Verlag New York, LLC
Publication date:
01/28/1994
Series:
Contemporary Mathematicians Series
Pages:
554
Product dimensions:
7.09(w) x 9.84(h) x (d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >