Halting Problem (17 results)
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 11.88
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. The Halting Problem. Book.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 13.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Published by J Assoc Computing Machinery 1967
- Softcover
- Periodical
Seller: Larry W Price Books, Portland, OR, U.S.A.Larry W Price Books
Contact seller5-star sellerCondition: Used - Very good
US$ 5.90
US$ 4.95 shippingShips within U.S.A.Quantity: 1 available
Pamphlet. Condition: Very Good. Vol 14, No 4, pp. 677-682, Extracted from orig vol, thus begins with title page, trimmed & stapled pamphlet, else VG.
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 14.45
US$ 55.75 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. KlappentextFrom the back of the book: Should we really be doing this?That question will haunt you as you read The Halting Problem.After an uneventful career as a computer programmer, Brett Phillip.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 16.13
US$ 69.26 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Neuware - From the back of the book: Should we really be doing this That question will haunt you as you read The Halting Problem.After an uneventful career as a computer programmer, Brett Phillips has his life transformed by taking on a new challenge: becoming an Operator for Pixie, the first sentien…t General Artificial Intelligence program. With a looming deadline and a demanding Angel Investor calling the shots, Brett's personal life is upended in the cruelest way at the worst possible time.And something does not seem right with Pixie either.From the author: Do you like science fiction books with completely unrealistic technologies Awful storytelling Bland, uninteresting characters Do you like gigantic laser battles in space Stilted dialogue Predictable endings Galaxy-obliterating death weapons No Great! I don't either, and that means you may like my book, The Halting Problem. The Halting Problem is a contemporary science fiction book that explores real life issues with General Artificial Intelligence (GAI). The technology is probably a bit more advanced than currently known, but definitely realistic. The characters are interesting and well-written. There are no lasers or death weapons, but there is hot wax and an envelope dagger. Most of the book takes place in Chattanooga, TN which, as of April 2019, is not in outer space.This is no dystopian, sci-fi mega-tropey book either, which you may find odd, since most things suck nowadays. Instead, my story explores possible real-world issues with GAI, and what you will find is what I found; reality may end up being perfectly terrifying as well. The Halting Problem is part sci-fi, part dark comedy, part mystery, and part drama, with a sprinkling of existentialism throughout. - J.
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, , United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 36.38
US$ 15.87 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 39.85
US$ 26.17 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In computability theory, the halting problem is a decision problem which can be stated as follows: given a description of a program, decide whether the program finishes running or will run forever. This is equivalent to the problem…of deciding, given a program and an input, whether the program will eventually halt when run with that input, or will run forever. Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist. We say that the halting problem is undecidable over Turing machines. B. Jack Copeland attributes the actual term halting problem to Martin Davis. 88 pp. Englisch.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 47.57
US$ 69.27 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In computer science, termination analysis attempts to determine whether the evaluation of a given program will definitely terminate. It is a form of…program analysis that is related to the halting problem. Because the Halting Problem is undecidable, termination analysis cannot work correctly in all cases. The aim is to find the answer 'program does terminate' (or 'program does not terminate') whenever this is possible. Without success the algorithm (or human) working on the termination analysis may answer with 'maybe' or continue working infinitely long.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 110.65
US$ 79.66 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Liskov Substitution Principle | Object-oriented programming, Subtype polymorphism, Data type, Computer program, Barbara Liskov, Jeannette Wing, Design by contract, Halting problem | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133860711 | Verantwortliche Person…für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 110.65
US$ 79.66 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Collatz conjecture | Conjecture, Integer, Modular arithmetic, Pseudocode, Halting problem, Mertens conjecture, Skewes' number, Abstract machine, Tag system, Singly and doubly even, P-adic number | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130090043 | Verantwo…rtliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 137.59
US$ 68.96 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 128.76
US$ 79.66 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Halting Problem | Computability theory, Decision problem, Computer program, Alan Turing, Algorithm, Turing machine | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130821272 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078…Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 146.87
US$ 79.66 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computability | Computability theory, Computer science, Mathematical logic, Turing machine, Automata theory, Hypercomputation, Computational complexity theory, Parallel computing, Halting problem | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786130205133 | Verantw…ortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 146.87
US$ 79.66 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Termination Analysis | Computer Science, Computer Program, Program Analysis, Halting Problem, Mathematical Proof, Formal Verification, Total Correctness | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131155277 | Verantwortliche Person für die EU: preigu GmbH & C…o. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
Richard's Paradox : Logic, Cantor's Diagonal Argument, Real Number, Canonical Order, Halting Problem
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 185.05
US$ 69.41 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 256.22
US$ 69.91 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
Published by OmniScriptum 2026
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 128.76
US$ 79.66 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Kolmogorov complexity | English language, Complexity, Turing completeness, Godel´s incompleteness theorems, Halting problem, Grammar induction, List of important publications in theoretical computer science | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 978613021687…0 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
