15,746,652 members
Home / Discussions / Algorithms

# Algorithms

 Re: Does D correctly simulated by H terminate normally? Dave Kreskowiak17-May-23 3:01 Dave Kreskowiak 17-May-23 3:01
 Re: Does D correctly simulated by H terminate normally? Richard Deeming17-May-23 3:51 Richard Deeming 17-May-23 3:51
 Re: Does D correctly simulated by H terminate normally? Dave Kreskowiak17-May-23 4:03 Dave Kreskowiak 17-May-23 4:03
 Re: Does D correctly simulated by H terminate normally? Richard MacCutchan17-May-23 4:32 Richard MacCutchan 17-May-23 4:32
 Re: Does D correctly simulated by H terminate normally? Dave Kreskowiak17-May-23 4:32 Dave Kreskowiak 17-May-23 4:32
 Re: Does D correctly simulated by H terminate normally? jschell17-May-23 7:04 jschell 17-May-23 7:04
 Re: Does D correctly simulated by H terminate normally? jeron117-May-23 4:35 jeron1 17-May-23 4:35
 Re: Does D correctly simulated by H terminate normally? jschell17-May-23 7:21 jschell 17-May-23 7: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.
 Re: Does D correctly simulated by H terminate normally? jschell18-May-23 5:45 jschell 18-May-23 5:45
 Re: Does D correctly simulated by H terminate normally? jschell19-May-23 7:43 jschell 19-May-23 7:43
 Can D simulated by H terminate normally? polcott14-May-23 10:40 polcott 14-May-23 10:40
 Re: Can D simulated by H terminate normally? jschell15-May-23 4:54 jschell 15-May-23 4:54
 Re: Can D simulated by H terminate normally? jschell16-May-23 6:47 jschell 16-May-23 6:47
 Re: Can D simulated by H terminate normally? jschell16-May-23 7:16 jschell 16-May-23 7:16
 Base building in a RTS based on a queue of orders Calin Negru27-Apr-23 4:01 Calin Negru 27-Apr-23 4:01
 Re: Base building in a RTS based on a queue of orders Gerry Schmitz27-Apr-23 5:33 Gerry Schmitz 27-Apr-23 5:33
 [edited]Re: Base building in a RTS based on a queue of orders Calin Negru27-Apr-23 8:01 Calin Negru 27-Apr-23 8:01
 Re: [edited]Re: Base building in a RTS based on a queue of orders Gerry Schmitz29-Apr-23 3:48 Gerry Schmitz 29-Apr-23 3:48
 Re: Base building in a RTS based on a queue of orders Calin Negru30-Apr-23 5:23 Calin Negru 30-Apr-23 5:23
 Re: Re: Base building in a RTS based on a queue of orders Gerry Schmitz30-Apr-23 6:14 Gerry Schmitz 30-Apr-23 6:14
 Re: Re: Base building in a RTS based on a queue of orders Calin Negru30-Apr-23 22:12 Calin Negru 30-Apr-23 22:12
 Re: Re: Base building in a RTS based on a queue of orders Gerry Schmitz1-May-23 0:08 Gerry Schmitz 1-May-23 0:08
 Re: [edited]Re: Base building in a RTS based on a queue of orders Calin Negru30-Apr-23 5:10 Calin Negru 30-Apr-23 5:10
 Re: [edited]Re: Base building in a RTS based on a queue of orders Gerry Schmitz30-Apr-23 6:29 Gerry Schmitz 30-Apr-23 6:29
 Efficiently finding position in sorted list Robert Ellis26-Mar-23 13:52 Robert Ellis 26-Mar-23 13:52
 Last Visit: 31-Dec-99 18:00     Last Update: 30-Sep-23 9:33 Refresh 1234567891011 Next ᐅ