Re: Is Intel exceptionally unsuccessful as an architecture designer?

On 01/10/2024 23:09, MitchAlsup1 wrote:

On Tue, 1 Oct 2024 19:07:18 +0000, Niklas Holsti wrote:
 

On 2024-10-01 21:20, MitchAlsup1 wrote:

On Tue, 1 Oct 2024 15:51:36 +0000, Thomas Koenig wrote:
>

Mathematics is not a sciene under this definition, by the way.

>
Indeed, Units of forward progress in Math are done with formal
proofs.

>
>
Yes, in the end, but it is interesting that a lot of the progress in
mathematics happens thruogh the invention or intuition of /conjectures/,
which may eventually be proven correct and true, or incorrect and
needing modification.

 Mathematical conjectures have a spectrum of "solidity" often more
solid in one branch of math than in another.
 

I am not entirely sure what you mean by that.
A conjecture is a hypothesis that you have reasonable justification for believing is true, but which is not proven to be true (then it becomes a theorem).  Some conjectures have been confirmed empirically to a large degree (such as the Riemann hypothesis) which is not proof, but can be seen as strengthening the conjecture.  Others, such as the continuum hypothesis, not only have no empirical evidence but have been proven to be independent of our usual ZF set theory axioms - no evidence either way can be found.
There are also some mathematicians who have a philosophy of viewing some kinds of proofs as "better" than others.  Some dislike "proof by computer", and don't consider the four-colour theorem to be a proven theorem yet.  Others are "constructivists" - they are not happy with merely a proof that some solution must exist, they only consider the hypothesis properly proven when they have a construction for a solution.   In that sense, a given conjecture may have more "solidity" in one /school/ of mathematics than in another.
But I don't quite see how a single conjecture could have more "solidity" in one /branch/ of mathematics than another.  An example or two might help.

An open (neither proved nor disproved) conjecture often collects lots of
"observed evidence", either by suggesting some interesting corollaries
or analogies that are then proved independently, or by surviving
energetic efforts to find counterexamples to the conjecture. In this
sense an open conjecture resembles a theory in physics.

 The solution to Fermat's last theorem used a large series of
then conjectures in order to demonstrate that the solution
was correct.
 

Yes - and then those supporting conjectures were proven and morphed into theorems, with the knock-on effect of making everything higher up a proven theorem.
This is very common in mathematics - you develop conditional proofs building on assuming a conjecture is true, and then you (or someone else) goes back and proves that conjecture later, or perhaps finds another path around that part.  For many theorems in mathematics, the complete proof is a /very/ long and winding path.