Click here to Skip to main content
15,847,263 members
Home / Discussions / Algorithms
   

Algorithms

 
AnswerRe: Does D correctly simulated by H terminate normally? Pin
Dave Kreskowiak17-May-23 4:01
mveDave Kreskowiak17-May-23 4:01 
GeneralRe: Does D correctly simulated by H terminate normally? Pin
Richard Deeming17-May-23 4:51
mveRichard Deeming17-May-23 4:51 
GeneralRe: Does D correctly simulated by H terminate normally? Pin
Dave Kreskowiak17-May-23 5:03
mveDave Kreskowiak17-May-23 5:03 
GeneralRe: Does D correctly simulated by H terminate normally? Pin
Richard MacCutchan17-May-23 5:32
mveRichard MacCutchan17-May-23 5:32 
GeneralRe: Does D correctly simulated by H terminate normally? Pin
Dave Kreskowiak17-May-23 5:32
mveDave Kreskowiak17-May-23 5:32 
GeneralRe: Does D correctly simulated by H terminate normally? Pin
jschell17-May-23 8:04
jschell17-May-23 8:04 
GeneralRe: Does D correctly simulated by H terminate normally? Pin
jeron117-May-23 5:35
jeron117-May-23 5:35 
AnswerRe: Does D correctly simulated by H terminate normally? Pin
jschell17-May-23 8:21
jschell17-May-23 8:21 
polcott wrote:
The following code is executed in the x86utm operating system based...


No. You are redefining the problem and then ignoring it when people call it out.

That program specfically represents a problem that was proven mathematically long ago using the Turing machine.

If you want to prove something then you will need to actually provide the same rigor that Turing did. You have not done so.

polcott wrote:
calls H(D,D) that simulates D(D) at line 11


You are ignoring that in the proof H() must be defined for ALL POSSIBLE CASES. You do not get to pick and choose what H() does.

polcott wrote:
Here is an example of work in this same field:


First what journal was that published in? I can find references to the article but not anything that I see as a journal.

But as I read the paper it does not really support anything that you are saying.

That paper has one specific example. And in fact seems more like an attempt to prove something about a different idiom under test - the "TSR".

The paper provides exactly what they did in detail. So I suggest that you answer your own question by applying exactly what they did in the paper to the code that you provided above.
GeneralRe: Does D correctly simulated by H terminate normally? Pin
jschell18-May-23 6:45
jschell18-May-23 6:45 
GeneralRe: Does D correctly simulated by H terminate normally? Pin
jschell19-May-23 8:43
jschell19-May-23 8:43 
QuestionCan D simulated by H terminate normally? Pin
polcott14-May-23 11:40
polcott14-May-23 11:40 
AnswerRe: Can D simulated by H terminate normally? Pin
jschell15-May-23 5:54
jschell15-May-23 5:54 
GeneralRe: Can D simulated by H terminate normally? Pin
jschell16-May-23 7:47
jschell16-May-23 7:47 
GeneralRe: Can D simulated by H terminate normally? Pin
jschell16-May-23 8:16
jschell16-May-23 8:16 
QuestionBase building in a RTS based on a queue of orders Pin
Calin Negru27-Apr-23 5:01
Calin Negru27-Apr-23 5:01 
AnswerRe: Base building in a RTS based on a queue of orders Pin
Gerry Schmitz27-Apr-23 6:33
mveGerry Schmitz27-Apr-23 6:33 
General[edited]Re: Base building in a RTS based on a queue of orders Pin
Calin Negru27-Apr-23 9:01
Calin Negru27-Apr-23 9:01 
GeneralRe: [edited]Re: Base building in a RTS based on a queue of orders Pin
Gerry Schmitz29-Apr-23 4:48
mveGerry Schmitz29-Apr-23 4:48 
General[edit][edit]Re: Base building in a RTS based on a queue of orders Pin
Calin Negru30-Apr-23 6:23
Calin Negru30-Apr-23 6:23 
GeneralRe: [edit][edit]Re: Base building in a RTS based on a queue of orders Pin
Gerry Schmitz30-Apr-23 7:14
mveGerry Schmitz30-Apr-23 7:14 
GeneralRe: [edit][edit]Re: Base building in a RTS based on a queue of orders Pin
Calin Negru30-Apr-23 23:12
Calin Negru30-Apr-23 23:12 
GeneralRe: [edit][edit]Re: Base building in a RTS based on a queue of orders Pin
Gerry Schmitz1-May-23 1:08
mveGerry Schmitz1-May-23 1:08 
GeneralRe: [edited]Re: Base building in a RTS based on a queue of orders Pin
Calin Negru30-Apr-23 6:10
Calin Negru30-Apr-23 6:10 
GeneralRe: [edited]Re: Base building in a RTS based on a queue of orders Pin
Gerry Schmitz30-Apr-23 7:29
mveGerry Schmitz30-Apr-23 7:29 
QuestionEfficiently finding position in sorted list Pin
Robert Ellis26-Mar-23 14:52
Robert Ellis26-Mar-23 14:52 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.