Did Turing prove the undecidability of the halting problem?

Joel David Hamkins Theodor Nenu

Published in: CoRR (2024)

Keyphrases

machine intelligence
case study
description logics
answering queries
data mining
machine learning
clustering algorithm
image segmentation
bayesian networks
np hard