15,846,091 members
Home / Discussions / Algorithms

# Algorithms

 Re: Does D correctly simulated by H terminate normally? Dave Kreskowiak17-May-23 5:03 Dave Kreskowiak 17-May-23 5:03
 Re: Does D correctly simulated by H terminate normally? Richard MacCutchan17-May-23 5:32 Richard MacCutchan 17-May-23 5:32
 Re: Does D correctly simulated by H terminate normally? Dave Kreskowiak17-May-23 5:32 Dave Kreskowiak 17-May-23 5:32
 Re: Does D correctly simulated by H terminate normally? jschell17-May-23 8:04 jschell 17-May-23 8:04
 Re: Does D correctly simulated by H terminate normally? jeron117-May-23 5:35 jeron1 17-May-23 5:35
 Re: Does D correctly simulated by H terminate normally? jschell17-May-23 8:21 jschell 17-May-23 8:21
 Re: Does D correctly simulated by H terminate normally? jschell18-May-23 6:45 jschell 18-May-23 6:45
 Re: Does D correctly simulated by H terminate normally? jschell19-May-23 8:43 jschell 19-May-23 8:43
 polcott wrote:Not at all. The code that I wrote is very clearly written in C. Sigh...again.... The example code originates from Turning Machine math. If you want to prove something OUTSIDE of the Turing Machine then you must formally define the context then provide the proof from that. Nothing you have posted here comes even close to be a formal proof. And I am certainly not going to review anything you have posted elsewhere.
 Can D simulated by H terminate normally? polcott14-May-23 11:40 polcott 14-May-23 11:40
 Re: Can D simulated by H terminate normally? jschell15-May-23 5:54 jschell 15-May-23 5:54
 Re: Can D simulated by H terminate normally? jschell16-May-23 7:47 jschell 16-May-23 7:47
 Re: Can D simulated by H terminate normally? jschell16-May-23 8:16 jschell 16-May-23 8:16
 Base building in a RTS based on a queue of orders Calin Negru27-Apr-23 5:01 Calin Negru 27-Apr-23 5:01
 Re: Base building in a RTS based on a queue of orders Gerry Schmitz27-Apr-23 6:33 Gerry Schmitz 27-Apr-23 6:33
 [edited]Re: Base building in a RTS based on a queue of orders Calin Negru27-Apr-23 9:01 Calin Negru 27-Apr-23 9:01
 Re: [edited]Re: Base building in a RTS based on a queue of orders Gerry Schmitz29-Apr-23 4:48 Gerry Schmitz 29-Apr-23 4:48
 Re: Base building in a RTS based on a queue of orders Calin Negru30-Apr-23 6:23 Calin Negru 30-Apr-23 6:23
 Re: Re: Base building in a RTS based on a queue of orders Gerry Schmitz30-Apr-23 7:14 Gerry Schmitz 30-Apr-23 7:14
 Re: Re: Base building in a RTS based on a queue of orders Calin Negru30-Apr-23 23:12 Calin Negru 30-Apr-23 23:12
 Re: Re: Base building in a RTS based on a queue of orders Gerry Schmitz1-May-23 1:08 Gerry Schmitz 1-May-23 1:08
 Re: [edited]Re: Base building in a RTS based on a queue of orders Calin Negru30-Apr-23 6:10 Calin Negru 30-Apr-23 6:10
 Re: [edited]Re: Base building in a RTS based on a queue of orders Gerry Schmitz30-Apr-23 7:29 Gerry Schmitz 30-Apr-23 7:29
 Efficiently finding position in sorted list Robert Ellis26-Mar-23 14:52 Robert Ellis 26-Mar-23 14:52
 Re: Efficiently finding position in sorted list Mircea Neacsu26-Mar-23 15:42 Mircea Neacsu 26-Mar-23 15:42
 Dijkstra Calin Negru13-Dec-22 8:46 Calin Negru 13-Dec-22 8:46
 Last Visit: 31-Dec-99 19:00     Last Update: 25-Feb-24 11:01 Refresh ᐊ Prev1234567891011 Next ᐅ