Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #12895
| From | Aleksy Grabowski <hurufu@gmail.com> |
|---|---|
| Newsgroups | comp.lang.prolog, comp.theory, comp.ai.philosophy |
| Subject | Re: Is this correct Prolog? |
| Date | 2022-05-03 00:41 +0200 |
| Organization | A noiseless patient Spider |
| Message-ID | <t4pmmd$4f6$3@dont-email.me> (permalink) |
| References | (10 earlier) <t4opqo$g2g$1@dont-email.me> <t4ot2r$o65$1@dont-email.me> <t4p4br$b81$1@dont-email.me> <t4pbl5$g28$1@dont-email.me> <pWYbK.48$UWx1.17@fx41.iad> |
Cross-posted to 3 groups.
> IF you are defining that your logic system is limited to what Prolog can > "Prove", that is fine. Just realize that you have just defined that your > logic system can't handle a lot of the real problems in the world, and > in particular, it is very limited in the mathematics it can handle. > > I am pretty sure that Prolog is NOT up to handling the logic needed to > handle the mathematics needed to express Godel's G, or the Halting Problem. > > Thus, your "Proof" that these Theorems are "Wrong" is incorrect, you > have only proven that your limited logic system can't reach them in > expressibility. > Thanks for confirmation, that's what exactly what I was trying to tell to topic poster in one of my previous posts. Prolog in it's bare form is a bad theorem solver. It wasn't designed a such. If you want to deal with such problems maybe it is better to use Coq theorem prover, I've never used it by myself, but it looks like one of the best proving assistants out there. -- Alex Grabowski
Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 02:02 -0500
Re: Is this correct Prolog? Mikko <mikko.levanto@iki.fi> - 2022-04-30 12:31 +0300
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-04-30 20:15 +0200
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 16:08 -0500
Re: Is this correct Prolog? Mikko <mikko.levanto@iki.fi> - 2022-05-01 12:26 +0300
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:00 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 13:49 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 08:09 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 15:35 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 08:55 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 16:28 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 10:24 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 17:44 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 11:04 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 18:38 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 11:49 -0500
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-02 09:51 -0700
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 19:38 +0200
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-02 11:04 -0700
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 14:22 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 14:14 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 14:24 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 21:43 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 15:10 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 22:37 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 15:58 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 16:30 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 23:33 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 16:42 -0500
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-03 00:13 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 19:35 -0500
Re: Is this correct Prolog? Jeff Barnett <jbb@notatt.com> - 2022-05-02 11:28 -0600
Re: Is this correct Prolog? Mr Flibble <flibble@reddwarf.jmc> - 2022-05-02 19:41 +0100
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 14:26 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 14:32 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-02 18:28 -0400
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-03 00:41 +0200
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-02 16:00 -0700
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-03 01:39 +0200
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-02 17:26 -0700
Re: Is this correct Prolog? Ben <ben.usenet@bsb.me.uk> - 2022-05-03 00:43 +0100
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-02 17:20 -0700
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 19:57 -0500
Re: Is this correct Prolog? Ben <ben.usenet@bsb.me.uk> - 2022-05-03 03:21 +0100
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 22:01 -0500
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-03 01:18 -0700
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-03 08:05 -0400
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-04 21:30 -0500
Re: Is this correct Prolog? [ Tarski ] Richard Damon <Richard@Damon-Family.org> - 2022-05-04 22:46 -0400
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-04 22:02 -0500
Re: Is this correct Prolog? [ Tarski ] Richard Damon <Richard@Damon-Family.org> - 2022-05-05 07:41 -0400
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-05 12:57 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-05 12:06 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-05 16:23 -0500
Re: Is this correct Prolog? [ Tarski ] Richard Damon <Richard@Damon-Family.org> - 2022-05-05 22:24 -0400
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-05 21:37 -0500
Re: Is this correct Prolog? [ Tarski ] Richard Damon <Richard@Damon-Family.org> - 2022-05-06 07:43 -0400
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 15:29 -0500
Re: Is this correct Prolog? Ben <ben.usenet@bsb.me.uk> - 2022-05-03 15:59 +0100
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 09:18 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 11:08 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 10:52 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 12:05 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 11:17 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 12:33 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 12:23 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 13:59 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 14:03 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 22:24 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 21:54 -0600
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-04 07:27 -0400
Re: Is this correct Prolog? [ André didn't lie after all ] olcott <polcott2@gmail.com> - 2022-05-03 12:08 -0500
Re: Is this correct Prolog? Jeff Barnett <jbb@notatt.com> - 2022-05-03 12:33 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 14:12 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 13:22 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 21:53 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-03 23:12 -0400
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 22:53 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-03 22:06 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-04 01:17 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-04 08:02 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-04 14:01 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-04 19:48 -0400
Re: Is this correct Prolog? Jeff Barnett <jbb@notatt.com> - 2022-05-03 15:58 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 17:13 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 19:11 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 19:35 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-02 20:47 -0400
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-02 07:59 -0700
Re: Is this correct Prolog? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-02 17:15 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 10:45 -0500
Re: Is this correct Prolog? Julio Di Egidio <julio@diegidio.name> - 2022-05-02 09:02 -0700
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 11:26 -0500
Re: Is this correct Prolog? Mikko <mikko.levanto@iki.fi> - 2022-05-01 12:24 +0300
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 05:58 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 07:12 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:45 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 08:07 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 07:15 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 13:49 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 15:48 -0500
Re: Is this correct Prolog? Mikko <mikko.levanto@iki.fi> - 2022-05-01 12:38 +0300
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:06 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 07:26 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:54 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 08:11 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 07:19 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 14:00 -0400
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-04-30 21:08 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 20:42 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-04-30 22:00 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 21:21 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-04-30 22:38 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 21:56 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-04-30 23:11 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 22:15 -0500
Re: Is this correct Prolog? Jeff Barnett <jbb@notatt.com> - 2022-04-30 23:24 -0600
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:35 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 13:16 -0400
Re: Is this correct Prolog? Mr Flibble <flibble@reddwarf.jmc> - 2022-05-01 13:19 +0100
Re: Is this correct Prolog? polcott <polcott2@gmail.com> - 2022-05-01 07:51 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 13:19 -0400
Re: Is this correct Prolog? Jeff Barnett <jbb@notatt.com> - 2022-05-01 11:22 -0600
Re: Is this correct Prolog? Mikko <mikko.levanto@iki.fi> - 2022-05-01 12:45 +0300
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:28 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 08:01 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 07:09 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 08:16 -0400
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 07:18 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:50 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 13:26 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 20:47 -0500
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 23:49 -0500
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 11:08 -0500
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 13:28 -0500
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 14:00 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 15:19 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 14:32 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 13:44 -0600
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 14:48 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 16:01 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 15:42 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 14:51 -0600
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 17:04 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 18:08 -0400
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 17:39 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 19:18 -0400
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 17:26 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 19:58 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 21:32 -0400
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 20:53 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 22:14 -0400
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 21:18 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 20:37 -0600
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 22:47 -0400
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 22:04 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 22:10 -0600
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-02 07:10 -0400
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-02 08:19 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-02 18:38 -0400
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 16:37 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 17:44 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 17:15 -0600
Re: Is this correct Prolog? [ André is proven to be a liar ] olcott <NoOne@NoWhere.com> - 2022-05-01 18:33 -0500
Re: Is this correct Prolog? [ André is proven to be a liar ] André G. Isaak <agisaak@gm.invalid> - 2022-05-01 17:44 -0600
Re: Is this correct Prolog? [ André is proven to be a liar ] olcott <NoOne@NoWhere.com> - 2022-05-01 18:53 -0500
Re: Is this correct Prolog? [ André is proven to be a liar ] olcott <polcott2@gmail.com> - 2022-05-01 18:15 -0500
Re: Is this correct Prolog? [ André is proven to be a liar ] Richard Damon <Richard@Damon-Family.org> - 2022-05-01 19:21 -0400
Re: Is this correct Prolog? [ André is proven to be a liar ] olcott <polcott2@gmail.com> - 2022-05-01 19:56 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 17:05 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 16:55 -0400
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 11:57 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 11:21 -0600
csiph-web