• CapeWearingAeroplane
    link
    fedilink
    English
    arrow-up
    1
    ·
    6 months ago

    I was thinking something similar: If you have the computer write in a formal language, designed in such a way that it is impossible to make an incorrect statement, I guess it could be possible to get somewhere with this