Some Program Anomalies and the Parameter Theorem

DOI10.2307/2690395MaRDI QIDQ4203801zbMATH OpenOpenAlexFDO

Authors David J. Pokrass

Publication date 1989

Full work available at URL https://doi.org/10.2307/2690395

zbMATH Keywords

parameter theorem

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01)

Recommendations

• Parametrized quotation and self-reference
• Properties complementary to program self-reference
• A Mechanical Proof of the Unsolvability of the Halting Problem
• Properties Complementary to Program Self-reference
• The problem of termination of programs

Cited in

(2)

• Parametrized quotation and self-reference
• Pseudo-extensions of computable functions

This page was built for publication: Some Program Anomalies and the Parameter Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4203801)