From Newsgroup: comp.theory

On 10/19/2025 7:39 PM, Mild Shock wrote:

Hi,

Now there is the neuro symbolic hybrid of tripple store and
artificial neural networks. Already in 2019 proposed an
embedded attention mechanism by Deepak Nathani et al.:

GraphMERT: Efficient and Scalable Distillation
of Reliable Knowledge Graphs from Unstructured Data https://www.researchgate.net/publication/396457862

Neurosymbolic 80M AI from Princeton beats GPT,
SuperIntelligence without OpenAI:
https://www.youtube.com/watch?v=xh6R2WR49yM

Have Fun!

Bye

*A similar idea*
Getting from Generative AI to Trustworthy AI:
What LLMs might learn from Cyc

Doug Lenat Gary Marcus July 31, 2023
https://arxiv.org/pdf/2308.04445
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

A couple of weeks ago or so, you wrote that you had urgent matters to
attend to in Real Life.

So why are you still spending all your waking hours posting on this
newsgroup? I can't believe these other matters have already been
concluded.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/20/2025 6:43 AM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

A couple of weeks ago or so, you wrote that you had urgent matters to
attend to in Real Life.

So why are you still spending all your waking hours posting on this newsgroup? I can't believe these other matters have already been
concluded.

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 2025-10-20 14:47:17 +0000, olcott said:

On 10/20/2025 6:43 AM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

A couple of weeks ago or so, you wrote that you had urgent matters to
attend to in Real Life.

So why are you still spending all your waking hours posting on this
newsgroup? I can't believe these other matters have already been
concluded.

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?
--
Mikko

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 2025-10-21 09:22:16 +0000, Richard Heathfield said:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

I wouldn't recommend him for any job that I understand enough that
my opinion matters. But that does not prevent from asking around
until someone hires.
--
Mikko

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

olcott <polcott333@gmail.com> wrote:

On 10/20/2025 6:43 AM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

A couple of weeks ago or so, you wrote that you had urgent matters to
attend to in Real Life.

So why are you still spending all your waking hours posting on this
newsgroup? I can't believe these other matters have already been
concluded.

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Even assuming you're right, being right does not make any money. There
is no money to be made from academic publishing (unless you're the
monopoly publisher).

Please consider getting back to building web services. Being right does
not make any money.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/21/2025 7:11 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 10/20/2025 6:43 AM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

A couple of weeks ago or so, you wrote that you had urgent matters to
attend to in Real Life.

So why are you still spending all your waking hours posting on this
newsgroup? I can't believe these other matters have already been
concluded.

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Even assuming you're right, being right does not make any money. There
is no money to be made from academic publishing (unless you're the
monopoly publisher).

Please consider getting back to building web services. Being right does
not make any money.

The ideas that I have used to conquer the Halting
Problem and Tarski Undefinability can be used to
eliminate AI Hallucination. Refuting the Halting
Problem will give me the credibility to get a job
doing this.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/21/2025 4:22 AM, Richard Heathfield wrote:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

Assuming that my refutation of the halting
problem gets published in a very reputable
journal and is widely accepted I would prefer
to get a job working on eliminating AI hallucination.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

olcott <polcott333@gmail.com> wrote:

On 10/21/2025 7:11 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 10/20/2025 6:43 AM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

A couple of weeks ago or so, you wrote that you had urgent matters to
attend to in Real Life.

So why are you still spending all your waking hours posting on this
newsgroup? I can't believe these other matters have already been
concluded.

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Even assuming you're right, being right does not make any money. There
is no money to be made from academic publishing (unless you're the
monopoly publisher).

Please consider getting back to building web services. Being right does
not make any money.

The ideas that I have used to conquer the Halting
Problem and Tarski Undefinability can be used to
eliminate AI Hallucination. Refuting the Halting
Problem will give me the credibility to get a job
doing this.

As a wellwisher, I would urge you as strongly as I possibly can to earn
money from what you already know you can do, rather than speculating on uncertain speculative ventures.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/21/2025 9:59 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 10/21/2025 7:11 AM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:

On 10/20/2025 6:43 AM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

[ .... ]

A couple of weeks ago or so, you wrote that you had urgent matters to >>>>> attend to in Real Life.

So why are you still spending all your waking hours posting on this
newsgroup? I can't believe these other matters have already been
concluded.

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Even assuming you're right, being right does not make any money. There
is no money to be made from academic publishing (unless you're the
monopoly publisher).

Please consider getting back to building web services. Being right does >>> not make any money.

Once it is proven that I have refuted the Halting
Problem and this same proof can be adapted to the
Tarski Undefinability theorem I will have established
credibility to pursue my life's passion and be
compensated for this.

The ideas that I have used to conquer the Halting
Problem and Tarski Undefinability can be used to
eliminate AI Hallucination. Refuting the Halting
Problem will give me the credibility to get a job
doing this.

As a wellwisher, I would urge you as strongly as I possibly can to earn
money from what you already know you can do, rather than speculating on uncertain speculative ventures.

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 21/10/2025 15:43, olcott wrote:

On 10/21/2025 4:22 AM, Richard Heathfield wrote:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

Assuming that my refutation of the halting
problem gets published in a very reputable
journal and is widely accepted I would prefer
to get a job working on eliminating AI hallucination.

Dude - you must realise that is never going to happen?

For the most part, you've lived with your delusions without too much harm to your way of life, but
this looks like an escalation, perhaps as a direct result of the advent of LLMs. Someone recently
posted an article by a psychiatrist explaining that is a recognised phenomenom that is becoming more
common these days...

Anyhow, unless you've been given a definite "two months left to live" type diagnosis [so you feel
you can ignore your debts], you need to give some thought to a backup plan which will actually
provide for your ongoing day-to-day security!


Mije.

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 2025-10-21 14:43:46 +0000, olcott said:

On 10/21/2025 4:22 AM, Richard Heathfield wrote:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

Assuming that my refutation of the halting
problem gets published in a very reputable
journal and is widely accepted I would prefer
to get a job working on eliminating AI hallucination.

Unlikely to happen before AI hallucination is eliminated to the
extent such elimination is considered desiderable.
--
Mikko

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/22/2025 3:44 AM, Mikko wrote:

On 2025-10-21 14:43:46 +0000, olcott said:

On 10/21/2025 4:22 AM, Richard Heathfield wrote:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

Assuming that my refutation of the halting
problem gets published in a very reputable
journal and is widely accepted I would prefer
to get a job working on eliminating AI hallucination.

Unlikely to happen before AI hallucination is eliminated to the
extent such elimination is considered desiderable.

We really don't want any damned liars.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 10/22/2025 5:20 AM, olcott wrote:

On 10/22/2025 3:44 AM, Mikko wrote:

On 2025-10-21 14:43:46 +0000, olcott said:

On 10/21/2025 4:22 AM, Richard Heathfield wrote:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

Assuming that my refutation of the halting
problem gets published in a very reputable
journal and is widely accepted I would prefer
to get a job working on eliminating AI hallucination.

Unlikely to happen before AI hallucination is eliminated to the
extent such elimination is considered desiderable.

We really don't want any damned liars.

lol. In your case: Pot Kettle? wow.
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 2025-10-22 12:20:08 +0000, olcott said:

On 10/22/2025 3:44 AM, Mikko wrote:

On 2025-10-21 14:43:46 +0000, olcott said:

On 10/21/2025 4:22 AM, Richard Heathfield wrote:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

Assuming that my refutation of the halting
problem gets published in a very reputable
journal and is widely accepted I would prefer
to get a job working on eliminating AI hallucination.

Unlikely to happen before AI hallucination is eliminated to the
extent such elimination is considered desiderable.

We really don't want any damned liars.

You will get lies anyway.
--
Mikko

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.theory

On 2025-10-22 19:37:10 +0000, Chris M. Thomasson said:

On 10/22/2025 5:20 AM, olcott wrote:

On 10/22/2025 3:44 AM, Mikko wrote:

On 2025-10-21 14:43:46 +0000, olcott said:

On 10/21/2025 4:22 AM, Richard Heathfield wrote:

On 21/10/2025 09:27, Mikko wrote:

On 2025-10-20 14:47:17 +0000, olcott said:

<snip>

I needed to earn some money to pay back my
retirement savings spend on cancer travel
and hotel, storm damage to my house and
appliance replacement and repair. I am a
C++ software engineer and was planning on
making money building web services. Now it
looks like my halting problem proof may be
a better choice.

Do you mean there are no more C++ jorbs?

You've seen his code; what do /you/ think?

Assuming that my refutation of the halting
problem gets published in a very reputable
journal and is widely accepted I would prefer
to get a job working on eliminating AI hallucination.

Unlikely to happen before AI hallucination is eliminated to the
extent such elimination is considered desiderable.

We really don't want any damned liars.

lol. In your case: Pot Kettle? wow.

No, the Pot did not lie.
--
Mikko

--- Synchronet 3.21a-Linux NewsLink 1.2