• SrTobi@feddit.de
    link
    fedilink
    arrow-up
    4
    ·
    1 year ago

    As a theorem prove enjoyer, I don’t get why people are so obsessed with variables in their exponents. Is it undecidable? Bad. Is it decidable? Good. That’s it fundamentally.