The origins of the halting problem

DOI10.1016/J.JLAMP.2021.100687OpenAlexW3162666772MaRDI QIDQ2043819

Salvador Lucas

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100687

zbMATH Keywords

halting problemprogram terminationprinting problem

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• The Definition of Universal Turing Machine
• Gödel numberings of partial recursive functions
• Recursive Unsolvability of a problem of Thue
• An impossible program
• Systems of Logic Based on Ordinals^†
• Recursively enumerable sets of positive integers and their decision problems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The origins of the halting problem