beep@piefed.world to TechnologyEnglish · 5 days agoMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgexternal-linkmessage-square46linkfedilinkarrow-up160arrow-down126file-textcross-posted to: [email protected]
arrow-up134arrow-down1external-linkMathematicians are grappling with the possibility that AI might eclipse themwww.understandingai.orgbeep@piefed.world to TechnologyEnglish · 5 days agomessage-square46linkfedilinkfile-textcross-posted to: [email protected]
cross-posted from: https://piefed.world/c/tech/p/1309816/mathematicians-are-grappling-with-the-possibility-that-ai-might-eclipse-them
minus-square8baanknexerlinkfedilinkEnglisharrow-up1·4 days 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.