Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!usenet.goja.nl.eu.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: Was Poincare crushed by the New
Date: Sat, 4 Jan 2025 09:59:10 +0100
Message-ID: <vlat8s$26g58$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 4 Jan 2025 08:59:08 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2310312"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:zBoJnBVv7K6rbMBHWsSdqk5TxkU=
X-User-ID: eJwVxckRgDAMBLCW4tuUs0vs/ktg0EdhKfmWZ6THxqJVqLMOiSrGH2UIA9XsXsVyvJAP5hyAPXI6ZesOyz9rZBZe
X-Mozilla-News-Host: news://news.solani.org:119
Bytes: 1748
Lines: 22


Poincare had quite some problems with the
formal revolution that took place as well
in the last 100 or more years, starting with

things like naive set theory and its antinomies,
ending with computer formalized proofs of the Keppler
packing nowadays. He wrote a lengthy book:

Science and method
by Poincaré, Henri, 1854-1912
https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.
Mostlikely Poincaré nowadays would be a form of

Sabine Hossenfelder with 100 YouTube videos and
possibly many followers. Poincaré faced the
destiny of any old fart that became irrelevant

over the time and turned into a commentator.