• Farooq@realbitcoin.cash
    link
    fedilink
    arrow-up
    1
    ·
    edit-2
    10 hours ago

    I didn’t mean humans can solve ALL undecidable problems. As I have written in me reply to wicked, a programmer usually writes loops and the turing machine cannot decide their halting, for a vast majority of them.