vix.ing · top · new · best · stats · spec

Theodor Nenu

  1. Did Turing prove the undecidability of the halting problem?
    2024/06/30 by Joel David Hamkins, Theodor Nenu, Hamkins, Joel David +1 · 5 voices · 1 citation
    Computer Science · #Computability, Logic, AI Algorithms