A variant of a recursively unsolvable problem (1946)

E1754073 UNEXPLORED

"A variant of a recursively unsolvable problem" (1946) is a seminal paper by logician Emil Post that advanced the theory of computability and undecidable problems in mathematical logic.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
A variant of a recursively unsolvable problem (1946) canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Emil Post → notableWork → A variant of a recursively unsolvable problem (1946) ⓘ