@online{huang2024halting,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Halting Theorem and Reducibility},
  date         = {2024-05-20},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/halting-theorem-and-reducibility/},
  langid       = {english},
  abstract     = {Halting theorem \# Questo è un problema fondamentale, che abbiamo trattato anche in Fondamenti teorica\#Halting problem , ma qui lo ritrattiamo, perché così lo rifacciamo per bene. In parte è stato trattato anche al corso di Logica. Enunciato Halting theorem \# Questo è molto simile}
}