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: Recursive Functions and Intuitionistic Mathematics | Statement: [Stephen Kleene, notableWork, Recursive Functions and Intuitionistic Mathematics]

Target entity: Recursive Functions and Intuitionistic Mathematics
Context triple: [Stephen Kleene, notableWork, Recursive Functions and Intuitionistic Mathematics]

• A. Elements of Intuitionism
  Elements of Intuitionism is a foundational philosophical and logical treatise by Michael Dummett that systematically develops and defends intuitionistic logic and mathematics.
• B. Remarks on the Foundations of Mathematics
  Remarks on the Foundations of Mathematics is a posthumously published collection of Ludwig Wittgenstein’s later writings that critically examines the nature of mathematical truth, proof, and practice from a philosophical and language-centered perspective.
• C. Brouwer–Heyting–Kolmogorov interpretation
  The Brouwer–Heyting–Kolmogorov interpretation is a foundational explanation of intuitionistic logic that interprets logical connectives and proofs in terms of explicit constructions and algorithms rather than classical truth values.
• D. Hilbert’s program
  Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
• E. Kronecker’s finitism
  Kronecker’s finitism is a philosophical and mathematical stance asserting that only finite, constructible mathematical objects and proofs are legitimate, rejecting the existence of actual infinities.
• 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: Recursive Functions and Intuitionistic Mathematics
Triple: [Stephen Kleene, notableWork, Recursive Functions and Intuitionistic Mathematics]

Recursive Functions and Intuitionistic Mathematics is a seminal work by Stephen Kleene that develops the theory of recursive (computable) functions within the framework of intuitionistic logic and mathematics.

Target entity: Recursive Functions and Intuitionistic Mathematics
Target entity description: Recursive Functions and Intuitionistic Mathematics is a seminal work by Stephen Kleene that develops the theory of recursive (computable) functions within the framework of intuitionistic logic and mathematics.

• A. Elements of Intuitionism
  Elements of Intuitionism is a foundational philosophical and logical treatise by Michael Dummett that systematically develops and defends intuitionistic logic and mathematics.
• B. Remarks on the Foundations of Mathematics
  Remarks on the Foundations of Mathematics is a posthumously published collection of Ludwig Wittgenstein’s later writings that critically examines the nature of mathematical truth, proof, and practice from a philosophical and language-centered perspective.
• C. Brouwer–Heyting–Kolmogorov interpretation
  The Brouwer–Heyting–Kolmogorov interpretation is a foundational explanation of intuitionistic logic that interprets logical connectives and proofs in terms of explicit constructions and algorithms rather than classical truth values.
• D. Hilbert’s program
  Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
• E. Kronecker’s finitism
  Kronecker’s finitism is a philosophical and mathematical stance asserting that only finite, constructible mathematical objects and proofs are legitimate, rejecting the existence of actual infinities.
• F. None of above. chosen