Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
comp.theory
Conversations
About
comp.theory
1–30 of 23427
Mark all as read
Report abusive group
0 selected
olcott
, …
Richard Damon
193
10:22 AM
Here is what a computer scientist that has been published in CACM said about my work
On 8/18/2022 6:46 AM, Richard Damon wrote: > On 8/17/22 11:52 PM, olcott wrote: >> On 8/17/
unread,
Here is what a computer scientist that has been published in CACM said about my work
On 8/18/2022 6:46 AM, Richard Damon wrote: > On 8/17/22 11:52 PM, olcott wrote: >> On 8/17/
10:22 AM
wij
, …
Skep Dick
153
9:13 AM
Proposal: Definition of Infinity
On Thursday, 18 August 2022 at 14:01:23 UTC+2, richar...@gmail.com wrote: > Nothing. > lim, as
unread,
Proposal: Definition of Infinity
On Thursday, 18 August 2022 at 14:01:23 UTC+2, richar...@gmail.com wrote: > Nothing. > lim, as
9:13 AM
olcott
, …
Mikko
20
4:09 AM
Simulating Halt Deciders
On 2022-08-15 14:46:59 +0000, olcott said: > I am sick of people contradicting the verified facts.
unread,
Simulating Halt Deciders
On 2022-08-15 14:46:59 +0000, olcott said: > I am sick of people contradicting the verified facts.
4:09 AM
Mr Flibble
, …
Jeff Barnett
4
Aug 17
Olcott
On 8/17/2022 11:03 AM, olcott wrote: > On 8/17/2022 11:46 AM, Mr Flibble wrote: >> Olcott,
unread,
Olcott
On 8/17/2022 11:03 AM, olcott wrote: > On 8/17/2022 11:46 AM, Mr Flibble wrote: >> Olcott,
Aug 17
olcott
, …
Mr Flibble
8
Aug 17
Halting problem proofs refuted on the basis of software engineering ?
On Tue, 16 Aug 2022 18:19:56 -0500 olcott <NoOne@NoWhere.com> wrote: > This is an
unread,
Halting problem proofs refuted on the basis of software engineering ?
On Tue, 16 Aug 2022 18:19:56 -0500 olcott <NoOne@NoWhere.com> wrote: > This is an
Aug 17
B.H.
Aug 16
the 16 Afghan civilian victims of a US soldier's rampage on March 11, 2012 and ethical people who support them
1 https://www.businessinsider.com/us-soldier-kills-16-afghan-civilians-in-shooting-rampage-2012-3 My
unread,
the 16 Afghan civilian victims of a US soldier's rampage on March 11, 2012 and ethical people who support them
1 https://www.businessinsider.com/us-soldier-kills-16-afghan-civilians-in-shooting-rampage-2012-3 My
Aug 16
Jeff Barnett
, …
Skep Dick
633
Aug 15
A decider that can detect "pathological" cases as well as halting.
On Monday, 15 August 2022 at 03:17:38 UTC+2, richar...@gmail.com wrote: > > Wheee is this “
unread,
A decider that can detect "pathological" cases as well as halting.
On Monday, 15 August 2022 at 03:17:38 UTC+2, richar...@gmail.com wrote: > > Wheee is this “
Aug 15
olcott
, …
Otto J. Makela
235
Aug 15
Reviewers interested in an honest dialogue will acknowledge these key facts:
On 8/15/2022 8:36 AM, Otto J. Makela wrote: > olcott <NoOne@NoWhere.com> wrote: > >
unread,
Reviewers interested in an honest dialogue will acknowledge these key facts:
On 8/15/2022 8:36 AM, Otto J. Makela wrote: > olcott <NoOne@NoWhere.com> wrote: > >
Aug 15
wij
, …
Ben Bacarisse
4
Aug 15
NDTM == DTM ?
On Monday, 15 August 2022 at 02:28:16 UTC+8, richar...@gmail.com wrote: > On 8/14/22 2:07 PM, wij
unread,
NDTM == DTM ?
On Monday, 15 August 2022 at 02:28:16 UTC+8, richar...@gmail.com wrote: > On 8/14/22 2:07 PM, wij
Aug 15
wij
, …
Richard Damon
62
Aug 14
Is "This statement is false" a proposition?
On 8/14/22 4:28 PM, Skep Dick wrote: > On Sunday, 14 August 2022 at 20:08:13 UTC+2, richar...@
unread,
Is "This statement is false" a proposition?
On 8/14/22 4:28 PM, Skep Dick wrote: > On Sunday, 14 August 2022 at 20:08:13 UTC+2, richar...@
Aug 14
B.H.
3
Aug 13
clenise white, alexander white, jason kudurogianis, cvs
On Saturday, August 13, 2022 at 10:28:59 PM UTC-4, BH wrote: > On Saturday, August 13, 2022 at 10:
unread,
clenise white, alexander white, jason kudurogianis, cvs
On Saturday, August 13, 2022 at 10:28:59 PM UTC-4, BH wrote: > On Saturday, August 13, 2022 at 10:
Aug 13
Mr Flibble
, …
Jeff Barnett
41
Aug 13
Category errors
On Sat, 13 Aug 2022 14:57:22 -0600 Jeff Barnett <jbb@notatt.com> wrote: > On 8/13/2022 2:04
unread,
Category errors
On Sat, 13 Aug 2022 14:57:22 -0600 Jeff Barnett <jbb@notatt.com> wrote: > On 8/13/2022 2:04
Aug 13
wij
, …
Skep Dick
107
Aug 13
Repeating decimals are irrational (2)
On Saturday, 13 August 2022 at 23:37:01 UTC+8, wij wrote: > On Saturday, 13 August 2022 at 21:50:
unread,
Repeating decimals are irrational (2)
On Saturday, 13 August 2022 at 23:37:01 UTC+8, wij wrote: > On Saturday, 13 August 2022 at 21:50:
Aug 13
Python
, …
dklei...@gmail.com
11
Aug 13
Peter Olcott admitted his H is NOT an halt decider
On Friday, August 12, 2022 at 1:19:36 PM UTC-7, olcott wrote: > On 8/12/2022 3:09 PM, dklei...@
unread,
Peter Olcott admitted his H is NOT an halt decider
On Friday, August 12, 2022 at 1:19:36 PM UTC-7, olcott wrote: > On 8/12/2022 3:09 PM, dklei...@
Aug 13
olcott
, …
dklei...@gmail.com
34
Aug 13
Every rebuttal of H(P,P)==0 uses the strawman deception
On Friday, August 12, 2022 at 1:41:22 PM UTC-7, olcott wrote: > On 8/12/2022 3:22 PM, dklei...@
unread,
Every rebuttal of H(P,P)==0 uses the strawman deception
On Friday, August 12, 2022 at 1:41:22 PM UTC-7, olcott wrote: > On 8/12/2022 3:22 PM, dklei...@
Aug 13
Mr Flibble
, …
Richard Damon
6
Aug 11
Halting problem proofs refuted (H exists)
On 8/11/22 1:42 PM, Mr Flibble wrote: > Hi! > > I have an idea for a signaling simulating
unread,
Halting problem proofs refuted (H exists)
On 8/11/22 1:42 PM, Mr Flibble wrote: > Hi! > > I have an idea for a signaling simulating
Aug 11
Daniel Pehoushek
, …
Greta Baine
6
Aug 8
optimal cheap arbitrary bits: 5 cpu cycles per bit
On Friday, August 5, 2022 at 1:53:15 AM UTC-4, Daniel Pehoushek wrote: > On Thursday, August 4,
unread,
optimal cheap arbitrary bits: 5 cpu cycles per bit
On Friday, August 5, 2022 at 1:53:15 AM UTC-4, Daniel Pehoushek wrote: > On Thursday, August 4,
Aug 8
Daniel Pehoushek
, …
Greta Baine
9
Aug 8
linear transform from pspace to qspace solver bob
On Saturday, August 6, 2022 at 7:26:50 PM UTC-4, Daniel Pehoushek wrote: > On Friday, August 5,
unread,
linear transform from pspace to qspace solver bob
On Saturday, August 6, 2022 at 7:26:50 PM UTC-4, Daniel Pehoushek wrote: > On Friday, August 5,
Aug 8
B.H.
,
Rick1234567S
2
Aug 7
New protest policy.
On 8/7/2022 7:42 AM, BH wrote: > > As a retaliation for having been induced to share brilliant
unread,
New protest policy.
On 8/7/2022 7:42 AM, BH wrote: > > As a retaliation for having been induced to share brilliant
Aug 7
Thanveer Shaik
Aug 7
IEEE IIB - Call for Ph.D. thesis abstracts 2022
[ Apologies if you got multiple copies of this message] ------------------------------- Call for Ph.D
unread,
IEEE IIB - Call for Ph.D. thesis abstracts 2022
[ Apologies if you got multiple copies of this message] ------------------------------- Call for Ph.D
Aug 7
Thanveer Shaik
Aug 7
IEEE IIB - Call for Papers 2022
[ Apologies if you got multiple copies of this email] -----------------------------------------------
unread,
IEEE IIB - Call for Papers 2022
[ Apologies if you got multiple copies of this email] -----------------------------------------------
Aug 7
Malcolm McLean
, …
Keith Thompson
7
Aug 6
Anyone got a nice S-shaped function?
Malcolm McLean <malcolm.arthur.mclean@gmail.com> writes: > I'm looking for a nice S-
unread,
Anyone got a nice S-shaped function?
Malcolm McLean <malcolm.arthur.mclean@gmail.com> writes: > I'm looking for a nice S-
Aug 6
wij
,
Andy Walker
2
Aug 6
About Rubik cube problems
On 05/08/2022 23:02, wij wrote: > Is there any program that solves scrambled Rubik cube in 20
unread,
About Rubik cube problems
On 05/08/2022 23:02, wij wrote: > Is there any program that solves scrambled Rubik cube in 20
Aug 6
Newberry
,
B.H.
3
Aug 5
Does the halting oracle separate P from NP?
BH wrote: > On Thursday, August 4, 2022 at 10:15:32 AM UTC-4, Newberry wrote: >> Does the
unread,
Does the halting oracle separate P from NP?
BH wrote: > On Thursday, August 4, 2022 at 10:15:32 AM UTC-4, Newberry wrote: >> Does the
Aug 5
B.H.
Aug 5
A note to prospective employers who may be viewing this....
If you are thinking about hiring me, Philip White, and have navigated to this page via the links in
unread,
A note to prospective employers who may be viewing this....
If you are thinking about hiring me, Philip White, and have navigated to this page via the links in
Aug 5
m syadoz
, …
B.H.
7
Aug 4
Machine learning to detect diseases
On Thursday, July 28, 2022 at 10:30:32 AM UTC-4, BH wrote: > On Thursday, July 28, 2022 at 5:05:09
unread,
Machine learning to detect diseases
On Thursday, July 28, 2022 at 10:30:32 AM UTC-4, BH wrote: > On Thursday, July 28, 2022 at 5:05:09
Aug 4
wij
, …
Andy Walker
6
Aug 3
For a feasible strategy to solve Rubic
On Thursday, 4 August 2022 at 02:26:57 UTC+8, Andy Walker wrote: > On 03/08/2022 16:59, wij wrote:
unread,
For a feasible strategy to solve Rubic
On Thursday, 4 August 2022 at 02:26:57 UTC+8, Andy Walker wrote: > On 03/08/2022 16:59, wij wrote:
Aug 3
B.H.
Aug 1
A cryptology tip for those upset about cyber-security.
https://news.yahoo.com/thousands-lives-depend-transplant-network-121902476.html If you have your own
unread,
A cryptology tip for those upset about cyber-security.
https://news.yahoo.com/thousands-lives-depend-transplant-network-121902476.html If you have your own
Aug 1
Mr Flibble
, …
Richard Damon
7
Jul 31
memoization? ergo valid computable function (Halting Problem reprise)
On 7/31/22 8:23 PM, Mr Flibble wrote: > On Sun, 31 Jul 2022 20:21:08 -0400 > Richard Damon <
unread,
memoization? ergo valid computable function (Halting Problem reprise)
On 7/31/22 8:23 PM, Mr Flibble wrote: > On Sun, 31 Jul 2022 20:21:08 -0400 > Richard Damon <
Jul 31
Mr Flibble
, …
Richard Damon
19
Jul 31
Refutation of [Strachey 1965] and Halting Problem associated proofs
On Sun, 31 Jul 2022 20:24:54 -0400 Richard Damon <Richard@Damon-Family.org> wrote: > On 7/31
unread,
Refutation of [Strachey 1965] and Halting Problem associated proofs
On Sun, 31 Jul 2022 20:24:54 -0400 Richard Damon <Richard@Damon-Family.org> wrote: > On 7/31
Jul 31
