Gian-Carlo Rota’s legacy and modern AI (Re: Would Poincaré miss the AI Boom?)

Liste des GroupesRevenir à s logic 
Sujet : Gian-Carlo Rota’s legacy and modern AI (Re: Would Poincaré miss the AI Boom?)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic
Date : 17. Jul 2025, 11:01:32
Autres entêtes
Message-ID : <105ahlr$2boci$2@solani.org>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.21
Hi,
Spotting Trojan Horses is a nice example
of creativity that also needs ground truth.
Gian-Carlo Rota was phamous for this truth:
"The lack of understanding of the simplest
facts of mathematics among philosophers
is appalling."
You can extend it to GitHub acrobats,
paper mill balerinas and internet trolls.
But mathematics itself had a hard time,
allowing other objects than numbers:
- Blissard's symbolic method
   He was primarily an applied mathematician and
   school inspector. His symbolic method was a way
   to represent and manipulate sequences algebraically
   using formal symbols.
- Gian-Carlo Rota (in the 1970s)
   Gian-Carlo Rota (in the 1970s) gave Blissard’s
   symbolic method a rigorous algebraic foundation. Rota
   admired the symbolic reasoning of 19th-century mathematicians
   and often described it as having a “magical” or “mystical”
   elegance — again hinting at interpretive, almost poetic, qualities.
- Umbral calculus
   Modern formalization of this method, often involving
   linear operators and algebraic structures. "Umbral"
   means “shadow” — the power-like expressions are
   symbolic shadows of actual algebra.
Bye
Mild Shock schrieb:
Henri Poincaré believed that mathematical
and scientific creativity came from a deep,
unconscious intuition that could not be
 captured by mechanical reasoning or formal
systems. He famously wrote about how insights
came not from plodding logic but from sudden
 illuminations — leaps of creative synthesis.
 But now we have generative AI — models like GPT — that:
 - produce poetry, proofs, stories, and code,
 - combine ideas in novel ways,
 - and do so by processing patterns in massive
    datasets, without conscious understanding.
 And that does seem to contradict Poincaré's belief
that true invention cannot come from automation.

Date Sujet#  Auteur
17 Jul11:01 * Gian-Carlo Rota’s legacy and modern AI (Re: Would Poincaré miss the AI Boom?)6Mild Shock
17 Jul11:13 `* Analogy as a Core of Intelligence (Human & Artificial) (Was: Gian-Carlo Rota’s legacy and modern AI)5Mild Shock
17 Jul13:34  `* Alain Colmerauer Analogy : Rational Terms / Rational Numbers (Re: Analogy as a Core of Intelligence (Human & Artificial))4Mild Shock
17 Jul13:55   `* FYI: Peter Aczel Memorial Conference [10th September 2025] (Was: Alain Colmerauer Analogy : Rational Terms / Rational Numbers)3Mild Shock
17 Jul22:16    `* s/Coq/Rocq not found (Was: FYI: Peter Aczel Memorial Conference [10th September 2025])2Mild Shock
17 Jul22:37     `- Wonder Years are Over: Next Step Mars (Re: s/Coq/Rocq not found)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal