Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic

by

Write The First Customer Review

In the year 1900 the German Mathematician David Hilbert gave a curious address in Paris, at the meeting of the 2nd International Congress of Mathematicians - he titled his address "Mathematical Problems." In it, he emphasized the importance of taking on challenging problems for maintaining the progress and development of mathematics. The problems numbered 1, 2, and 10 which concern mathematical logic and which gave birth to what is called the entscheidungsproblem or the decision problem were eventually solved though in the ...

Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic 2012, Authorhouse

ISBN-13: 9781477286708

Trade paperback

Select
Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic 2012, Authorhouse

ISBN-13: 9781477286692

Hardcover

Select