Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | sci.logic, sci.math, sci.lang |
| Subject | Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out) |
| Date | 2025-11-14 11:44 +0100 |
| Message-ID | <10f7170$ju4$2@solani.org> (permalink) |
| References | <dKqcnTafh9KZJZr0nZ2dnZfqnPqdnZ2d@giganews.com> <10f7064$jag$2@solani.org> |
Cross-posted to 3 groups.
Hi, Descartes’ “divide problems into parts” works only for well-behaved, linear, decomposable systems. But its just that parts might end up as Schrödingers equation. It could be that stable diffusion is the new constraint solver. In a sense, stable diffusion models (or other generative AI) are functioning as probabilistic, fuzzy constraint solvers — but in a very different paradigm from classical logic or formal methods. But what was neglected? - Cybernetics (1940s–50s) Focused on feedback loops, control, and self-regulation in machines and biological systems. Showed that decomposition can fail because subparts are interdependent. - Chaos Theory (1960s–80s) Nonlinear deterministic systems can produce unpredictable, sensitive dependence on initial conditions. Decomposition into parts is tricky: small errors explode, and “solving subparts” may not help predict the whole. - Santa Fe Institute & Complex Systems (1980s–present) Studied emergent behavior, networks, adaptation, self-organization. Linear, reductionist thinking fails to capture dynamics of economic, social, and ecological systems. Bye Mild Shock schrieb: > Hi, > > How it started: > > https://conceptbase.sourceforge.net/ > > How its going: > > https://www.ibm.com/products/datastax > > The problem with claims such as " Formal languages, > such as KAOS, are based on predicate logic and > capture additional details about an application > in a precise manner. They also provide a foundation > for reasoning with information models." is that > every thing in the quoted sentence is wrong. > > Real AI systems scale by approximation, > vectorization, distributed representations, > and partial knowledge — not by globally > consistent logical models. No classical requirements > language or ontology captures the informal > cognitive machinery that makes > intelligence flexible. Intelligence needs the > whole messy cognitive spectrum. > > Somehow DataStax looks like n8n married AI embedding. > I hope Amazon, Meta, Google, etc.. get the message. > I don't worry about Microsoft, they might come with > > something from their Encarta corner and Copilot+ is > more Local AI. After all we need things like Wikidata > in a Robot and not in a Data Center. > > LoL > > Bye
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Rene Descartes "Discours de la méthode" has fizzled out Mild Shock <janburse@fastmail.fm> - 2025-11-14 11:27 +0100
Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out) Mild Shock <janburse@fastmail.fm> - 2025-11-14 11:44 +0100
Re: Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-14 11:10 -0800
NY is the next Detroit in 2035 (Was: Philosophical Twist due to negligence) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:12 +0100
Its a little sad story with NY (Was: NY is the next Detroit in 2035) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:25 +0100
Re: Its a little sad story with NY (Was: NY is the next Detroit in 2035) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:45 +0100
How to not be Artificial Intelligent [Boris the Loris deeply shocked] (Re: Philosophical Twist due to negligence) Mild Shock <janburse@fastmail.fm> - 2025-11-16 11:24 +0100
Abstraction refinement (CEGAR) etc.. [Community Blind Spot] (Was: How to not be Artificial Intelligent) Mild Shock <janburse@fastmail.fm> - 2025-11-16 12:05 +0100
The illusion of set theories [Computational Logic Primate] (Was: Abstraction refinement (CEGAR) etc.. [Community Blind Spot]) Mild Shock <janburse@fastmail.fm> - 2025-11-16 13:08 +0100
Not all logicians are primarily interested in "computation" (Re: The illusion of set theories [Computational Logic Primate]) Mild Shock <janburse@fastmail.fm> - 2025-11-16 16:32 +0100
AnythingLLM QNN/ONNX: Massiv Computations versus John Sowa (Re: Rene Descartes "Discours de la méthode" has fizzled out) Mild Shock <janburse@fastmail.fm> - 2025-11-25 20:07 +0100
Benchmark results DirectML versus QNN [Challenge for Geekbench AI] (Re: AnythingLLM QNN/ONNX: Massiv Computations versus John Sowa) Mild Shock <janburse@fastmail.fm> - 2025-11-25 20:17 +0100
csiph-web