Re: Log i = 0

On 05/26/2025 02:28 AM, efji wrote:

Le 26/05/2025 à 04:22, sobriquet a écrit :
>

>
I'm just interested in math and science at an abstract level from a
historical perspective and how technology (AI in particular) has the
potential to transform education and the dissemination/accessibility
of knowledge and understanding.
>
https://www.quantamagazine.org/mathematical-beauty-truth-and-proof-in-
the-age-of-ai-20250430/
>

>
Thanks for the link. Interesting paper, especially for its last part
about the future of mathematics: are the mathematicians going to become,
in a close future, like literature department researchers, not producing
results any more but commenting and trying to understand the results of AI?
>
I was not aware of the large collaborative project launched by Terence
Tao on "magmas", that has been completed a few weeks ago after the test
of 22 028 942 = 4694*(4694-1) possible equational laws, both manually
and automatically. The preliminary paper is here :
https://teorth.github.io/equational_theories/paper.pdf
>

They have some of those, they're sometimes called "historians of
mathematics" about "operator calculus".
The old idea "there's no royal road to geometry" still has that
it's nice to have a map.  (And a memory.)
The equi-interpretability of mathematics according to model theory
is a pretty fungible formalism, then though that completions get
into the infinitary thus superclassical reasoning, then to arrive
at addition-formulae and operator-invariants as the usual sorts
greatest analytic methods with analyticity, like the logarithm.