On 6/9/2025 4:53 AM, John Clark wrote:
On Sun, Jun 8, 2025 at 7:25 PM Brent Meeker <[email protected]> wrote:
...
/> I've long thought that computers would take over mathematics,
but I thought it would be software instantianting logic, like
Prolog. How ironic that mathematics is taken over by reasoners
that no more can explain how we do it than Poincaire' could./
*Until about a year ago the only thing in the known universe that
could do high level mathematical research was the human brain, but now
there are 2 things that can do it. Maybe we shouldn't be too surprised
thatit does it the same way we do, but much much faster.
*
We /don't/ know that it does it the same way we do. We just fail to
know how either one of us does it.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/everything-list/4b21e0a8-7426-461e-b0bd-fbfcc06984b9%40gmail.com.
