The Word problem in Semi-groups with Cancellation [in:] Annals of Mathematics Vol. 2, No. 52
Language: English
Published by Princeton University Press, Princeton, 1950
- First Edition
- Softcover
- Used



Seller: Boris Jardine Rare Books, Edinburgh, United KingdomBoris Jardine Rare Books
AbeBooks seller since April 20, 2006
Condition: Used - Very good
£ 2,500.00
Quantity: 1 available
Add to basketItem description from seller
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.…
Seller Inventory # 2606029560
Bibliographic details
- Title
- The Word problem in Semi-groups with Cancellation [in:] Annals of Mathematics Vol. 2, No. 52
- Author
- TURING, Alan Mathison (1912-1954)
- Publisher
- Princeton University Press, Princeton
- Publication year
- 1950
- Condition
- Very good
- Binding
- Soft cover
- Language
- English
- Edition
- 1st Edition
- Seller catalogs
- History of Computing, Masterworks of Science
Boris Jardine Rare Books
Edinburgh, United Kingdom
AbeBooks seller since April 20, 2006
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 2 to 7 business days |
|---|---|---|
| First item | £ 17.95 | £ 56.45 |
Payment methods
- Bank Draft
- Bank Wire Transfer
- Cash
- Check
- Direct Debit
- Invoice
- Money Order
- Paypal
Store description
Specialists in the history of science and technology. Trading online since 2006.
Specialty
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 forgeriesSeller's business information
Boris Jardine Rare Books
United Kingdom
Terms of sale
All items are offered subject to prior sale. All items are guaranteed as described. We are willing to hold items for seven days. Items for any reason unsatisfactory may be returned within thirty days of receipt, with prior notice. Any returns must be well packaged and sent in a traceable manner. Additional insurance is not required for a return shipment. We accept Visa, MasterCard (Eurocard), money orders, cash, Paypal, cheques (in pounds sterling). Credit card orders must be shipped to the billing address of the credit card. Shipping is not included in the book price. International air and surface shipments at additional cost.
Right of withdrawal
If you are a consumer you can withdraw from the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.
Information regarding the right of withdrawal
Statutory right to withdraw
You have the right to withdraw from this contract within 14 days without giving any reason.
The withdrawal period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the last good or the last lot or piece.
To exercise the right of withdrawal, electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". We will communicate to you an acknowledgement of receipt of such a withdrawal on a durable medium (e.g. by e-mail) without delay.
To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.
Effects of withdrawal
If you withdraw from this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).
We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.
We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to withdraw from this contract.
We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.
We may withhold reimbursement until we have received the goods back, or you have supplied evidence of having sent back the goods, whichever is the earliest.
You shall send back the goods or hand them over to Boris Jardine Rare Books, Edinburgh, United Kingdom, +44 07951597703, without undue delay and in any event not later than 14 days from the day on which you communicate your withdrawal from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.
Exceptions to the right of withdrawal
The right of withdrawal does not apply to:
- The delivery of newspapers, journals or magazines with the exception of subscription contracts; and
- The supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not withdraw once delivery had started.
Shipping terms
Orders ship within 3 business days. Shipping costs are based on books weighing 500 grams. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.