Re: Is Intel exceptionally unsuccessful as an architecture designer?

On Mon, 07 Oct 2024 12:59:11 -0400, Stefan Monnier wrote:

"Proof by computer" can mean many different things.  The 1976 proof by
Appel&Haken failed to convince a number of mathematicians both because
of the use of a computer and because of the "inelegant", "brute force"
approach.

It does rather change the notion of mathematical proof to something more
akin to a laboratory experiment, except the laboratory only exists inside
a computer, don’t you think?

In other words, mathematics looks like it is turning into an actual
science.