Enterprise Architect | 30+ Years in NZ Public Sector, Banking & Telco | Linux Pioneer | Cloud/AI/TOGAF Expert | Fixing Transformations at Kāinga Ora | Views fro
We need another $40 million and Cabinet wants the full breakdown next week, or we’re dead.”
That was the exact sentence a programme director dropped on me one Monday morning in Wellington.
I had seven days to save a multi-year, multi-agency programme.
https://t.co/PYnFwlPzf6
@Viwoods_Aipaper I ordered an AIpaper Mini a week ago and my order is still sitting there at "We're preparing these items for shipping." What is the story, also email your service email and no reply. What is the story?
Check out my latest article: The Lost Logical Machine of Horst Wessel (the Logician), Part 2: The Rain Man Effect https://t.co/FHuxNMmIwP via @LinkedIn
Logicians, neuro-symbolic researchers, neuromorphic engineers: who builds the first open-source prototype? DM me. Let's revive it. Full article in thread 1. #LogicAndAI#CommonsenseReasoning@elonmusk 🚀
Wire NTP into a neuro-symbolic LLM: hallucinations blocked, commonsense native, every inference with a proof certificate. 30 years ahead, ready now. #ExplainableAI#XAI
The heart: the logische Maschine deduction engine. Massive parallel token-rewriting on multisets of signed formulas. Substructural, polynomial on large fragments, terminates in full FO logic. Spiking neural network vibes. #SymbolicAI#LargeLanguageModels
Forget Leibnizian identity. NTP's "starke Ununterscheidbarkeit" (strong indiscernibility) is decidable, context-aware, and stricter. Neuroscientists see cortical binding in it. Perfect for perceptual AI. #NeuroSymbolicAI#PhilosophicalLogic
Definite descriptions explode combinatorically in classical logic. NTP treats uniqueness as a primitive with its own opposition square—cleaner than Russell, no exponential mess in nested cases. #KnowledgeRepresentation#AIreasoning
Classical squares of opposition? Outdated. NTP uses non-traditional hexadecagons with strict/lax consequence relations for native typicality and exceptions. Common-sense reasoning built-in, not bolted on. #CommonsenseReasoning#NonClassicalLogic
LLMs hallucinate because they conflate existence with predication. NTP fixes this: predication ℳ is independent of existence E!. "All unicorns have horns" is true, even if unicorns don't exist. No more inventing entities. #SymbolicAI#ExplainableAI
1991–1996, Humboldt Berlin. I was Horst Wessel's only Western student during the post-Wall chaos. Nightly seminars on logic forged NTP: Non-Traditional Predication Theory. A deduction engine for true AI reasoning, not statistical prediction. Part 1 of the forgotten story: https://t.co/QsWKukE3iR #NeuroSymbolicAI #LogicAndAI
Check out my latest article: The Lost Logical Machine of Horst Wessel (the Logician): A Forgotten Path to Rigorous AI Reasoning, Part 1 https://t.co/gRYwpUrs3l via @LinkedIn
He also knew two things: 🫣 PowerPoint would not move a single dollar 🫣 Without a bullet-proof, minister-readable design paper, the extra funding was gone
So I cleared my diary, locked the door, and wrote.
https://t.co/PYnFwlPzf6