comp.software-eng

1–30 of 36345

0 selected

olcott, … Richard Damon4

Jul 18

Re: Picking up where Mike Terry left off: Does H(P,P) correctly simulate its input ?

On 7/18/22 9:03 AM, olcott wrote: > On 7/18/2022 5:56 AM, Richard Damon wrote: >> On 7/17/22

unread,

Re: Picking up where Mike Terry left off: Does H(P,P) correctly simulate its input ?

On 7/18/22 9:03 AM, olcott wrote: > On 7/18/2022 5:56 AM, Richard Damon wrote: >> On 7/17/22

Jul 18

olcott, … Richard Damon51

Jul 17

Halting problem proofs refuted on the basis of software engineering

On 7/17/22 1:00 PM, olcott wrote: > On 7/16/2022 2:28 PM, Mike Terry wrote: >> On 16/07/2022

unread,

Halting problem proofs refuted on the basis of software engineering

On 7/17/22 1:00 PM, olcott wrote: > On 7/16/2022 2:28 PM, Mike Terry wrote: >> On 16/07/2022

Jul 17

Jul 16

P(P) halts because H(P,P) correctly determines that its input never halts

void P(ptr x) { int Halt_Status = H(x, x); if (Halt_Status) HERE: goto HERE; return; } int main() { P

unread,

P(P) halts because H(P,P) correctly determines that its input never halts

void P(ptr x) { int Halt_Status = H(x, x); if (Halt_Status) HERE: goto HERE; return; } int main() { P

Jul 16

olcott, Richard Damon6

Jul 14

Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler)

On 7/14/22 5:21 PM, olcott wrote: > On 7/14/2022 3:27 PM, wij wrote: >> On Friday, 15 July

unread,

Re: Halting problem proofs refuted on the basis of software engineering [V3] (much simpler)

On 7/14/22 5:21 PM, olcott wrote: > On 7/14/2022 3:27 PM, wij wrote: >> On Friday, 15 July

Jul 14

Jul 11

Re: Software engineers needed to validate my work

On 7/11/2022 2:25 PM, dklei...@gmail.com wrote: > On Monday, July 11, 2022 at 7:58:52 AM UTC-7,

unread,

Re: Software engineers needed to validate my work

On 7/11/2022 2:25 PM, dklei...@gmail.com wrote: > On Monday, July 11, 2022 at 7:58:52 AM UTC-7,

Jul 11

olcott, … Keith Thompson3

Jul 11

Software engineers needed to validate this

Mr Flibble <flibble@reddwarf.jmc.corp> writes: > On Mon, 11 Jul 2022 09:55:45 -0500 >

unread,

Software engineers needed to validate this

Mr Flibble <flibble@reddwarf.jmc.corp> writes: > On Mon, 11 Jul 2022 09:55:45 -0500 >

Jul 11

olcott, … Richard Damon27

Jul 9

Re: Did I encode Sipser correctly? (it seemed too easy)

On 7/9/22 6:48 PM, André G. Isaak wrote: > On 2022-07-09 16:37, Richard Damon wrote: >> On 7

unread,

Re: Did I encode Sipser correctly? (it seemed too easy)

On 7/9/22 6:48 PM, André G. Isaak wrote: > On 2022-07-09 16:37, Richard Damon wrote: >> On 7

Jul 9

olcott, Richard Damon10

Jul 6

Re: An idea for a simulating halt decider

On 7/6/22 9:32 AM, olcott wrote: > On 7/6/2022 7:50 AM, Andy Walker wrote: >> On 05/07/2022

unread,

Re: An idea for a simulating halt decider

On 7/6/22 9:32 AM, olcott wrote: > On 7/6/2022 7:50 AM, Andy Walker wrote: >> On 05/07/2022

Jul 6

olcott, Mr Flibble2

Jul 6

Re: An idea for a simulating halt decider [Gödel 1931]

On Wed, 6 Jul 2022 12:10:37 -0500 olcott <NoOne@NoWhere.com> wrote: > On 7/6/2022 11:52 AM,

unread,

Re: An idea for a simulating halt decider [Gödel 1931]

On Wed, 6 Jul 2022 12:10:37 -0500 olcott <NoOne@NoWhere.com> wrote: > On 7/6/2022 11:52 AM,

Jul 6

olcott, … Richard Damon12

Jul 4

Halting problem proofs refuted on the basis of software engineering V2

On 7/4/22 3:09 PM, olcott wrote: > On 7/4/2022 1:38 PM, Mr Flibble wrote: >> On Mon, 4 Jul

unread,

Halting problem proofs refuted on the basis of software engineering V2

On 7/4/22 3:09 PM, olcott wrote: > On 7/4/2022 1:38 PM, Mr Flibble wrote: >> On Mon, 4 Jul

Jul 4

olcott, Mr Flibble5

Jul 3

Re: Should any program that calls a halt decider be considered pathological?

On 7/3/2022 12:12 PM, Mr Flibble wrote: > On Sun, 3 Jul 2022 12:07:43 -0500 > olcott <NoOne@

unread,

Re: Should any program that calls a halt decider be considered pathological?

On 7/3/2022 12:12 PM, Mr Flibble wrote: > On Sun, 3 Jul 2022 12:07:43 -0500 > olcott <NoOne@

Jul 3

Jun 27

Conquering the last rebuttal to H(P,P)==0 refutation of the halting problem proofs

*This is the outline of the complete refutation* *of the only rebuttal that anyone has left* (a) The

unread,

Conquering the last rebuttal to H(P,P)==0 refutation of the halting problem proofs

*This is the outline of the complete refutation* *of the only rebuttal that anyone has left* (a) The

Jun 27

Jun 12

Press Release - AEiC 2022, Ada-Europe Reliable Softw. Technol.

----------------------------------------------------------------------- FINAL Call for Participation

unread,

Press Release - AEiC 2022, Ada-Europe Reliable Softw. Technol.

----------------------------------------------------------------------- FINAL Call for Participation

Jun 12

Jun 6

Competent software engineers will agree that H(P,P)==0 is correct

Software engineers competent in C and the x86 language will verify that when H(P,P) correctly

unread,

Competent software engineers will agree that H(P,P)==0 is correct

Software engineers competent in C and the x86 language will verify that when H(P,P) correctly

Jun 6

Mr Flibble, olcott3

Jun 3

Re: Refuting the HP proofs (adapted for software engineers)

On 6/3/2022 6:35 PM, Mr Flibble wrote: > On Fri, 3 Jun 2022 17:17:12 -0500 > olcott <NoOne@

unread,

Re: Refuting the HP proofs (adapted for software engineers)

On 6/3/2022 6:35 PM, Mr Flibble wrote: > On Fri, 3 Jun 2022 17:17:12 -0500 > olcott <NoOne@

Jun 3

Satish Chaturvedi

May 24

Network Security Engineer _ Denver, Colorado_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Network Security Engineer. Job Title:-

unread,

Network Security Engineer _ Denver, Colorado_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Network Security Engineer. Job Title:-

May 24

May 24

Experts would agree that my reviewers are incorrect

All of the recent discussions are simply disagreement with an easily verifiable fact. Any smart

unread,

Experts would agree that my reviewers are incorrect

All of the recent discussions are simply disagreement with an easily verifiable fact. Any smart

May 24

May 23

Re: Question for Olcott [ summing up where we are ]

On 5/23/2022 10:16 PM, Dennis Bush wrote: > On Monday, May 23, 2022 at 11:08:54 PM UTC-4, olcott

unread,

Re: Question for Olcott [ summing up where we are ]

On 5/23/2022 10:16 PM, Dennis Bush wrote: > On Monday, May 23, 2022 at 11:08:54 PM UTC-4, olcott

May 23

May 23

Re: Question for Olcott [ Richard continues to be a liar ]

On 5/23/2022 6:33 PM, Richard Damon wrote: > > On 5/23/22 3:05 PM, olcott wrote: >> On 5/

unread,

Re: Question for Olcott [ Richard continues to be a liar ]

On 5/23/2022 6:33 PM, Richard Damon wrote: > > On 5/23/22 3:05 PM, olcott wrote: >> On 5/

May 23

May 22

Are my reviewers incompetent or dishonest? [ stupid or liar ? ]

On 5/22/2022 12:36 PM, Richard Damon wrote: > On 5/22/22 12:42 PM, olcott wrote: >> On 5/22/

unread,

Are my reviewers incompetent or dishonest? [ stupid or liar ? ]

On 5/22/2022 12:36 PM, Richard Damon wrote: > On 5/22/22 12:42 PM, olcott wrote: >> On 5/22/

May 22

Mr Flibble, olcott4

May 22

Re: Are my reviewers dishonest or technically incompetent ?

On 5/22/2022 1:26 PM, Mr Flibble wrote: > On Sun, 22 May 2022 13:23:16 -0500 > olcott <NoOne

unread,

Re: Are my reviewers dishonest or technically incompetent ?

On 5/22/2022 1:26 PM, Mr Flibble wrote: > On Sun, 22 May 2022 13:23:16 -0500 > olcott <NoOne

May 22

Satish Chaturvedi

May 19

GOLANG Developer _ Dallas , Texas_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as GOLANG Developer. Job Title:- GOLANG

unread,

GOLANG Developer _ Dallas , Texas_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as GOLANG Developer. Job Title:- GOLANG

May 19

Alvaro Miyazawa

May 18

[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special

unread,

[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special

May 18

May 16

Ada-Europe - AEiC 2022 early registration deadline approaching

----------------------------------------------------------------------- UPDATED Call for

unread,

Ada-Europe - AEiC 2022 early registration deadline approaching

----------------------------------------------------------------------- UPDATED Call for

May 16

Satish Chaturvedi

May 16

Python Developer _ Dallas, TX_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Python Developer. Please share your

unread,

Python Developer _ Dallas, TX_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Python Developer. Please share your

May 16

Satish Chaturvedi

May 13

Java Developer _ Atlanta GA_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Java Developer. Please share your

unread,

Java Developer _ Atlanta GA_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Java Developer. Please share your

May 13

May 3

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2022

----------------------------------------------------------------------- Call for Participation ***

unread,

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2022

----------------------------------------------------------------------- Call for Participation ***

May 3

Satish Chaturvedi

Apr 29

IWM/WM Deployment Specialist _ Peoria, IL (Remote -anywhere in EST/CST time zone with a mandatory requirement of frequent travel to Clayton, Nc)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as IWM/WM Deployment Specialist. Please

unread,

IWM/WM Deployment Specialist _ Peoria, IL (Remote -anywhere in EST/CST time zone with a mandatory requirement of frequent travel to Clayton, Nc)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as IWM/WM Deployment Specialist. Please

Apr 29

Satish Chaturvedi2

Apr 22

Urgent role_Solution Architect_Kansas City, Missouri / Atlanta GA (Remote prefer Atlanta as an alternate. 20% travel is expected.)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Solution Architect. Please share your

unread,

Urgent role_Solution Architect_Kansas City, Missouri / Atlanta GA (Remote prefer Atlanta as an alternate. 20% travel is expected.)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Solution Architect. Please share your

Apr 22

Satish Chaturvedi

Apr 20

Urgent role_Sr. Java Developer_St. Louis, MO location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Sr. Java Developer. Please share your

unread,

Urgent role_Sr. Java Developer_St. Louis, MO location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Sr. Java Developer. Please share your

Apr 20

Search

Clear search

Close search

Google apps

Main menu