beep@piefed.world to Technology@lemmy.worldEnglish · 2 months agoMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square46linkfedilinkarrow-up160arrow-down126file-textcross-posted to: tech@piefed.world
arrow-up134arrow-down1external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to Technology@lemmy.worldEnglish · 2 months agomessage-square46linkfedilinkfile-textcross-posted to: tech@piefed.world
cross-posted from: https://piefed.world/c/tech/p/1309816/mathematicians-are-grappling-with-the-possibility-that-ai-might-eclipse-them
minus-square8baanknexer@lemmy.worldlinkfedilinkEnglisharrow-up1·2 months agoHow so? Particularly in intuitionist logic it would seem to me that they are the same thing.
How so? Particularly in intuitionist logic it would seem to me that they are the same thing.