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

Description: Proof in Alonzo Church's and Alan Turing's Mathematical Logic by Jonathan O. Chimakonam 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 Gumanskis 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 logics greatest era! FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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 Gumanskis 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 logics greatest era! Details ISBN1477286705 Author Jonathan O. Chimakonam Short Title PROOF IN ALONZO CHURCHS & ALAN Pages 166 Language English ISBN-10 1477286705 ISBN-13 9781477286708 Media Book Format Paperback Year 2012 Subtitle Undecidability of First-Order Logic Country of Publication United States Illustrations black & white illustrations Publication Date 2012-11-07 Place of Publication Bloomington Imprint AuthorHouse UK Release Date 2012-11-07 AU Release Date 2012-11-07 NZ Release Date 2012-11-07 US Release Date 2012-11-07 Publisher AuthorHouse Audience General We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:84435307;

Price: 28.94 AUD

Location: Melbourne

End Time: 2025-02-09T11:10:01.000Z

Shipping Cost: 9.2 AUD