Another beautiful day doing math that has no real world applications (Re: Prolog totally missed the AI Boom)

Sujet : Another beautiful day doing math that has no real world applications (Re: Prolog totally missed the AI Boom)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.math
Date : 20. Mar 2025, 20:12:09

Autres entêtes

Message-ID : <4318f66c-e29b-a8bc-3f54-3c87b23feca2@fastmail.fm>
References : 1 2
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101 Firefox/128.0 SeaMonkey/2.53.20

Hi,
I guess:
> category theory is to set theory
>
> what
>
> autograd is to calculus
LoL
Bye
See also:
Another beautiful day doing math that has no real world applications
https://x.com/MathMatize/status/1902708970306891901
sobriquet schrieb:

Set theory relates to logic as category theory relates to... ?
https://www.youtube.com/watch?v=1KUhLHlgG2Q

Date	Sujet	#	Auteur
22 Feb 25	Prolog totally missed the AI Boom	9	Mild Shock
22 Feb 25	Auto-Encoders as Prolog Fact Stores (Re: Prolog totally missed the AI Boom)	4	Mild Shock
23 Feb 25	Ignorance in ILP circles confirmed (Re: Auto-Encoders as Prolog Fact Stores)	1	Mild Shock
19 Mar 25	Re: Auto-Encoders as Prolog Fact Stores (Re: Prolog totally missed the AI Boom)	1	Mild Shock
19 Mar 25	Neuro infused logic programming [NILP] (Re: Auto-Encoders as Prolog Fact Stores)	1	Mild Shock
20 Mar 25	Re: Prolog totally missed the AI Boom	4	sobriquet
20 Mar 25	Another beautiful day doing math that has no real world applications (Re: Prolog totally missed the AI Boom)	1	Mild Shock
20 Mar 25	Re: Another beautiful day doing math that has no real world applications (Re: Prolog totally missed the AI Boom)	2	Mild Shock
21 Mar 25	Re: Another beautiful day doing math that has no real world applications (Re: Prolog totally missed the AI Boom)	1	sobriquet

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal