Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: The Undecidable | Statement: [Martin Davis, notableWork, The Undecidable]

Target entity: The Undecidable
Context triple: [Martin Davis, notableWork, The Undecidable]

• A. Forever Undecided
  Forever Undecided is a logic puzzle book by Raymond Smullyan that playfully explores Gödel’s incompleteness theorems through self-referential riddles and dialogues.
• B. Gödel, Escher, Bach
  Gödel, Escher, Bach is a Pulitzer Prize–winning interdisciplinary book by Douglas Hofstadter that explores deep connections between mathematics, art, music, and human consciousness.
• C. Entscheidungsproblem
  The Entscheidungsproblem is a foundational decision problem in mathematical logic that asks whether there exists a general algorithm to determine the truth or falsity of any given first-order logical statement.
• D. The Mind’s I
  The Mind’s I is a philosophical anthology edited by Douglas Hofstadter and Daniel Dennett that explores consciousness, self, and identity through essays, stories, and thought experiments.
• E. Conjectures and Refutations
  Conjectures and Refutations is a major philosophical work by Karl Popper that develops his theory of scientific knowledge through the ideas of falsifiability, critical testing, and the growth of knowledge via bold hypotheses and their refutation.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: The Undecidable
Triple: [Martin Davis, notableWork, The Undecidable]

The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.

Target entity: The Undecidable
Target entity description: The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.

• A. Forever Undecided
  Forever Undecided is a logic puzzle book by Raymond Smullyan that playfully explores Gödel’s incompleteness theorems through self-referential riddles and dialogues.
• B. Gödel, Escher, Bach
  Gödel, Escher, Bach is a Pulitzer Prize–winning interdisciplinary book by Douglas Hofstadter that explores deep connections between mathematics, art, music, and human consciousness.
• C. Entscheidungsproblem
  The Entscheidungsproblem is a foundational decision problem in mathematical logic that asks whether there exists a general algorithm to determine the truth or falsity of any given first-order logical statement.
• D. The Mind’s I
  The Mind’s I is a philosophical anthology edited by Douglas Hofstadter and Daniel Dennett that explores consciousness, self, and identity through essays, stories, and thought experiments.
• E. Conjectures and Refutations
  Conjectures and Refutations is a major philosophical work by Karl Popper that develops his theory of scientific knowledge through the ideas of falsifiability, critical testing, and the growth of knowledge via bold hypotheses and their refutation.
• F. None of above. chosen