alt Hacker NewsThe Math community can "not use" a proof? How would that work? It's a little like coloured functions (async etc) - you have 'human proved' vs 'machine proved'?
Replies
simianwords • today at 10:22 AM
Are you suggesting that a human can't have the agency to decide whether to use it or not?
➕ show 1 reply
The dichotomy is more 'human understood' vs 'not human understood', I think