Anbieter: BargainBookStores, Grand Rapids, MI, USA
Paperback or Softback. Zustand: New. The Incompleteness of Deductive Logic: And Its Consequences for Epistemic Engineering. Book.
Anbieter: California Books, Miami, FL, USA
Zustand: New.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 17,85
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: John Benjamins Publishing Company, 2007
ISBN 10: 902725205X ISBN 13: 9789027252050
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Hardcover. 541 S. Ex-library with stamp and library-signature in good condition, some traces of use. C07359 9789027252050 Sprache: Englisch Gewicht in Gramm: 1150.
Sprache: Englisch
Verlag: John Benjamins Publishing Compan, 2012
ISBN 10: 9027213534 ISBN 13: 9789027213532
Anbieter: Books From California, Simi Valley, CA, USA
Hardcover. Zustand: Fine. sealed in original plastic, but has minor ripping.
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: new. Paperback. This book proves a new theorem in recursion theory with major consequences for logic, philosophy, AI, and epistemic engineering. The main result is that the class of all recursive, truth-preserving deductive logics is not recursively enumerable-no algorithm can list all possible formal systems. This strengthens Goedel: incompleteness does not just block any single system from capturing all truths; it prevents recursion itself from surveying the space of formal systems. The core philosophical payoff is overturning the long-standing but false assumption that rationality = recursivity. Rational thought includes both recursive rule-following and non-recursive pattern-recognition capacities, and neither can be reduced to the other. This insight dissolves classical problems (induction, rule-following, foundationalism), explains why GOFAI failed, clarifies why neural networks succeed, and reframes mathematical and linguistic understanding as non-recursive pattern-based cognition. As a result, epistemic engineering-the design of systems that expand, stabilize, and operationalize human knowledge-must integrate non-recursive rational mechanisms rather than treating rationality as algorithmic. A new theorem in recursion theory showing that formal systems cannot be recursively enumerated, with major consequences for logic, AI, and epistemology. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Sprache: Englisch
Verlag: John Benjamins Publishing Co, 2007
ISBN 10: 902725205X ISBN 13: 9789027252050
Anbieter: Books From California, Simi Valley, CA, USA
Hardcover. Zustand: New.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 15,52
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 106,29
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 412 pages. 9.70x1.30x6.60 inches. In Stock.
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. Print on Demand.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 117,16
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 524 pages. 9.75x7.00x1.25 inches. In Stock.
Anbieter: Yushodo Co., Ltd., Fuefuki-shi, Yamanashi Pref., Japan
Verbandsmitglied: ILAB
Hardcover. Zustand: Fine. x, 524p.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND.
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Paperback. Zustand: new. Paperback. This book proves a new theorem in recursion theory with major consequences for logic, philosophy, AI, and epistemic engineering. The main result is that the class of all recursive, truth-preserving deductive logics is not recursively enumerable-no algorithm can list all possible formal systems. This strengthens Goedel: incompleteness does not just block any single system from capturing all truths; it prevents recursion itself from surveying the space of formal systems. The core philosophical payoff is overturning the long-standing but false assumption that rationality = recursivity. Rational thought includes both recursive rule-following and non-recursive pattern-recognition capacities, and neither can be reduced to the other. This insight dissolves classical problems (induction, rule-following, foundationalism), explains why GOFAI failed, clarifies why neural networks succeed, and reframes mathematical and linguistic understanding as non-recursive pattern-based cognition. As a result, epistemic engineering-the design of systems that expand, stabilize, and operationalize human knowledge-must integrate non-recursive rational mechanisms rather than treating rationality as algorithmic. A new theorem in recursion theory showing that formal systems cannot be recursively enumerated, with major consequences for logic, AI, and epistemology. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Revista internacional de filosofía. 160 pp. 15x23 cm. KRK Ediciones. Oviedo.
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
EUR 21,73
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. This book proves a new theorem in recursion theory with major consequences for logic, philosophy, AI, and epistemic engineering. The main result is that the class of all recursive, truth-preserving deductive logics is not recursively enumerable-no algorithm can list all possible formal systems. This strengthens Goedel: incompleteness does not just block any single system from capturing all truths; it prevents recursion itself from surveying the space of formal systems. The core philosophical payoff is overturning the long-standing but false assumption that rationality = recursivity. Rational thought includes both recursive rule-following and non-recursive pattern-recognition capacities, and neither can be reduced to the other. This insight dissolves classical problems (induction, rule-following, foundationalism), explains why GOFAI failed, clarifies why neural networks succeed, and reframes mathematical and linguistic understanding as non-recursive pattern-based cognition. As a result, epistemic engineering-the design of systems that expand, stabilize, and operationalize human knowledge-must integrate non-recursive rational mechanisms rather than treating rationality as algorithmic. A new theorem in recursion theory showing that formal systems cannot be recursively enumerated, with major consequences for logic, AI, and epistemology. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book proves a new theorem in recursion theory with major consequences for logic, philosophy, AI, and epistemic engineering. The main result is that the class of all recursive, truth-preserving deductive logics is not recursively enumerable-no algorithm can list all possible formal systems. This strengthens Gödel: incompleteness does not just block any single system from capturing all truths; it prevents recursion itself from surveying the space of formal systems. The core philosophical payoff is overturning the long-standing but false assumption that rationality = recursivity. Rational thought includes both recursive rule-following and non-recursive pattern-recognition capacities, and neither can be reduced to the other. This insight dissolves classical problems (induction, rule-following, foundationalism), explains why GOFAI failed, clarifies why neural networks succeed, and reframes mathematical and linguistic understanding as non-recursive pattern-based cognition. As a result, epistemic engineering-the design of systems that expand, stabilize, and operationalize human knowledge-must integrate non-recursive rational mechanisms rather than treating rationality as algorithmic.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. The Incompleteness of Deductive Logic | And Its Consequences for Epistemic Engineering | John-Michael M Kuczynski | Taschenbuch | Englisch | 2026 | Zhi Systems | EAN 9781968752057 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.