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: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-04 19:01 -0500
Re: An idea for a simulating halt decider Richard Damon <Richard@Damon-Family.org> 2022-07-05 07:32 -0400
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-05 07:59 -0500
Re: Halting problem proofs refuted on the basis of software engineering olcott <NoOne@NoWhere.com> 2022-07-05 08:00 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-05 14:31 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-05 15:42 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] Richard Damon <Richard@Damon-Family.org> 2022-07-05 19:29 -0400
Re: Halting problem proofs refuted on the basis of software engineering Richard Damon <Richard@Damon-Family.org> 2022-07-05 19:31 -0400
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-05 19:01 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-05 19:50 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-05 21:37 -0500
Re: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-06 08:32 -0500
Re: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-06 09:00 -0500
Re: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-06 09:28 -0500
Re: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-06 10:05 -0500
Re: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-06 10:54 -0500
Re: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-06 11:15 -0500
Re: An idea for a simulating halt decider olcott <NoOne@NoWhere.com> 2022-07-06 11:28 -0500
Re: An idea for a simulating halt decider [Gödel 1931] olcott <NoOne@NoWhere.com> 2022-07-06 12:10 -0500
Re: An idea for a simulating halt decider [Gödel 1931] Mr Flibble <flibble@reddwarf.jmc> 2022-07-06 18:14 +0100
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-06 16:13 -0500
Re: An idea for a simulating halt decider Richard Damon <Richard@Damon-Family.org> 2022-07-06 21:35 -0400
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-07 16:08 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-07 20:34 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Curry–Howard correspondence ] olcott <NoOne@NoWhere.com> 2022-07-07 23:48 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Irrefutably Correct ] olcott <NoOne@NoWhere.com> 2022-07-09 13:40 -0500
Re: Halting problem proofs refuted on the basis of software engineering [ Irrefutably Correct ] Richard Damon <Richard@Damon-Family.org> 2022-07-09 15:06 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 14:26 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 13:45 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 14:51 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 14:57 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 14:03 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> 2022-07-09 16:11 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 14:14 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> 2022-07-09 16:26 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 15:44 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 15:51 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) [wrong source code corrected] olcott <NoOne@NoWhere.com> 2022-07-09 15:54 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 15:03 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 16:05 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 15:12 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 16:20 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 16:33 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 15:34 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) Richard Damon <Richard@Damon-Family.org> 2022-07-09 17:40 -0400
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 16:41 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 16:44 -0500
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 15:51 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) André G. Isaak <agisaak@gm.invalid> 2022-07-09 15:59 -0600
Re: Did I encode Sipser correctly? (it seemed too easy) olcott <NoOne@NoWhere.com> 2022-07-09 17:05 -0500

« Previous 1 ... 7 8 9 10 11 ... 72 Next »

csiph-web