History of the Church-Turing Thesis

History of the Church-Turing Thesis

List price: US$43.99

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The debate and discovery of the meaning of "computation" and "recursion" has been long and contentious. This article provides detail of that debate and discovery from Peano's axioms in 1889 through recent discussion of the meaning of "axiom."At the International Congress of Mathematicians in 1900 in Paris the famous mathematician David Hilbert posed a set of problems - now known as Hilbert's problems - his beacon illuminating the way for mathematicians of the twentieth century. In his 2nd problem he asked for a proof that "arithmetic" is "consistent." Kurt G del would prove in 1931 that, within what he called "P," "there exist undecidable sentences."
show more

Product details

  • Paperback | 96 pages
  • 152 x 229 x 6mm | 150g
  • Tort
  • United States
  • English
  • black & white illustrations
  • 6136268124
  • 9786136268125