Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.software-eng

comp.software-eng

3579 articles (numbers 24 – 3985) — threaded view

| Advanced

Subject Author Date [asc]
Re: Simulating halt deciders applied to the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-14 17:28 -0500
Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-14 18:57 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-14 21:03 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-15 08:57 -0600
H correctly predicts that D correctly simulated by H would not halt olcott <polcott2@gmail.com> 2023-02-15 17:29 -0600
Re: H correctly predicts that D correctly simulated by H would not halt Richard Damon <Richard@Damon-Family.org> 2023-02-15 18:39 -0500
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-15 18:57 -0500
Re: H correctly predicts that D correctly simulated by H would not halt olcott <polcott2@gmail.com> 2023-02-15 18:51 -0600
Re: H correctly predicts that D correctly simulated by H would not halt Richard Damon <Richard@Damon-Family.org> 2023-02-15 20:16 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-15 20:22 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-15 21:36 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-15 20:39 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-15 21:55 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-15 21:15 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-15 22:20 -0500
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-15 21:28 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-15 22:42 -0500
AEiC 2023 - Ada-Europe conference - Final Deadline Approaching dirk@orka.cs.kuleuven.be. (Dirk Craeynest) 2023-02-16 09:39 +0000
H(D,D)==0 is proven to be correct olcott <polcott2@gmail.com> 2023-02-16 08:43 -0600
Re: Simulating halt deciders defeat the halting theorem olcott <polcott2@gmail.com> 2023-02-16 10:59 -0600
Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] olcott <polcott2@gmail.com> 2023-02-16 14:24 -0600
Re: Simulating halt deciders defeat the halting theorem Richard Damon <Richard@Damon-Family.org> 2023-02-16 18:43 -0500
Re: H(D,D)==0 is proven to be correct Richard Damon <Richard@Damon-Family.org> 2023-02-16 18:50 -0500
Re: Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] Richard Damon <Richard@Damon-Family.org> 2023-02-16 18:51 -0500
Re: Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] olcott <polcott2@gmail.com> 2023-02-16 20:03 -0600
Re: Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] Richard Damon <Richard@Damon-Family.org> 2023-02-16 21:37 -0500
Re: Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] olcott <polcott2@gmail.com> 2023-02-17 08:24 -0600
Re: Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] Richard Damon <Richard@Damon-Family.org> 2023-02-17 09:42 -0500
Re: Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] olcott <polcott2@gmail.com> 2023-02-17 09:04 -0600
Re: Simulating halt deciders defeat the halting theorem [ irrefutable reasoning ] Richard Damon <Richard@Damon-Family.org> 2023-02-17 11:07 -0500
Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 12:39 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-20 19:20 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 18:46 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 19:10 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-20 20:54 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 20:22 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-20 21:32 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 20:53 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-20 22:06 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 21:28 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-20 22:38 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 22:08 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-20 23:21 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-20 22:44 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-21 07:03 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> 2023-02-21 09:38 -0600
Does a Simulating Halt Decider Defeat the Halting Theorem ? olcott <polcott2@gmail.com> 2023-02-21 11:17 -0600
Re: Does a Simulating Halt Decider Defeat the Halting Theorem ? olcott <polcott2@gmail.com> 2023-02-21 11:31 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> 2023-02-21 18:45 -0500
Re: Does a Simulating Halt Decider Defeat the Halting Theorem ? Richard Damon <Richard@Damon-Family.org> 2023-02-21 18:53 -0500

« Previous 1 ... 5 6 7 8 9 ... 72 Next »

csiph-web