• SpaceDuck@feddit.org
    link
    fedilink
    English
    arrow-up
    1
    ·
    9 hours ago

    Is that relevant? Mathematicians will use tools and computers that calculate for them too. Are we saying they should all do it in their heads?