The Word problem in Semi-groups with Cancellation [in:] Annals of Mathematics Vol. 2, No. 52

Sprache: Englisch

Verlag: Princeton University Press, Princeton, 1950

  • Erstausgabe
  • Softcover
  • Gebraucht
Alle Details anzeigen
Artikelbild 1 von 2.

Anbieter: Boris Jardine Rare Books, Edinburgh, Vereinigtes KönigreichBoris Jardine Rare Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 20. April 2006

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Gebraucht - Gut

EUR 3.002,85

EUR 20,93 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Octavo (254 x 175mm); pp. 245–508, Turing at pp. 491–505. Single issue in original wraps. THE 'TURING MACHINE': PERFECTED Turing’s last statement on the eponymous 'Turing Machine' - the 1936 thought experiment that launched the entire field of computing machinery. In his 1936 paper Alan Turing famously proposed an imaginary device which would manipulate symbols on an infinite strip of tape. With the simple set of rules by which this device operated, Turing was able not only to show that the 'Entscheidungsproblem' (decision problem) set by David Hilbert was unsolvable, but also to give a formal definition of computability, and to construct a ‘machine’ that could carry out any possible computation. This was a landmark in the history of mathematics - and also stands as the founding moment in the history of modern computing. But it was far from the last word on what came to be called 'Turing Machines'. The search for more problems that could be analysed in this way led, in 1947, to the publication of Emil Post's 'Recursive Unsolvability of a Problem of Thue', which proposed several improvements on Turing’s original concept and applied it to what is known as the 'word problem' in algebraic Group Theory, showing that for a special case the so-called 'word problem' is unsolvable. The word problem is a specific instance of a general type of problem that can be quite simply explained with an example: take a string of letters (a 'word'), and apply rules about how different words relate (abc=ca, b=cba and so on). The problem is this: can an algorithm be found that will show whether any given word can be transformed into another word? This was an area of mathematics in which Turing had published his first ever paper, in 1935. Post's 1947 contribution was therefore of the greatest interest to Turing, who at this time was back at Cambridge and looking for new problems, following his departure from the project to build the 'Pilot ACE' computer. With typical bravado Turing quickly believed he had shown that the word problem in general is unsolvable. In fact, Turing's proof was incomplete, and so he published only this partial result - now more notable for its presentation of an updated 'Turing Machine' on pp. 493-495. In spite of the monumental contributions still to come from Turing - in artificial intelligence, computer programming and morphogenesis - he remained committed to work in pure mathematics, and particular to the refinement of his theory of computing machines. References: The Turing Guide, pp. 394-397; Alan Turing: His Work and Impact, 343-357; Martin Davis, 'What is a Computation?' Near fine condition; spine slightly wrinkled as often.

Bestandsnummer des Verkäufers 2606029560

Bibliografische Details

Titel
The Word problem in Semi-groups with Cancellation [in:] Annals of Mathematics Vol. 2, No. 52
Autor
TURING, Alan Mathison (1912-1954)
Verlag
Princeton University Press, Princeton
Veröffentlichungsjahr
1950
Zustand
Gut
Einband
Softcover
Sprache
Englisch
Ausgabe
1. Auflage
Verkäuferkataloge
History of Computing, Masterworks of Science

Boris Jardine Rare Books

Edinburgh, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 20. April 2006

Versandkosten von Vereinigtes Königreich nach USA

Artikel5 bis 10 Werktage2 bis 7 Werktage
Erster ArtikelEUR 20,93EUR 65,83
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Bankeinzug
  • Banküberweisung
  • Bar
  • Lastschrift
  • PayPal
  • Rechnung
  • Vorauskasse
  • Zahlungsanweisung

Shop-Beschreibung

Specialists in the history of science and technology. Trading online since 2006.

Spezialisierung

Inscribed books and association copies, primary and secondary texts, French antiquarian books, Original artwork, Modern first editions, Manuscripts, Early-modern editions of classical literature, History of science, Early printed books, ephemera, Pirated editions and forgeries

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Boris Jardine Rare Books

Vereinigtes Königreich