Showing 1 - 3 results of 3 for search '"halting problem"', query time: 0.08s Refine Results
  1. 1
    Modelling Qualia with Physical Computers

    Modelling Qualia with Physical Computers by Zoltán Sóstai

    Published 2024-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Machines that halt resolve the undecidability of artificial intelligence alignment

    Machines that halt resolve the undecidability of artificial intelligence alignment by Gabriel A. Melo, Marcos R. O. A. Máximo, Nei Y. Soma, Paulo A. L. Castro

    Published 2025-05-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Explaining the undecidability of first-order logic

    Explaining the undecidability of first-order logic by Timm Lampert, Anderson Nakano

    Published 2024-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: