Csoportok
Bejelentkezés
Csoportok
comp.theory
Beszélgetések
Névjegy
Visszajelzés küldése
Súgó
info
A Google Csoportok már nem támogatja az új Usenet-bejegyzéseket és -feliratkozásokat. A korábbi tartalmak továbbra is megtekinthetők.
Dismiss
További információ
comp.theory
Kapcsolatfelvétel a tulajdonosokkal és a kezelőkkel
46504/1–30.
Összes megjelölése olvasottként
Csoport bejelentése
0 kiválasztva
polcot2
, …
olcott
39
febr. 22.
Converting Linz H applied to ⟨H⟩ ⟨H⟩ to its self contradictory version
On 2/22/2024 3:21 AM, Mikko wrote: > On 2024-02-22 02:43:15 +0000, olcott said: > >> On 2
olvasatlan,
Converting Linz H applied to ⟨H⟩ ⟨H⟩ to its self contradictory version
On 2/22/2024 3:21 AM, Mikko wrote: > On 2024-02-22 02:43:15 +0000, olcott said: > >> On 2
febr. 22.
olcott
, …
Mikko
11
febr. 22.
Ben Bacarisse inaccurate disparagement of my work
On 2/22/2024 3:01 AM, Mikko wrote: > On 2024-02-21 18:53:32 +0000, olcott said: > >> On 2
olvasatlan,
Ben Bacarisse inaccurate disparagement of my work
On 2/22/2024 3:01 AM, Mikko wrote: > On 2024-02-21 18:53:32 +0000, olcott said: > >> On 2
febr. 22.
Ben Bacarisse
, …
olcott
42
febr. 22.
Linz's proofs.
On 2/22/2024 2:58 AM, Mikko wrote: > On 2024-02-20 14:16:55 +0000, olcott said: > >> On 2
olvasatlan,
Linz's proofs.
On 2/22/2024 2:58 AM, Mikko wrote: > On 2024-02-20 14:16:55 +0000, olcott said: > >> On 2
febr. 22.
immibis
, …
Richard Damon
24
febr. 22.
I got a reply from Professor Macias [he does not know about Turing machines]
On 2/22/24 12:19 AM, olcott wrote: > On 2/21/2024 11:10 PM, immibis wrote: >> On 22/02/24 03
olvasatlan,
I got a reply from Professor Macias [he does not know about Turing machines]
On 2/22/24 12:19 AM, olcott wrote: > On 2/21/2024 11:10 PM, immibis wrote: >> On 22/02/24 03
febr. 22.
wij
, …
Ben Bacarisse
3
febr. 21.
ℙ≠ℕℙ proof ('official')
wij <wyni...@gmail.com> writes: Your argument is just the usual "I can't think how it
olvasatlan,
ℙ≠ℕℙ proof ('official')
wij <wyni...@gmail.com> writes: Your argument is just the usual "I can't think how it
febr. 21.
Dan Cross
, …
Richard Damon
194
febr. 20.
Purpose of this group?
On 2/20/24 8:59 AM, olcott wrote: > On 2/20/2024 6:34 AM, Richard Damon wrote: >> On 2/19/24
olvasatlan,
Purpose of this group?
On 2/20/24 8:59 AM, olcott wrote: > On 2/20/2024 6:34 AM, Richard Damon wrote: >> On 2/19/24
febr. 20.
olcott
, …
Richard Damon
50
febr. 19.
Linz H' is merely the self-contradictory form of Linz H applied to ⟨H⟩
On 2/19/2024 6:48 AM, Richard Damon wrote: > On 2/19/24 12:58 AM, olcott wrote: >> On 2/18/
olvasatlan,
Linz H' is merely the self-contradictory form of Linz H applied to ⟨H⟩
On 2/19/2024 6:48 AM, Richard Damon wrote: > On 2/19/24 12:58 AM, olcott wrote: >> On 2/18/
febr. 19.
immibis
febr. 19.
x=2-x is self-referential, therefore unsolvable
"x=2-x. What is x (natural number)?" is self-referential. Self-referential questions have
olvasatlan,
x=2-x is self-referential, therefore unsolvable
"x=2-x. What is x (natural number)?" is self-referential. Self-referential questions have
febr. 19.
olcott
, …
immibis
67
febr. 18.
Linz Ĥ applied to ⟨Ĥ⟩ is the self-contradictory form of Olcott Ȟ applied to ⟨Ȟ⟩
On 18/02/24 23:36, olcott wrote: > On 2/18/2024 12:22 PM, Richard Damon wrote: >> On 2/18/24
olvasatlan,
Linz Ĥ applied to ⟨Ĥ⟩ is the self-contradictory form of Olcott Ȟ applied to ⟨Ȟ⟩
On 18/02/24 23:36, olcott wrote: > On 2/18/2024 12:22 PM, Richard Damon wrote: >> On 2/18/24
febr. 18.
wij
,
immibis
4
febr. 18.
ℙ!=ℕℙ proof
On 18/02/24 10:51, wij wrote: > On Mon, 2024-02-05 at 20:59 +0100, immibis wrote: >> On 2/02
olvasatlan,
ℙ!=ℕℙ proof
On 18/02/24 10:51, wij wrote: > On Mon, 2024-02-05 at 20:59 +0100, immibis wrote: >> On 2/02
febr. 18.
olcott
, …
Richard Damon
181
febr. 16.
When the Linz Ĥ is required to report on its own behavior both answers are wrong
On 2/16/24 5:56 PM, olcott wrote: > On 2/16/2024 4:08 PM, Richard Damon wrote: >> On 2/16/24
olvasatlan,
When the Linz Ĥ is required to report on its own behavior both answers are wrong
On 2/16/24 5:56 PM, olcott wrote: > On 2/16/2024 4:08 PM, Richard Damon wrote: >> On 2/16/24
febr. 16.
wij
, …
immibis
3
febr. 16.
A problem about prime number
On 16/02/24 22:12, wij wrote: > I just wrote a short c++ program to test prime numbers. The
olvasatlan,
A problem about prime number
On 16/02/24 22:12, wij wrote: > I just wrote a short c++ program to test prime numbers. The
febr. 16.
olcott
, …
Richard Damon
66
febr. 12.
Refuting the Tarski Undefinability Theorem
On 2/11/24 11:31 PM, olcott wrote: > On 2/11/2024 9:24 PM, Richard Damon wrote: >> On 2/11/
olvasatlan,
Refuting the Tarski Undefinability Theorem
On 2/11/24 11:31 PM, olcott wrote: > On 2/11/2024 9:24 PM, Richard Damon wrote: >> On 2/11/
febr. 12.
Ross Finlayson
febr. 11.
Re: Question words, and what's an answer
On 08/05/2023 05:27 PM, Ross Finlayson wrote: > On Sunday, June 18, 2023 at 9:29:01 PM UTC-7, Ross
olvasatlan,
Re: Question words, and what's an answer
On 08/05/2023 05:27 PM, Ross Finlayson wrote: > On Sunday, June 18, 2023 at 9:29:01 PM UTC-7, Ross
febr. 11.
olcott
, …
Richard Damon
27
febr. 5.
To understand the misconception of mathematical incompleteness...
On 2/5/24 9:45 AM, olcott wrote: > On 2/5/2024 6:33 AM, Richard Damon wrote: >> On 2/4/24 11
olvasatlan,
To understand the misconception of mathematical incompleteness...
On 2/5/24 9:45 AM, olcott wrote: > On 2/5/2024 6:33 AM, Richard Damon wrote: >> On 2/4/24 11
febr. 5.
immibis
, …
Richard Damon
41
febr. 5.
Why does Olcott continue to ignore the finite/infinite sequence formulation of the halting problem?
On 2/5/24 2:41 PM, immibis wrote: > On 1/02/24 04:26, Richard Damon wrote: >> On 1/31/24 9:
olvasatlan,
Why does Olcott continue to ignore the finite/infinite sequence formulation of the halting problem?
On 2/5/24 2:41 PM, immibis wrote: > On 1/02/24 04:26, Richard Damon wrote: >> On 1/31/24 9:
febr. 5.
wij
, …
Ross Finlayson
994
febr. 5.
Another rebuttal of Halting Problem?
On 02/05/2024 01:00 PM, immibis wrote: > On 31/01/24 18:11, olcott wrote: >> On 1/31/2024 11
olvasatlan,
Another rebuttal of Halting Problem?
On 02/05/2024 01:00 PM, immibis wrote: > On 31/01/24 18:11, olcott wrote: >> On 1/31/2024 11
febr. 5.
olcott
, …
immibis
84
febr. 5.
Re: The Psychology of Self-Reference
On 31/01/24 18:11, immibis wrote: > On 1/31/24 16:40, olcott wrote: >> On 1/31/2024 6:30 AM,
olvasatlan,
Re: The Psychology of Self-Reference
On 31/01/24 18:11, immibis wrote: > On 1/31/24 16:40, olcott wrote: >> On 1/31/2024 6:30 AM,
febr. 5.
olcott
, …
immibis
15
febr. 5.
H correctly rejects D as non-halting
On 4/02/24 00:14, olcott wrote: > On 2/3/2024 4:16 PM, Richard Damon wrote: >> On 2/3/24 4:
olvasatlan,
H correctly rejects D as non-halting
On 4/02/24 00:14, olcott wrote: > On 2/3/2024 4:16 PM, Richard Damon wrote: >> On 2/3/24 4:
febr. 5.
olcott
, …
immibis
19
febr. 5.
Does this criteria prove that Y calls X in infinite recursion?
On 2/02/24 15:46, olcott wrote: > On 2/2/2024 4:49 AM, Mikko wrote: >> On 2024-02-01 17:17:
olvasatlan,
Does this criteria prove that Y calls X in infinite recursion?
On 2/02/24 15:46, olcott wrote: > On 2/2/2024 4:49 AM, Mikko wrote: >> On 2024-02-01 17:17:
febr. 5.
olcott
, …
Richard Damon
10
jan. 31.
H is necessarily correct to reject D as non-halting [tautology]
On 1/31/24 10:41 AM, olcott wrote: > On 1/31/2024 6:31 AM, immibis wrote: >> On 1/31/24 04:
olvasatlan,
H is necessarily correct to reject D as non-halting [tautology]
On 1/31/24 10:41 AM, olcott wrote: > On 1/31/2024 6:31 AM, immibis wrote: >> On 1/31/24 04:
jan. 31.
wij
jan. 31.
Easy version of P!=NP proof
ANPC::= (Another NPC) Set of decision problems that additional information c must be provided to
olvasatlan,
Easy version of P!=NP proof
ANPC::= (Another NPC) Set of decision problems that additional information c must be provided to
jan. 31.
immibis
jan. 29.
Another definition of the Halting Problem
Every Turing machine/input pair has an execution sequence (term invented by me. Richard and Mikko
olvasatlan,
Another definition of the Halting Problem
Every Turing machine/input pair has an execution sequence (term invented by me. Richard and Mikko
jan. 29.
immibis
jan. 28.
Every Turing machine/input pair has one and only one execution sequence
Olcott cannot show any Turing machine/input pair that has more than one.
olvasatlan,
Every Turing machine/input pair has one and only one execution sequence
Olcott cannot show any Turing machine/input pair that has more than one.
jan. 28.
olcott
, …
immibis
24
jan. 28.
The directly executed D(D) does not halt even though it looks like it does
On 1/28/24 01:35, olcott wrote: > On 1/27/2024 6:15 PM, Richard Damon wrote: >> On 1/27/24 6
olvasatlan,
The directly executed D(D) does not halt even though it looks like it does
On 1/28/24 01:35, olcott wrote: > On 1/27/2024 6:15 PM, Richard Damon wrote: >> On 1/27/24 6
jan. 28.
wij
,
Mikko
6
jan. 27.
About building a "general logic based on computation"
On Sat, 2024-01-27 at 11:49 +0200, Mikko wrote: > On 2024-01-21 16:10:34 +0000, wij said: >
olvasatlan,
About building a "general logic based on computation"
On Sat, 2024-01-27 at 11:49 +0200, Mikko wrote: > On 2024-01-21 16:10:34 +0000, wij said: >
jan. 27.
olcott
, …
Richard Damon
279
jan. 27.
Michael Sipser of MIT validates the notion of a simulating halt decider
On 1/27/24 11:22 AM, olcott wrote: > On 1/27/2024 6:28 AM, immibis wrote: >> On 1/27/24 00:
olvasatlan,
Michael Sipser of MIT validates the notion of a simulating halt decider
On 1/27/24 11:22 AM, olcott wrote: > On 1/27/2024 6:28 AM, immibis wrote: >> On 1/27/24 00:
jan. 27.
olcott
, …
immibis
12
jan. 25.
The directly executed D(D) does not halt
On 1/25/24 16:04, olcott wrote: > On 1/25/2024 7:16 AM, immibis wrote: >> On 1/24/24 20:10,
olvasatlan,
The directly executed D(D) does not halt
On 1/25/24 16:04, olcott wrote: > On 1/25/2024 7:16 AM, immibis wrote: >> On 1/24/24 20:10,
jan. 25.
olcott
, …
Richard Damon
3
jan. 24.
Tarski anchors his whole proof in the Liar Paradox
On 1/24/24 12:46 PM, olcott wrote: > *Tarski anchors his whole proof in the Liar Paradox* >
olvasatlan,
Tarski anchors his whole proof in the Liar Paradox
On 1/24/24 12:46 PM, olcott wrote: > *Tarski anchors his whole proof in the Liar Paradox* >
jan. 24.
wij
, …
Mikko
12
jan. 24.
Is this a paradox? what is 'equal'?
On 2024-01-23 18:46:52 +0000, wij said: > https://en.wikipedia.org/wiki/Set_(mathematics) > A
olvasatlan,
Is this a paradox? what is 'equal'?
On 2024-01-23 18:46:52 +0000, wij said: > https://en.wikipedia.org/wiki/Set_(mathematics) > A
jan. 24.