Re:Mathematicians welcome computer-assisted proof in ‘grand ...
by Tainnor on Saturday June 19, 2021 @04:32PM
(#27564211)
That may very well be the case, but to a person starting out right now, those foundations seem to be lacking right now (or at least are not easily discoverable).
[ Parent
| on HN ]
There are no comments on this comment yet.