Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

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

by Jonathan O. Chimakonam (Ph D)
Save 26% Save 26%
Current price ₹1,039.00
Original price ₹1,406.00
Original price ₹1,406.00
Original price ₹1,406.00
(-26%)
₹1,039.00
Current price ₹1,039.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9781477286708
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Authorhouse
  • Publisher Imprint: Authorhouse
  • Publication Date:
  • Pages: 166
  • Original Price: GBP 11.11
  • Language: English
  • Edition: N/A
  • Item Weight: 250 grams
  • BISAC Subject(s): General, General, and General

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 negative by Alonzo Church and Alan Turing in their famous Church-Turing thesis. The later Turing and Gumanski's attempts are criticized as inadequate or doubtful. So the decision problem is still unsolved in the positive. This book provides a positive solution using what the author calls the General Theory of Effectively Provable Function (GEP). Tremendous insights on computer development and evolution also come to light in this research. Obviously, this book is an audacious attempt to solve a problem that has lasted for more than a century and defied the best minds of logic's greatest era!

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us