Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #49315 > unrolled thread
| Started by | olcott <NoOne@NoWhere.com> |
|---|---|
| First post | 2022-04-30 02:02 -0500 |
| Last post | 2022-05-01 14:00 -0400 |
| Articles | 20 on this page of 196 — 13 participants |
Back to article view | Back to comp.theory
Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 02:02 -0500
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? 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-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? olcott <NoOne@NoWhere.com> - 2022-04-30 20:47 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-04-30 19:53 -0600
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-04-30 23:49 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-04-30 23:34 -0600
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 06:40 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 07:35 -0600
Re: Is this correct Prolog? polcott <polcott2@gmail.com> - 2022-05-01 10:57 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 10:15 -0600
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
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 11:08 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 10:21 -0600
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 12:01 -0500
Re: Is this correct Prolog? Mr Flibble <flibble@reddwarf.jmc> - 2022-05-01 18:59 +0100
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 13:28 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 12:33 -0600
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? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 13:22 -0600
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? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 13:54 -0600
Re: Is this correct Prolog? olcott <NoOne@NoWhere.com> - 2022-05-01 15:03 -0500
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 14:37 -0600
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 ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-01 16:39 -0700
Re: Is this correct Prolog? [ André is proven to be a liar ] olcott <NoOne@NoWhere.com> - 2022-05-01 18:51 -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 ] André G. Isaak <agisaak@gm.invalid> - 2022-05-01 18:13 -0600
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? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 16:01 -0400
Re: Is this correct Prolog? Jeff Barnett <jbb@notatt.com> - 2022-05-01 15:10 -0600
Re: Is this correct Prolog? André G. Isaak <agisaak@gm.invalid> - 2022-05-01 15:11 -0600
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 16:49 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-01 18:07 -0400
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-01 17:35 -0500
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-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? 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? Ben <ben.usenet@bsb.me.uk> - 2022-05-03 00:43 +0100
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? 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 ] André G. Isaak <agisaak@gm.invalid> - 2022-05-05 20:41 -0600
Re: Is this correct Prolog? [ Tarski ] Jeff Barnett <jbb@notatt.com> - 2022-05-05 23:09 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 00:16 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-06 07:39 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 12:17 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-06 11:31 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 13:36 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-06 12:41 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 14:03 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-06 13:11 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 14:23 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-06 13:27 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 14:39 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-06 13:46 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 14:51 -0500
Re: Is this correct Prolog? [ Tarski ] André G. Isaak <agisaak@gm.invalid> - 2022-05-06 13:55 -0600
Re: Is this correct Prolog? [ Tarski ] olcott <polcott2@gmail.com> - 2022-05-06 15:35 -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? olcott <polcott2@gmail.com> - 2022-05-03 10:44 -0500
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 14:49 -0500
Re: Is this correct Prolog? Python <python@example.invalid> - 2022-05-04 00:13 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 17:23 -0500
Re: Is this correct Prolog? Python <python@example.invalid> - 2022-05-04 00:40 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 17:47 -0500
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? [ André didn't lie after all ] "B.H." <xlt.pjw@gmail.com> - 2022-05-03 10:13 -0700
Re: Is this correct Prolog? [ André didn't lie after all ] olcott <polcott2@gmail.com> - 2022-05-03 12:17 -0500
Re: Is this correct Prolog? [ André didn't lie after all ] "B.H." <xlt.pjw@gmail.com> - 2022-05-03 10:25 -0700
Re: Is this correct Prolog? [ André didn't lie after all ] olcott <polcott2@gmail.com> - 2022-05-03 13:07 -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? Mikko <mikko.levanto@iki.fi> - 2022-05-04 09:49 +0300
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-04 12:55 -0500
Re: Is this correct Prolog? Mikko <mikko.levanto@iki.fi> - 2022-05-06 15:46 +0300
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-06 12:24 -0500
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? Aleksy Grabowski <hurufu@gmail.com> - 2022-05-03 10:46 +0200
Re: Is this correct Prolog? olcott <polcott2@gmail.com> - 2022-05-03 10:06 -0500
Re: Is this correct Prolog? Richard Damon <Richard@Damon-Family.org> - 2022-05-03 22:20 -0400
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? 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
Page 8 of 10 — ← Prev page 1 … 6 7 [8] 9 10 Next page →
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-05 21:37 -0500 |
| Subject | Re: Is this correct Prolog? [ Tarski ] |
| Message-ID | <t521m1$u43$1@dont-email.me> |
| In reply to | #49805 |
On 5/5/2022 9:24 PM, Richard Damon wrote: > On 5/5/22 1:57 PM, olcott wrote: >> On 5/4/2022 9:46 PM, Richard Damon wrote: >>> On 5/4/22 10:30 PM, olcott wrote: >>>> On 5/3/2022 7:05 AM, Richard Damon wrote: >>>>> On 5/2/22 11:01 PM, olcott wrote: >>>>>> On 5/2/2022 9:21 PM, Ben wrote: >>>>>>> olcott <polcott2@gmail.com> writes: >>>>>>> >>>>>>>> On 5/2/2022 6:43 PM, Ben wrote: >>>>>>>>> Aleksy Grabowski <hurufu@gmail.com> writes: >>>>>>> >>>>>>>>>> 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. >>>>>>>>> >>>>>>>>> And indeed there is a fully formalised proof of GIT in Coq >>>>>>>>> (though I >>>>>>>>> think it's the slightly tighter Gödel-Rosser version). >>>>>>>> >>>>>>>> It is true that G is not provable. >>>>>>> >>>>>>> G is provable. Proofs abound. I was pointing out one in a >>>>>>> proper proof >>>>>>> assistant, Coq. >>>>>>> >>>>>> >>>>>> It is OK that you are not a math guy. >>>>>> If you were a math guy you would understand that if G is provable >>>>>> then that makes Gödel totally wrong. G is not Gödel's theorem, it >>>>>> is a key element of his theorem. >>>>>> >>>>>> Incomplete T means that there exists a φ such that φ is not >>>>>> provable or refutable in formal system T. >>>>>> >>>>>> Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >>>>>> >>>>>> >>>>> >>>>> No, G IS provable, just not in the system F that G is described in, >>>>> thus F is Incomplete by your definition above. >>>>> >>>>> Part of the key of the Godel proof is that while G sort of refers >>>>> to itself, it does it in a way that F can't handle, so in F, G >>>>> doesn't refer to itself but just "some statement", but in a 'more >>>>> advanced' version of F, say F', we can see that relationship, and >>>>> show that G must be true, proving it in F', but not in F, thus F is >>>>> incomplete. >>>>> >>>> >>>> Tarski's hierarchy of languages. >>>> >>>> It only works at a higher level language because the expression of >>>> language at the next level is not self-contradictory. >>>> >>>> All epistemological antinomies are self-contradictory making them >>>> semantically invalid. >>>> >>>> In his undefinability proof: (only two pages long) >>>> https://liarparadox.org/Tarski_275_276.pdf >>>> >>>> He defines these two levels as "the theory" and the next higher >>>> level is called the "the metatheory". (see link). >>> >>> So we can prove G in the Metatheory, >> >> Yes. >> >>> so it is True in the Theory too. >>> >> >> Not at all. >> In the theory p is self-contradictory thus not a truth bearer. >> In the meta-theory p is NOT self-contradictory. > > How do you get that. > In Tarski's theory p <is> the formalized liar paradox. > In the Theory, you can't even tell that G references itself, but is just > a statement about mathematics. > >> >>>> since in this interpretation the sentence x, which contains no >>>> specific term of the metatheory, is its o\vn correlate, the proof of >>>> the sentence x given in the metatheory can automatically be carried >>>> over into the theory itself: the sentence x which is undecidable in >>>> the original theory becomes a decidable sentence in the enriched >>>> theory. >>> >>> But if G is true in the Theory, it is BY DEFINITION not provable in >>> the Theory, so the space of the Theory is shown to have a True >>> Statement which is not provable, thus the system of the Theory in >>> Incomplete. >> >> G is self-contradictory on the theory and non self-contradictory in >> the meta-theory. > > No, because in the theory, G doesn't even reference itself, so it can't > be self-contradictory. > Gödel says: ...We are therefore confronted with a proposition which asserts its own unprovability. > I think you don't even know what G is, but have only read the clift > notes edition that actually explain it in the meta-theory. >> >>>> >>>> >>>>> We can then show that we can make a G' in F' with the same >>>>> property, and thus show that there exists a system F'' where we can >>>>> prove G'. >>>>> >>>>> This is why you simplification doesn't work. In F, we can't convert >>>>> G into the statement G says that G is unprovable, but we can in F', >>>>> thus the statement in F' is that G says that G in unprovable in F, >>>>> and that statement is provable in F' >>>>> >>>> >>>> Likewise for the liar Paradox. Apparently Tarski could prove the >>>> Liar Paradox in his meta-theory. >>>> >>>>> You don't seem to be able to handle the concept of layers of logic >>>>> systems. >>>>> >>>> >>>> >>> >> >> > -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Richard Damon <Richard@Damon-Family.org> |
|---|---|
| Date | 2022-05-06 07:43 -0400 |
| Subject | Re: Is this correct Prolog? [ Tarski ] |
| Message-ID | <aR7dK.408$Acq9.201@fx13.iad> |
| In reply to | #49810 |
On 5/5/22 10:37 PM, olcott wrote: > On 5/5/2022 9:24 PM, Richard Damon wrote: >> On 5/5/22 1:57 PM, olcott wrote: >>> G is self-contradictory on the theory and non self-contradictory in >>> the meta-theory. >> >> No, because in the theory, G doesn't even reference itself, so it >> can't be self-contradictory. >> > > Gödel says: > ...We are therefore confronted with a proposition which asserts its own > unprovability. > Which is Godel making a comment about G, and not a statement in G itself. G does not directly mention itself in the Theory. >> I think you don't even know what G is, but have only read the clift >> notes edition that actually explain it in the meta-theory. > > So this comment of mine is now proven. And you have prooved to be a Liar and an idiot, as you abolutely don't know what you are talking about.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-06 15:29 -0500 |
| Subject | Re: Is this correct Prolog? [ Tarski ] |
| Message-ID | <t540g5$jst$1@dont-email.me> |
| In reply to | #49837 |
On 5/6/2022 6:43 AM, Richard Damon wrote: > > On 5/5/22 10:37 PM, olcott wrote: >> On 5/5/2022 9:24 PM, Richard Damon wrote: >>> On 5/5/22 1:57 PM, olcott wrote: > >>>> G is self-contradictory on the theory and non self-contradictory in >>>> the meta-theory. >>> >>> No, because in the theory, G doesn't even reference itself, so it >>> can't be self-contradictory. >>> >> >> Gödel says: >> ...We are therefore confronted with a proposition which asserts its >> own unprovability. >> > > Which is Godel making a comment about G, and not a statement in G itself. > > G does not directly mention itself in the Theory. Gödel says that it does with dodgy words that also says that it does not. 15 In spite of appearances, there is nothing circular about such a proposition, since it begins by asserting the unprovability of a wholly determinate formula (namely the q-th in the alphabetical arrangement with a definite substitution), and only subsequently (and in some way by accident)does it emerge that this formula is precisely that by which the proposition was itself expressed.END:(Gödel 1931:39-41) Gödel's footnote 15 is dodgy in that although it denies the circularity of his proposition he affirms its circularity in the same paragraph that he denies it: Removing the dodgy words from the above. a proposition...begins by asserting the unprovability of a wholly determinate formula...this formula is precisely that by which the proposition was itself expressed. Paraphrasing the above using less clumsy words: a proposition asserts the unprovability of a formula that expresses this same proposition https://www.researchgate.net/publication/350789898_Prolog_detects_and_rejects_pathological_self_reference_in_the_Godel_sentence > >>> I think you don't even know what G is, but have only read the clift >>> notes edition that actually explain it in the meta-theory. >> >> > > So this comment of mine is now proven. > > And you have prooved to be a Liar and an idiot, as you abolutely don't > know what you are talking about. -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Ben <ben.usenet@bsb.me.uk> |
|---|---|
| Date | 2022-05-03 15:59 +0100 |
| Message-ID | <874k26slv4.fsf@bsb.me.uk> |
| In reply to | #49545 |
olcott <polcott2@gmail.com> writes: > On 5/2/2022 9:21 PM, Ben wrote: >> olcott <polcott2@gmail.com> writes: >> >>> On 5/2/2022 6:43 PM, Ben wrote: >>>> Aleksy Grabowski <hurufu@gmail.com> writes: >> >>>>> 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. >>>> >>>> And indeed there is a fully formalised proof of GIT in Coq (though I >>>> think it's the slightly tighter Gödel-Rosser version). >>> >>> It is true that G is not provable. >> G is provable. Proofs abound. I was pointing out one in a proper proof >> assistant, Coq. > > It is OK that you are not a math guy. You are not a math guy. I am. > If you were a math guy you would understand that if G is provable then > that makes Gödel totally wrong. G is not Gödel's theorem, it is a key > element of his theorem. No. G is provable. Though I did make a mistake -- the link was to a proof of G-RIT not G. How are you getting on with E and specifying P? Have you given up? -- Ben. "le génie humain a des limites, quand la bêtise humaine n’en a pas" Alexandre Dumas (fils)
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 10:44 -0500 |
| Message-ID | <t4ril8$c7r$1@dont-email.me> |
| In reply to | #49557 |
On 5/3/2022 9:59 AM, Ben wrote: > olcott <polcott2@gmail.com> writes: > >> On 5/2/2022 9:21 PM, Ben wrote: >>> olcott <polcott2@gmail.com> writes: >>> >>>> On 5/2/2022 6:43 PM, Ben wrote: >>>>> Aleksy Grabowski <hurufu@gmail.com> writes: >>> >>>>>> 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. >>>>> >>>>> And indeed there is a fully formalised proof of GIT in Coq (though I >>>>> think it's the slightly tighter Gödel-Rosser version). >>>> >>>> It is true that G is not provable. >>> G is provable. Proofs abound. I was pointing out one in a proper proof >>> assistant, Coq. >> >> It is OK that you are not a math guy. > > You are not a math guy. I am. > >> If you were a math guy you would understand that if G is provable then >> that makes Gödel totally wrong. G is not Gödel's theorem, it is a key >> element of his theorem. > > No. G is provable. Though I did make a mistake -- the link was to a > proof of G-RIT not G. > Then you would know that this is the mathematical definition of Incompleteness: Incomplete(PA) ↔ ∃G ((PA ⊬ G) ∧ (PA ⊬ ¬G)). Incomplete PA means that there exists a G such that G is not provable or refutable in formal system PA. Since you don't know this that proves you are not a math guy relative to Gödel's 1931 Incompleteness Theorem. > How are you getting on with E and specifying P? Have you given up? > I decided to write the whole TM interpreter from scratch. It will have this file format: Quintuples of ASCII text with inline comments BEGIN_TAPE // on a line by itself. Initial Tape Data // lines of ASCII text delimited by newline. It will output a complete execution trace. When I have the design of this system as my basis: http://www.lns.mit.edu/~dsw/turing/turing.html Writing a TM interpreter from scratch is nearly trivial. My TM interpreter will start out with the same kind of 7-bit states and characters that the above system has. This is trivially expanded to 8-bit, 16-bit or 32-bit hexadecimal. The system currently reads lines of text from a text file. I have to change this to reads lines of text from a specified input parameter filename. I may be able to write the whole system within four labor hours after that. I forget how to read lines of text, so that took a while. I can publish the source code when I am done. I will probably call it "Simplest TM interpreter." I may publish it on GIT hub, I already have an account. -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 14:49 -0500 |
| Message-ID | <t4s10k$gga$1@dont-email.me> |
| In reply to | #49557 |
On 5/3/2022 9:59 AM, Ben wrote:
> olcott <polcott2@gmail.com> writes:
>
>> On 5/2/2022 9:21 PM, Ben wrote:
>>> olcott <polcott2@gmail.com> writes:
>>>
>>>> On 5/2/2022 6:43 PM, Ben wrote:
>>>>> Aleksy Grabowski <hurufu@gmail.com> writes:
>>>
>>>>>> 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.
>>>>>
>>>>> And indeed there is a fully formalised proof of GIT in Coq (though I
>>>>> think it's the slightly tighter Gödel-Rosser version).
>>>>
>>>> It is true that G is not provable.
>>> G is provable. Proofs abound. I was pointing out one in a proper proof
>>> assistant, Coq.
>>
>> It is OK that you are not a math guy.
>
> You are not a math guy. I am.
>
>> If you were a math guy you would understand that if G is provable then
>> that makes Gödel totally wrong. G is not Gödel's theorem, it is a key
>> element of his theorem.
>
> No. G is provable. Though I did make a mistake -- the link was to a
> proof of G-RIT not G.
>
> How are you getting on with E and specifying P? Have you given up?
>
The barest skeleton of my {Simplest TM interpreter} is complete.
I usually have a copy of the skeleton for reading the lines of a text
file, I had to recreate this one from scratch.
The next step is to make the detailed design.
I am shooting to complete the whole project in four labor hours from
now. I excluded the tedious syntax related aspects of the text file
reader because this always takes far too long.
#include <iostream>
#include <fstream>
#include <string>
inline void Outlines(std::string FileName)
{
std::string Line;
std::ifstream fin;
fin.open(FileName.c_str());
if (!fin.is_open())
{
std::cout << FileName << " " << "Does Not Exist!";
return;
}
while (std::getline(fin, Line))
{
printf("%s\n", Line.c_str());
}
fin.close();
}
int main(int argc, char *argv[])
{
if (argc != 2)
printf("Must provide Filename\n");
else
Outlines(argv[1]);
}
--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Python <python@example.invalid> |
|---|---|
| Date | 2022-05-04 00:13 +0200 |
| Message-ID | <t4s9db$m57$1@gioia.aioe.org> |
| In reply to | #49594 |
Peter Olcott wrote:
...
> The barest skeleton of my {Simplest TM interpreter} is complete.
> I usually have a copy of the skeleton for reading the lines of a text
> file, I had to recreate this one from scratch.
>
> The next step is to make the detailed design.
> I am shooting to complete the whole project in four labor hours from
> now. I excluded the tedious syntax related aspects of the text file
> reader because this always takes far too long.
>
> #include <iostream>
> #include <fstream>
> #include <string>
>
>
> inline void Outlines(std::string FileName)
> {
> std::string Line;
> std::ifstream fin;
>
> fin.open(FileName.c_str());
> if (!fin.is_open())
> {
> std::cout << FileName << " " << "Does Not Exist!";
> return;
> }
> while (std::getline(fin, Line))
> {
> printf("%s\n", Line.c_str());
> }
> fin.close();
> }
>
>
> int main(int argc, char *argv[])
> {
> if (argc != 2)
> printf("Must provide Filename\n");
> else
> Outlines(argv[1]);
> }
It is a joke, right?
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 17:23 -0500 |
| Message-ID | <t4sa06$o08$1@dont-email.me> |
| In reply to | #49608 |
On 5/3/2022 5:13 PM, Python wrote:
> Peter Olcott wrote:
> ...
>> The barest skeleton of my {Simplest TM interpreter} is complete.
>> I usually have a copy of the skeleton for reading the lines of a text
>> file, I had to recreate this one from scratch.
>>
>> The next step is to make the detailed design.
>> I am shooting to complete the whole project in four labor hours from
>> now. I excluded the tedious syntax related aspects of the text file
>> reader because this always takes far too long.
>>
>> #include <iostream>
>> #include <fstream>
>> #include <string>
>>
>>
>> inline void Outlines(std::string FileName)
>> {
>> std::string Line;
>> std::ifstream fin;
>>
>> fin.open(FileName.c_str());
>> if (!fin.is_open())
>> {
>> std::cout << FileName << " " << "Does Not Exist!";
>> return;
>> }
>> while (std::getline(fin, Line))
>> {
>> printf("%s\n", Line.c_str());
>> }
>> fin.close();
>> }
>>
>>
>> int main(int argc, char *argv[])
>> {
>> if (argc != 2)
>> printf("Must provide Filename\n");
>> else
>> Outlines(argv[1]);
>> }
>
> It is a joke, right?
>
>
This is a file that only reads and outputs text lines, thus provides the
skeleton for my Simplest TM interpreter. I almost always have some code
that I can cut-and-paste this from. I couldn't find it so I had to
create this from scratch.
I count this as my starting point for my Simplest TM interpreter. I want
to see if I can get the entire project completed in less that four
hours, including detailed design, coding and debugging and not including
user documentation. So far I made great progress on the detailed design
in two minutes.
It is based on the design of this system yet much simpler:
http://www.lns.mit.edu/~dsw/turing/turing.html
--
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | Python <python@example.invalid> |
|---|---|
| Date | 2022-05-04 00:40 +0200 |
| Message-ID | <t4sb14$19nf$1@gioia.aioe.org> |
| In reply to | #49613 |
Petr Olcott wrote: ... > This is a file that only reads and outputs text lines, thus provides the > skeleton for my Simplest TM interpreter. I almost always have some code > that I can cut-and-paste this from. I couldn't find it so I had to > create this from scratch. > > I count this as my starting point for my Simplest TM interpreter. I want > to see if I can get the entire project completed in less that four > hours, including detailed design, coding and debugging and not including > user documentation. So far I made great progress on the detailed design > in two minutes. This is also a good starting point for a POSIX compatible operating system kernel, you should post it to comp.minix (this previous sentence is a pun). Any decent programmer should be able to design and code a TM in C (I've done it in almost all languages I know about, btw) in less than four hours. Well. Under the condition that she/he understands what a TM is. Unfortunately, Peter, you don't. > It is based on the design of this system yet much simpler: > http://www.lns.mit.edu/~dsw/turing/turing.html You didn't spot why your post can be taken for a joke? Really? What kind of brain damage do you suffer of?
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 17:47 -0500 |
| Message-ID | <t4sbdh$1hg$1@dont-email.me> |
| In reply to | #49616 |
On 5/3/2022 5:40 PM, Python wrote: > Petr Olcott wrote: > ... >> This is a file that only reads and outputs text lines, thus provides >> the skeleton for my Simplest TM interpreter. I almost always have some >> code that I can cut-and-paste this from. I couldn't find it so I had >> to create this from scratch. >> >> I count this as my starting point for my Simplest TM interpreter. I >> want to see if I can get the entire project completed in less that >> four hours, including detailed design, coding and debugging and not >> including user documentation. So far I made great progress on the >> detailed design in two minutes. > > This is also a good starting point for a POSIX compatible operating > system kernel, you should post it to comp.minix (this previous sentence > is a pun). > > Any decent programmer should be able to design and code a TM in C > (I've done it in almost all languages I know about, btw) in less than > four hours. Well. Under the condition that she/he understands what a > TM is. Unfortunately, Peter, you don't. > I proved that I have the complete specification shown below. The entire architecture of a TM is specified in the first three paragraphs. I did have to decide for myself where to put the tape initialization in the TM description file. The system below requires this to be manually entered on the command line. That is why I decided to write this myself. >> It is based on the design of this system yet much simpler: >> http://www.lns.mit.edu/~dsw/turing/turing.html > > You didn't spot why your post can be taken for a joke? Really? > > What kind of brain damage do you suffer of? > > -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2022-05-03 09:18 -0600 |
| Message-ID | <t4rh4c$t51$1@dont-email.me> |
| In reply to | #49541 |
On 2022-05-02 18:57, olcott wrote: > On 5/2/2022 6:43 PM, Ben wrote: >> Aleksy Grabowski <hurufu@gmail.com> writes: >> >>>> 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. >> >> And indeed there is a fully formalised proof of GIT in Coq (though I >> think it's the slightly tighter Gödel-Rosser version). >> > > It is true that G is not provable. G is not provable because it is > semantically incorrect in the exactly same way that the Liar Paradox is > semantically incorrect. > > Gödel says: > 14 Every epistemological antinomy can likewise be used for a similar > undecidability proof > > André denied this six times yesterday > The Liar Paradox is an epistemological antinomy, thus can likewise be > used for a similar undecidability proof. No. The Liar can be used to construct an *identical* proof. Other antinomies could be used for similar proofs. He's already talking about The Liar. > Which means that the Liar Paradox is sufficiently equivalent to Gödel's > G. Which means if the basic mechanism of epistemological antinomy is > shown to be semantically incorrect then Gödel's G is shown to be > semantically incorrect. You have some serious reading comprehension problems. I never denied the things Gödel wrote. I denied your conclusion because it does not follow. Gödel starts by claiming there is a close relationship (*not* equivalence) between one particular antinomy, The Liar, and his G. He then states that similar proofs could be constructed using any antinomy. That entails that other antinomies could be used to construct similar proofs involving a similar close relation (again, *not* equivalence). Gödel never claims *any* antinomy is equivalent to his G. Merely that a close relationship holds. And all my comments concerned exactly what that relationship is. André -- To email remove 'invalid' & replace 'gm' with well known Google mail service.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 11:08 -0500 |
| Message-ID | <t4rk2m$rei$1@dont-email.me> |
| In reply to | #49559 |
On 5/3/2022 10:18 AM, André G. Isaak wrote: > On 2022-05-02 18:57, olcott wrote: >> On 5/2/2022 6:43 PM, Ben wrote: >>> Aleksy Grabowski <hurufu@gmail.com> writes: >>> >>>>> 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. >>> >>> And indeed there is a fully formalised proof of GIT in Coq (though I >>> think it's the slightly tighter Gödel-Rosser version). >>> >> >> It is true that G is not provable. G is not provable because it is >> semantically incorrect in the exactly same way that the Liar Paradox >> is semantically incorrect. >> >> Gödel says: >> 14 Every epistemological antinomy can likewise be used for a similar >> undecidability proof >> >> André denied this six times yesterday >> The Liar Paradox is an epistemological antinomy, thus can likewise be >> used for a similar undecidability proof. > > No. > The Liar can be used to construct an *identical* proof. Really? > Other > antinomies could be used for similar proofs. He's already talking about > The Liar. > >> Which means that the Liar Paradox is sufficiently equivalent to >> Gödel's G. Which means if the basic mechanism of epistemological >> antinomy is shown to be semantically incorrect then Gödel's G is shown >> to be semantically incorrect. > > You have some serious reading comprehension problems. I never denied the > things Gödel wrote. I denied your conclusion because it does not follow. > > Gödel starts by claiming there is a close relationship (*not* > equivalence) between one particular antinomy, The Liar, and his G. > > He then states that similar proofs could be constructed using any antinomy. > > That entails that other antinomies could be used to construct similar > proofs involving a similar close relation (again, *not* equivalence). > That you persisted (six times) on claiming that Gödel's statement about the Liar Paradox overrode and superseded his statement about the entire category that the Liar Paradox belongs to was despicably deceitful, unless you believe that "close relationship" is stronger than "similar undecidability proof". In that case you never lied about this. I really only want an honest dialogue so I am happy to admit my mistakes. > Gödel never claims *any* antinomy is equivalent to his G. Merely that a > close relationship holds. > I take "similar undecidability proof" to mean isomorphic. https://en.wikipedia.org/wiki/Isomorphism Without carefully studying the philosophical underpinnings of the concept if incompleteness: Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). Incomplete T means that there exists a φ such that φ is not provable or refutable in formal system T. The above is the precise measure of isomorphism. Anything meeting the above specification is isomorphic to Gödel's G. One might not feel comfortable that isomorphic is what Gödel by "similar undecidability proof". When we examine the above definition of Incompleteness applied to the entire set of epistemological antinomies, then we realize that all of them are making the category mistake (thanks Flibble) of presuming that φ is a logic sentence / truth bearer. Here is my first example of a category / type mismatch error that I wrote back in 2004: "What time is it (yes or no)?" > And all my comments con cerned exactly what that relationship is. > > André > -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2022-05-03 10:52 -0600 |
| Message-ID | <t4rmkb$jrt$1@dont-email.me> |
| In reply to | #49564 |
On 2022-05-03 10:08, olcott wrote: > On 5/3/2022 10:18 AM, André G. Isaak wrote: >> On 2022-05-02 18:57, olcott wrote: >>> On 5/2/2022 6:43 PM, Ben wrote: >>>> Aleksy Grabowski <hurufu@gmail.com> writes: >>>> >>>>>> 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. >>>> >>>> And indeed there is a fully formalised proof of GIT in Coq (though I >>>> think it's the slightly tighter Gödel-Rosser version). >>>> >>> >>> It is true that G is not provable. G is not provable because it is >>> semantically incorrect in the exactly same way that the Liar Paradox >>> is semantically incorrect. >>> >>> Gödel says: >>> 14 Every epistemological antinomy can likewise be used for a similar >>> undecidability proof >>> >>> André denied this six times yesterday >>> The Liar Paradox is an epistemological antinomy, thus can likewise be >>> used for a similar undecidability proof. >> >> No. The Liar can be used to construct an *identical* proof. > > Really? Of course really. His original proof drew on The Liar for inspiration. So a proof which draws on The Liar would be the same proof. He is saying that he could have used ANY antinomy. IOW, he could have chosen a *different* antinomy from The Liar, call it Antinomy X, and constructed a *similar* proof around that. It would not be the same proof, but it would involve constructing some sentence G-Prime which held the same relation to Antinomy X as G hold to The Liar. But there would not be an equivalence between G-Prime and X anymore than there is an equivalence between G and The Liar. This is the point I keep trying to drive home. There is NO EQUIVALENCE between G and the The Liar. Only a close relationship. >> Other antinomies could be used for similar proofs. He's already >> talking about The Liar. >> >>> Which means that the Liar Paradox is sufficiently equivalent to >>> Gödel's G. Which means if the basic mechanism of epistemological >>> antinomy is shown to be semantically incorrect then Gödel's G is >>> shown to be semantically incorrect. >> >> You have some serious reading comprehension problems. I never denied >> the things Gödel wrote. I denied your conclusion because it does not >> follow. >> >> Gödel starts by claiming there is a close relationship (*not* >> equivalence) between one particular antinomy, The Liar, and his G. >> >> He then states that similar proofs could be constructed using any >> antinomy. >> >> That entails that other antinomies could be used to construct similar >> proofs involving a similar close relation (again, *not* equivalence). >> > > That you persisted (six times) on claiming that Gödel's statement about > the Liar Paradox overrode and superseded his statement about the entire > category that the Liar Paradox belongs to was despicably deceitful, Except I made no such claim. Not even once. You persisted (six times) in misreading my claim. > unless you believe that "close relationship" is stronger than "similar > undecidability proof". In that case you never lied about this. I really > only want an honest dialogue so I am happy to admit my mistakes. > >> Gödel never claims *any* antinomy is equivalent to his G. Merely that >> a close relationship holds. >> > > I take "similar undecidability proof" to mean isomorphic. Fine. That would mean the proof involving the Liar and G would be isomorphic to the proof involving antinomy X and G-Prime. That does *NOT* get you to the claim you were making which was that G in some sense equivalent to The Liar. It is not. And your claim that G is not a truth bearer rests on your false claim that G and The Liar are somehow equivalent (though you refuse to say with respect to what). G is very clearly a truth-bearer. Go back and reread my original explanation. > https://en.wikipedia.org/wiki/Isomorphism > Without carefully studying the philosophical underpinnings of the > concept if incompleteness: > > Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). > > Incomplete T means that there exists a φ such that φ is not provable or > refutable in formal system T. > > The above is the precise measure of isomorphism. Anything meeting the > above specification is isomorphic to Gödel's G. > > One might not feel comfortable that isomorphic is what Gödel by "similar > undecidability proof". When we examine the above definition of > Incompleteness applied to the entire set of epistemological antinomies, > then we realize that all of them are making the category mistake (thanks > Flibble) of presuming that φ is a logic sentence / truth bearer. Gödel's G is most definitely a truth bearer. It asserts that a specific polynomial equation has an integer solution. That claim must either be true or false. André -- To email remove 'invalid' & replace 'gm' with well known Google mail service.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 12:05 -0500 |
| Message-ID | <t4rncl$qtf$1@dont-email.me> |
| In reply to | #49567 |
On 5/3/2022 11:52 AM, André G. Isaak wrote: > On 2022-05-03 10:08, olcott wrote: >> On 5/3/2022 10:18 AM, André G. Isaak wrote: >>> On 2022-05-02 18:57, olcott wrote: >>>> On 5/2/2022 6:43 PM, Ben wrote: >>>>> Aleksy Grabowski <hurufu@gmail.com> writes: >>>>> >>>>>>> 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. >>>>> >>>>> And indeed there is a fully formalised proof of GIT in Coq (though I >>>>> think it's the slightly tighter Gödel-Rosser version). >>>>> >>>> >>>> It is true that G is not provable. G is not provable because it is >>>> semantically incorrect in the exactly same way that the Liar Paradox >>>> is semantically incorrect. >>>> >>>> Gödel says: >>>> 14 Every epistemological antinomy can likewise be used for a similar >>>> undecidability proof >>>> >>>> André denied this six times yesterday >>>> The Liar Paradox is an epistemological antinomy, thus can likewise >>>> be used for a similar undecidability proof. >>> >>> No. The Liar can be used to construct an *identical* proof. >> >> Really? > > Of course really. > > His original proof drew on The Liar for inspiration. So a proof which > draws on The Liar would be the same proof. > > He is saying that he could have used ANY antinomy. > > IOW, he could have chosen a *different* antinomy from The Liar, call it > Antinomy X, and constructed a *similar* proof around that. It would not > be the same proof, but it would involve constructing some sentence > G-Prime which held the same relation to Antinomy X as G hold to The Liar. > > But there would not be an equivalence between G-Prime and X anymore than > there is an equivalence between G and The Liar. > > This is the point I keep trying to drive home. There is NO EQUIVALENCE > between G and the The Liar. Only a close relationship. > >>> Other antinomies could be used for similar proofs. He's already >>> talking about The Liar. >>> >>>> Which means that the Liar Paradox is sufficiently equivalent to >>>> Gödel's G. Which means if the basic mechanism of epistemological >>>> antinomy is shown to be semantically incorrect then Gödel's G is >>>> shown to be semantically incorrect. >>> >>> You have some serious reading comprehension problems. I never denied >>> the things Gödel wrote. I denied your conclusion because it does not >>> follow. >>> >>> Gödel starts by claiming there is a close relationship (*not* >>> equivalence) between one particular antinomy, The Liar, and his G. >>> >>> He then states that similar proofs could be constructed using any >>> antinomy. >>> >>> That entails that other antinomies could be used to construct similar >>> proofs involving a similar close relation (again, *not* equivalence). >>> >> >> That you persisted (six times) on claiming that Gödel's statement >> about the Liar Paradox overrode and superseded his statement about the >> entire category that the Liar Paradox belongs to was despicably >> deceitful, > > Except I made no such claim. Not even once. You persisted (six times) in > misreading my claim. > >> unless you believe that "close relationship" is stronger than "similar >> undecidability proof". In that case you never lied about this. I >> really only want an honest dialogue so I am happy to admit my mistakes. >> >>> Gödel never claims *any* antinomy is equivalent to his G. Merely that >>> a close relationship holds. >>> >> >> I take "similar undecidability proof" to mean isomorphic. > > Fine. That would mean the proof involving the Liar and G would be > isomorphic to the proof involving antinomy X and G-Prime. > I have no idea what you mean by G-Prime. > That does *NOT* get you to the claim you were making which was that G in > some sense equivalent to The Liar. It is not. > > And your claim that G is not a truth bearer rests on your false claim > that G and The Liar are somehow equivalent (though you refuse to say > with respect to what). Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). It is the fact that the mathematical definition of Incompleteness simply assumes that φ is semantically correct that is the core mistake of the mathematical definition of Incompleteness. > G is very clearly a truth-bearer. Go back and > reread my original explanation. > When G is not provable in PA, how is it shown to be true? If it is not shown to be true in PA then we have the strawman error. >> https://en.wikipedia.org/wiki/Isomorphism >> Without carefully studying the philosophical underpinnings of the >> concept if incompleteness: >> >> Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >> >> Incomplete T means that there exists a φ such that φ is not provable >> or refutable in formal system T. >> >> The above is the precise measure of isomorphism. Anything meeting the >> above specification is isomorphic to Gödel's G. >> >> One might not feel comfortable that isomorphic is what Gödel by >> "similar undecidability proof". When we examine the above definition >> of Incompleteness applied to the entire set of epistemological >> antinomies, then we realize that all of them are making the category >> mistake (thanks Flibble) of presuming that φ is a logic sentence / >> truth bearer. > > Gödel's G is most definitely a truth bearer. It asserts that a specific > polynomial equation has an integer solution. That claim must either be > true or false. > > André > When G is not provable in PA, how is it shown to be true? If it is not shown to be true in PA then we have the strawman error. -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2022-05-03 11:17 -0600 |
| Message-ID | <t4ro31$1kc$1@dont-email.me> |
| In reply to | #49569 |
On 2022-05-03 11:05, olcott wrote: > On 5/3/2022 11:52 AM, André G. Isaak wrote: >> On 2022-05-03 10:08, olcott wrote: >>> On 5/3/2022 10:18 AM, André G. Isaak wrote: >>>> On 2022-05-02 18:57, olcott wrote: >>>>> On 5/2/2022 6:43 PM, Ben wrote: >>>>>> Aleksy Grabowski <hurufu@gmail.com> writes: >>>>>> >>>>>>>> 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. >>>>>> >>>>>> And indeed there is a fully formalised proof of GIT in Coq (though I >>>>>> think it's the slightly tighter Gödel-Rosser version). >>>>>> >>>>> >>>>> It is true that G is not provable. G is not provable because it is >>>>> semantically incorrect in the exactly same way that the Liar >>>>> Paradox is semantically incorrect. >>>>> >>>>> Gödel says: >>>>> 14 Every epistemological antinomy can likewise be used for a >>>>> similar undecidability proof >>>>> >>>>> André denied this six times yesterday >>>>> The Liar Paradox is an epistemological antinomy, thus can likewise >>>>> be used for a similar undecidability proof. >>>> >>>> No. The Liar can be used to construct an *identical* proof. >>> >>> Really? >> >> Of course really. >> >> His original proof drew on The Liar for inspiration. So a proof which >> draws on The Liar would be the same proof. >> >> He is saying that he could have used ANY antinomy. >> >> IOW, he could have chosen a *different* antinomy from The Liar, call >> it Antinomy X, and constructed a *similar* proof around that. It would >> not be the same proof, but it would involve constructing some sentence >> G-Prime which held the same relation to Antinomy X as G hold to The Liar. >> >> But there would not be an equivalence between G-Prime and X anymore >> than there is an equivalence between G and The Liar. >> >> This is the point I keep trying to drive home. There is NO EQUIVALENCE >> between G and the The Liar. Only a close relationship. >> >>>> Other antinomies could be used for similar proofs. He's already >>>> talking about The Liar. >>>> >>>>> Which means that the Liar Paradox is sufficiently equivalent to >>>>> Gödel's G. Which means if the basic mechanism of epistemological >>>>> antinomy is shown to be semantically incorrect then Gödel's G is >>>>> shown to be semantically incorrect. >>>> >>>> You have some serious reading comprehension problems. I never denied >>>> the things Gödel wrote. I denied your conclusion because it does not >>>> follow. >>>> >>>> Gödel starts by claiming there is a close relationship (*not* >>>> equivalence) between one particular antinomy, The Liar, and his G. >>>> >>>> He then states that similar proofs could be constructed using any >>>> antinomy. >>>> >>>> That entails that other antinomies could be used to construct >>>> similar proofs involving a similar close relation (again, *not* >>>> equivalence). >>>> >>> >>> That you persisted (six times) on claiming that Gödel's statement >>> about the Liar Paradox overrode and superseded his statement about >>> the entire category that the Liar Paradox belongs to was despicably >>> deceitful, >> >> Except I made no such claim. Not even once. You persisted (six times) >> in misreading my claim. >> >>> unless you believe that "close relationship" is stronger than >>> "similar undecidability proof". In that case you never lied about >>> this. I really only want an honest dialogue so I am happy to admit my >>> mistakes. >>> >>>> Gödel never claims *any* antinomy is equivalent to his G. Merely >>>> that a close relationship holds. >>>> >>> >>> I take "similar undecidability proof" to mean isomorphic. >> >> Fine. That would mean the proof involving the Liar and G would be >> isomorphic to the proof involving antinomy X and G-Prime. >> > > I have no idea what you mean by G-Prime. It is defined directly above. Trying reading more carefully. >> That does *NOT* get you to the claim you were making which was that G >> in some sense equivalent to The Liar. It is not. >> >> And your claim that G is not a truth bearer rests on your false claim >> that G and The Liar are somehow equivalent (though you refuse to say >> with respect to what). > > Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). > It is the fact that the mathematical definition of Incompleteness simply > assumes that φ is semantically correct that is the core mistake of the > mathematical definition of Incompleteness. > >> G is very clearly a truth-bearer. Go back and reread my original >> explanation. >> > > When G is not provable in PA, how is it shown to be true? > If it is not shown to be true in PA then we have the strawman error. Here you're simply begging the question by assuming your own conclusion: that being true and being provable are the same. The whole point of Gödel's proof is that they cannot be the same (at least not for non-trivial systems). The question is not whether it is true but whether it is a truth *bearer*. You make the claim that The Liar is not a truth bearer (a plausible claim depending on one's definitions). You then jump to the conclusion that G is not a truth bearer based on your assertion that it is "equivalent" to The Liar. But it is *NOT* equivalent. It merely bears a close relationship. But you refuse to actually consider what the nature of that relationship; there are both similiarites and differences. Whereas the Liar has no content other than to assert its own falsity, Gödel's G has definite content. It does not assert its own unprovability, it asserts a very specific mathematical claim, one which must by its nature be either true or false. Therefore G *is* a truth bearer. The formulation that G asserts its own unprovability is the Cliff-Notes version of the proof. It's not the substance of the actual proof. André -- To email remove 'invalid' & replace 'gm' with well known Google mail service.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 12:33 -0500 |
| Message-ID | <t4rp26$a70$1@dont-email.me> |
| In reply to | #49572 |
On 5/3/2022 12:17 PM, André G. Isaak wrote: > On 2022-05-03 11:05, olcott wrote: >> On 5/3/2022 11:52 AM, André G. Isaak wrote: >>> On 2022-05-03 10:08, olcott wrote: >>>> On 5/3/2022 10:18 AM, André G. Isaak wrote: >>>>> On 2022-05-02 18:57, olcott wrote: >>>>>> On 5/2/2022 6:43 PM, Ben wrote: >>>>>>> Aleksy Grabowski <hurufu@gmail.com> writes: >>>>>>> >>>>>>>>> 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. >>>>>>> >>>>>>> And indeed there is a fully formalised proof of GIT in Coq (though I >>>>>>> think it's the slightly tighter Gödel-Rosser version). >>>>>>> >>>>>> >>>>>> It is true that G is not provable. G is not provable because it is >>>>>> semantically incorrect in the exactly same way that the Liar >>>>>> Paradox is semantically incorrect. >>>>>> >>>>>> Gödel says: >>>>>> 14 Every epistemological antinomy can likewise be used for a >>>>>> similar undecidability proof >>>>>> >>>>>> André denied this six times yesterday >>>>>> The Liar Paradox is an epistemological antinomy, thus can likewise >>>>>> be used for a similar undecidability proof. >>>>> >>>>> No. The Liar can be used to construct an *identical* proof. >>>> >>>> Really? >>> >>> Of course really. >>> >>> His original proof drew on The Liar for inspiration. So a proof which >>> draws on The Liar would be the same proof. >>> >>> He is saying that he could have used ANY antinomy. >>> >>> IOW, he could have chosen a *different* antinomy from The Liar, call >>> it Antinomy X, and constructed a *similar* proof around that. It >>> would not be the same proof, but it would involve constructing some >>> sentence G-Prime which held the same relation to Antinomy X as G hold >>> to The Liar. >>> >>> But there would not be an equivalence between G-Prime and X anymore >>> than there is an equivalence between G and The Liar. >>> >>> This is the point I keep trying to drive home. There is NO >>> EQUIVALENCE between G and the The Liar. Only a close relationship. >>> >>>>> Other antinomies could be used for similar proofs. He's already >>>>> talking about The Liar. >>>>> >>>>>> Which means that the Liar Paradox is sufficiently equivalent to >>>>>> Gödel's G. Which means if the basic mechanism of epistemological >>>>>> antinomy is shown to be semantically incorrect then Gödel's G is >>>>>> shown to be semantically incorrect. >>>>> >>>>> You have some serious reading comprehension problems. I never >>>>> denied the things Gödel wrote. I denied your conclusion because it >>>>> does not follow. >>>>> >>>>> Gödel starts by claiming there is a close relationship (*not* >>>>> equivalence) between one particular antinomy, The Liar, and his G. >>>>> >>>>> He then states that similar proofs could be constructed using any >>>>> antinomy. >>>>> >>>>> That entails that other antinomies could be used to construct >>>>> similar proofs involving a similar close relation (again, *not* >>>>> equivalence). >>>>> >>>> >>>> That you persisted (six times) on claiming that Gödel's statement >>>> about the Liar Paradox overrode and superseded his statement about >>>> the entire category that the Liar Paradox belongs to was despicably >>>> deceitful, >>> >>> Except I made no such claim. Not even once. You persisted (six times) >>> in misreading my claim. >>> >>>> unless you believe that "close relationship" is stronger than >>>> "similar undecidability proof". In that case you never lied about >>>> this. I really only want an honest dialogue so I am happy to admit >>>> my mistakes. >>>> >>>>> Gödel never claims *any* antinomy is equivalent to his G. Merely >>>>> that a close relationship holds. >>>>> >>>> >>>> I take "similar undecidability proof" to mean isomorphic. >>> >>> Fine. That would mean the proof involving the Liar and G would be >>> isomorphic to the proof involving antinomy X and G-Prime. >>> >> >> I have no idea what you mean by G-Prime. > > It is defined directly above. Trying reading more carefully. OK. > >>> That does *NOT* get you to the claim you were making which was that G >>> in some sense equivalent to The Liar. It is not. >>> >>> And your claim that G is not a truth bearer rests on your false claim >>> that G and The Liar are somehow equivalent (though you refuse to say >>> with respect to what). >> >> Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >> It is the fact that the mathematical definition of Incompleteness >> simply assumes that φ is semantically correct that is the core mistake >> of the mathematical definition of Incompleteness. >> >>> G is very clearly a truth-bearer. Go back and reread my original >>> explanation. >>> >> >> When G is not provable in PA, how is it shown to be true? >> If it is not shown to be true in PA then we have the strawman error. > > Here you're simply begging the question by assuming your own conclusion: > that being true and being provable are the same. This is not any mere assumption. The only way that any analytic expressions of language are correctly determined to be true is: (a) They are defined to be true. (b) They are derived from applying truth preserving operations to (a) or (b). Prolog knows this on the basis of its facts and rules. Facts are (a) and rules are (b). This is also known as sound deductive inference. > The whole point of > Gödel's proof is that they cannot be the same (at least not for > non-trivial systems). > When G is not provable in PA, how is it shown to be true (wild guess)? What is the precise basis for assessing that G is true? please provide ALL the steps. > The question is not whether it is true but whether it is a truth *bearer*. > > You make the claim that The Liar is not a truth bearer (a plausible > claim depending on one's definitions). > > You then jump to the conclusion that G is not a truth bearer based on > your assertion that it is "equivalent" to The Liar. But it is *NOT* > equivalent. It merely bears a close relationship. But you refuse to > actually consider what the nature of that relationship; there are both > similiarites and differences. > Precise equivalence is defined by this: Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). The Liar Paradox can be neither proven nor refuted where T is the entire body of analytic knowledge and φ is LP. > Whereas the Liar has no content other than to assert its own falsity, > Gödel's G has definite content. It does not assert its own > unprovability, it asserts a very specific mathematical claim, one which > must by its nature be either true or false. Therefore G *is* a truth > bearer. > > The formulation that G asserts its own unprovability is the Cliff-Notes > version of the proof. It's not the substance of the actual proof. > > André It is isomorphic to the substance of the actual proof. Gödel says: since the undecidable proposition [R(q); q] states precisely that q belongs to K, i.e. according to (1), that [R(q); q] is not provable. We are therefore confronted with a proposition which asserts its own unprovability. -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2022-05-03 12:23 -0600 |
| Message-ID | <t4rruh$557$1@dont-email.me> |
| In reply to | #49577 |
On 2022-05-03 11:33, olcott wrote: > On 5/3/2022 12:17 PM, André G. Isaak wrote: >> On 2022-05-03 11:05, olcott wrote: >>> On 5/3/2022 11:52 AM, André G. Isaak wrote: <snippage> >>>> G is very clearly a truth-bearer. Go back and reread my original >>>> explanation. >>>> >>> >>> When G is not provable in PA, how is it shown to be true? >>> If it is not shown to be true in PA then we have the strawman error. >> >> Here you're simply begging the question by assuming your own >> conclusion: that being true and being provable are the same. > > This is not any mere assumption. > > The only way that any analytic expressions of language are correctly > determined to be true is: 'True' and 'Correctly determined to be true' mean different things. > (a) They are defined to be true. > (b) They are derived from applying truth preserving operations to (a) or > (b). Prolog knows this on the basis of its facts and rules. Facts are > (a) and rules are (b). This is also known as sound deductive inference. These are YOUR assumptions. They have not been demonstrated. And they are not consistent with the way in which the rest of the world talks about truth. You are talking about provability, not truth. >> The whole point of Gödel's proof is that they cannot be the same (at >> least not for non-trivial systems). >> > > When G is not provable in PA, how is it shown to be true (wild guess)? > What is the precise basis for assessing that G is true? please provide > ALL the steps. "True" and "Known to be true" are entirely different things. Consider the equation Srt((2748 + 87)^3) = 150,948.776 (to 3 decimal places) That equation is true but it is unlikely anyone knew this to be true until now since I very much doubt anyone had previously considered that specific equation. That's doesn't mean it wasn't true all along. Just that no one knew it was true. There are all sorts of cases where we know one thing without knowing all things. I can know with certainty that (A ∨ B) is true meaning that I know that *at least* one of A or B must be true while still not knowing the truth value of either. These sorts of things occur all the time. And not being provable in PA and not being provable are also two different things. >> The question is not whether it is true but whether it is a truth >> *bearer*. >> >> You make the claim that The Liar is not a truth bearer (a plausible >> claim depending on one's definitions). >> >> You then jump to the conclusion that G is not a truth bearer based on >> your assertion that it is "equivalent" to The Liar. But it is *NOT* >> equivalent. It merely bears a close relationship. But you refuse to >> actually consider what the nature of that relationship; there are both >> similiarites and differences. >> > > Precise equivalence is defined by this: > Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). > > The Liar Paradox can be neither proven nor refuted where T is the entire > body of analytic knowledge and φ is LP. The Liar Paradox is a self-contradiction. The Gödel sentence is not. >> Whereas the Liar has no content other than to assert its own falsity, >> Gödel's G has definite content. It does not assert its own >> unprovability, it asserts a very specific mathematical claim, one >> which must by its nature be either true or false. Therefore G *is* a >> truth bearer. >> >> The formulation that G asserts its own unprovability is the >> Cliff-Notes version of the proof. It's not the substance of the actual >> proof. >> >> André > > It is isomorphic to the substance of the actual proof. No. It is not. G asserts a claim about mathematics. It does not assert anything about itself. However, within the metalanguage we can prove that G can only be true if it is not provable within the system under consideration. > Gödel says: > since the undecidable proposition [R(q); q] states precisely that q > belongs to K, i.e. according to (1), that [R(q); q] is not provable. We > are therefore confronted with a proposition which asserts its own > unprovability. We are confronted *in our analysis* with such a situation. But there is no proposition which directly asserts such a thing. The problem is you refuse to look at the actual math and instead look only at the text commentary which is merely a guide to, not the actual substance of, the proof. André -- To email remove 'invalid' & replace 'gm' with well known Google mail service.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 13:59 -0500 |
| Message-ID | <t4ru1s$mre$1@dont-email.me> |
| In reply to | #49582 |
On 5/3/2022 1:23 PM, André G. Isaak wrote: > On 2022-05-03 11:33, olcott wrote: >> On 5/3/2022 12:17 PM, André G. Isaak wrote: >>> On 2022-05-03 11:05, olcott wrote: >>>> On 5/3/2022 11:52 AM, André G. Isaak wrote: > > <snippage> > >>>>> G is very clearly a truth-bearer. Go back and reread my original >>>>> explanation. >>>>> >>>> >>>> When G is not provable in PA, how is it shown to be true? >>>> If it is not shown to be true in PA then we have the strawman error. >>> >>> Here you're simply begging the question by assuming your own >>> conclusion: that being true and being provable are the same. >> >> This is not any mere assumption. >> >> The only way that any analytic expressions of language are correctly >> determined to be true is: > > 'True' and 'Correctly determined to be true' mean different things. > Yes that seems to be correct. On the other hand calling an expression of language true that has not be 'Correctly determined to be true' is an error. If G is claimed to be true then this assertion must be supported by: 'Correctly determined to be true' otherwise the assessment of its truth is no more than a wild guess. >> (a) They are defined to be true. >> (b) They are derived from applying truth preserving operations to (a) >> or (b). Prolog knows this on the basis of its facts and rules. Facts >> are (a) and rules are (b). This is also known as sound deductive >> inference. > > These are YOUR assumptions. They have not been demonstrated. And they > are not consistent with the way in which the rest of the world talks > about truth. You are talking about provability, not truth. > If G is claimed to be true then this assertion must be supported by: 'Correctly determined to be true' otherwise the assessment of its truth is no more than a wild guess. >>> The whole point of Gödel's proof is that they cannot be the same (at >>> least not for non-trivial systems). >>> >> >> When G is not provable in PA, how is it shown to be true (wild guess)? >> What is the precise basis for assessing that G is true? please provide >> ALL the steps. > > "True" and "Known to be true" are entirely different things. > Yes, however: If G is claimed to be true then this assertion must be supported by: 'Correctly determined to be true' otherwise the assessment of its truth is no more than a wild guess. > Consider the equation Srt((2748 + 87)^3) = 150,948.776 (to 3 decimal > places) > (2748 + 87)^3 = 22,785,532,875 What are you sorting with Srt()? > That equation is true but it is unlikely anyone knew this to be true > until now since I very much doubt anyone had previously considered that > specific equation. That's doesn't mean it wasn't true all along. Just > that no one knew it was true. > > There are all sorts of cases where we know one thing without knowing all > things. I can know with certainty that (A ∨ B) is true meaning that I > know that *at least* one of A or B must be true while still not knowing > the truth value of either. These sorts of things occur all the time. > That is not true. If A and B are syntactically correct expressions of a formal language yet neither one is semantically correct then we have the same case as the Liar Paradox not being a truth bearer, thus (A ∨ B) is neither true nor false. > And not being provable in PA and not being provable are also two > different things. > I know that. Yet not being provable in PA also means that G cannot be derived in PA by applying truth preserving operations to the axioms Z of PA or other expressions Y derived from Z or Y. If G is correctly determined to be true then there must be some process detailing the steps of how it is 'Correctly determined to be true'. Lacking these steps one cannot correctly assert that G is true, only that G might possibly be true. >>> The question is not whether it is true but whether it is a truth >>> *bearer*. >>> >>> You make the claim that The Liar is not a truth bearer (a plausible >>> claim depending on one's definitions). >>> >>> You then jump to the conclusion that G is not a truth bearer based on >>> your assertion that it is "equivalent" to The Liar. But it is *NOT* >>> equivalent. It merely bears a close relationship. But you refuse to >>> actually consider what the nature of that relationship; there are >>> both similiarites and differences. >>> >> >> Precise equivalence is defined by this: >> Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >> >> The Liar Paradox can be neither proven nor refuted where T is the >> entire body of analytic knowledge and φ is LP. > > The Liar Paradox is a self-contradiction. The Gödel sentence is not. Until you understand that G can only be correctly asserted to be true in X if G is provable in X. G may be true in X without a proof in X, yet it cannot be correctly asserted to be true in X without such a proof. > >>> Whereas the Liar has no content other than to assert its own falsity, >>> Gödel's G has definite content. It does not assert its own >>> unprovability, it asserts a very specific mathematical claim, one >>> which must by its nature be either true or false. Therefore G *is* a >>> truth bearer. >>> >>> The formulation that G asserts its own unprovability is the >>> Cliff-Notes version of the proof. It's not the substance of the >>> actual proof. >>> >>> André >> >> It is isomorphic to the substance of the actual proof. > > No. It is not. G asserts a claim about mathematics. It does not assert > anything about itself. However, within the metalanguage we can prove > that G can only be true if it is not provable within the system under > consideration. > Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). When both G and the LP exactly meet the official mathematical definition of incompleteness then G and LP are proven to be isomorphic. >> Gödel says: >> since the undecidable proposition [R(q); q] states precisely that q >> belongs to K, i.e. according to (1), that [R(q); q] is not provable. >> We are therefore confronted with a proposition which asserts its own >> unprovability. > > We are confronted *in our analysis* with such a situation. But there is > no proposition which directly asserts such a thing. > You are letting weasel words leak semantic meaning. My analysis pertaining to the official mathematical definition of incompleteness cuts through these weasel words. This proves that G the LP and the following sentence are all isomorphic: "This sentence is unprovable". > The problem is you refuse to look at the actual math and instead look > only at the text commentary which is merely a guide to, not the actual > substance of, the proof. > > André > -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
| From | André G. Isaak <agisaak@gm.invalid> |
|---|---|
| Date | 2022-05-03 14:03 -0600 |
| Message-ID | <t4s1r5$n2b$1@dont-email.me> |
| In reply to | #49586 |
On 2022-05-03 12:59, olcott wrote: > On 5/3/2022 1:23 PM, André G. Isaak wrote: >> On 2022-05-03 11:33, olcott wrote: >>> On 5/3/2022 12:17 PM, André G. Isaak wrote: >>>> On 2022-05-03 11:05, olcott wrote: >>>>> On 5/3/2022 11:52 AM, André G. Isaak wrote: >> >> <snippage> >> >>>>>> G is very clearly a truth-bearer. Go back and reread my original >>>>>> explanation. >>>>>> >>>>> >>>>> When G is not provable in PA, how is it shown to be true? >>>>> If it is not shown to be true in PA then we have the strawman error. >>>> >>>> Here you're simply begging the question by assuming your own >>>> conclusion: that being true and being provable are the same. >>> >>> This is not any mere assumption. >>> >>> The only way that any analytic expressions of language are correctly >>> determined to be true is: >> >> 'True' and 'Correctly determined to be true' mean different things. >> > > Yes that seems to be correct. > On the other hand calling an expression of language true that has not be > 'Correctly determined to be true' is an error. But calling it a "non-truth bearer" simply because it has not been determined to be true would equally be an error. And it can be shown (i.e. correctly determined) that G is true, just not within the system for which it was constructed. > If G is claimed to be true then this assertion must be supported by: > 'Correctly determined to be true' otherwise the assessment of its truth > is no more than a wild guess. > >>> (a) They are defined to be true. >>> (b) They are derived from applying truth preserving operations to (a) >>> or (b). Prolog knows this on the basis of its facts and rules. Facts >>> are (a) and rules are (b). This is also known as sound deductive >>> inference. >> >> These are YOUR assumptions. They have not been demonstrated. And they >> are not consistent with the way in which the rest of the world talks >> about truth. You are talking about provability, not truth. >> > > If G is claimed to be true then this assertion must be supported by: > 'Correctly determined to be true' otherwise the assessment of its truth > is no more than a wild guess. > >>>> The whole point of Gödel's proof is that they cannot be the same (at >>>> least not for non-trivial systems). >>>> >>> >>> When G is not provable in PA, how is it shown to be true (wild guess)? >>> What is the precise basis for assessing that G is true? please >>> provide ALL the steps. >> >> "True" and "Known to be true" are entirely different things. >> > > Yes, however: > If G is claimed to be true then this assertion must be supported by: > 'Correctly determined to be true' otherwise the assessment of its truth > is no more than a wild guess. As I said, it can be shown in a higher order system. But even if it could not be, if we can show that G can only be true in cases where it is not provable in T, then there are only two possible conclusions: Either G is true and unprovable in T, in which case T is incomplete. Or G is false and provable in T, in which case T is inconsistent. Which is exactly what Gödel's theorem states: A system can be consistent or it can be complete but it cannot be both. An incomplete system is still useful. An inconsistent system is not. Ergo he phrases this as an consistent system must be incomplete [with the usual caveats about meeting some minimum threshold of expressive power]. >> Consider the equation Srt((2748 + 87)^3) = 150,948.776 (to 3 decimal >> places) >> > > (2748 + 87)^3 = 22,785,532,875 > What are you sorting with Srt()? That was obviously a type. Sqrt(). >> That equation is true but it is unlikely anyone knew this to be true >> until now since I very much doubt anyone had previously considered >> that specific equation. That's doesn't mean it wasn't true all along. >> Just that no one knew it was true. >> >> There are all sorts of cases where we know one thing without knowing >> all things. I can know with certainty that (A ∨ B) is true meaning >> that I know that *at least* one of A or B must be true while still not >> knowing the truth value of either. These sorts of things occur all the >> time. >> > > That is not true. If A and B are syntactically correct expressions of a > formal language yet neither one is semantically correct then we have the > same case as the Liar Paradox not being a truth bearer, thus (A ∨ B) is > neither true nor false. But your whole notion of 'semantically correct' is recognized by no one but you and is antithetical to the entire notion of a formal system. And what I describe above is a situation which *very* commonly arises in proofs. They're called proofs by dilemma and take the form: A → C B → C (A ∨ B) Therefore C We draw a conclusion from A or B without knowing the truth value of either. This strategy, for example, was used by Euclid in his proof that no largest prime exists. If you declare A and B to be 'non-truth bearers' simply because you don't know whether they are true or false, then this and many other proofs completely fall apart. >> And not being provable in PA and not being provable are also two >> different things. >> > > I know that. Yet not being provable in PA also means that G cannot be > derived in PA by applying truth preserving operations to the axioms Z of > PA or other expressions Y derived from Z or Y. > > If G is correctly determined to be true then there must be some process > detailing the steps of how it is 'Correctly determined to be true'. Just not in PA. > Lacking these steps one cannot correctly assert that G is true, only > that G might possibly be true. > >>>> The question is not whether it is true but whether it is a truth >>>> *bearer*. >>>> >>>> You make the claim that The Liar is not a truth bearer (a plausible >>>> claim depending on one's definitions). >>>> >>>> You then jump to the conclusion that G is not a truth bearer based >>>> on your assertion that it is "equivalent" to The Liar. But it is >>>> *NOT* equivalent. It merely bears a close relationship. But you >>>> refuse to actually consider what the nature of that relationship; >>>> there are both similiarites and differences. >>>> >>> >>> Precise equivalence is defined by this: >>> Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >>> >>> The Liar Paradox can be neither proven nor refuted where T is the >>> entire body of analytic knowledge and φ is LP. >> >> The Liar Paradox is a self-contradiction. The Gödel sentence is not. > > Until you understand that G can only be correctly asserted to be true in > X if G is provable in X. G may be true in X without a proof in X, yet it > cannot be correctly asserted to be true in X without such a proof. This is your confusion, not mine. We can assert that G is not provable and that ¬G is also not provable without asserting anything at all about whether G is true and still conclude that X is incomplete. >> >>>> Whereas the Liar has no content other than to assert its own >>>> falsity, Gödel's G has definite content. It does not assert its own >>>> unprovability, it asserts a very specific mathematical claim, one >>>> which must by its nature be either true or false. Therefore G *is* a >>>> truth bearer. >>>> >>>> The formulation that G asserts its own unprovability is the >>>> Cliff-Notes version of the proof. It's not the substance of the >>>> actual proof. >>>> >>>> André >>> >>> It is isomorphic to the substance of the actual proof. >> >> No. It is not. G asserts a claim about mathematics. It does not assert >> anything about itself. However, within the metalanguage we can prove >> that G can only be true if it is not provable within the system under >> consideration. >> > > Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). > When both G and the LP exactly meet the official mathematical definition > of incompleteness then G and LP are proven to be isomorphic. LP doesn't meet said definition. LP is a paradox of natural language. There is no 'isomorphism' between G and LP. And if you claim there is, you must state what that isomorphism actually is. >>> Gödel says: >>> since the undecidable proposition [R(q); q] states precisely that q >>> belongs to K, i.e. according to (1), that [R(q); q] is not provable. >>> We are therefore confronted with a proposition which asserts its own >>> unprovability. >> >> We are confronted *in our analysis* with such a situation. But there >> is no proposition which directly asserts such a thing. >> > > You are letting weasel words leak semantic meaning. What does 'leak semantic meaning' even mean? André > My analysis pertaining to the official mathematical definition of > incompleteness cuts through these weasel words. > > This proves that G the LP and the following sentence are all isomorphic: > "This sentence is unprovable". > >> The problem is you refuse to look at the actual math and instead look >> only at the text commentary which is merely a guide to, not the actual >> substance of, the proof. >> >> André >> > > -- To email remove 'invalid' & replace 'gm' with well known Google mail service.
[toc] | [prev] | [next] | [standalone]
| From | olcott <polcott2@gmail.com> |
|---|---|
| Date | 2022-05-03 22:24 -0500 |
| Message-ID | <t4srko$445$1@dont-email.me> |
| In reply to | #49600 |
On 5/3/2022 3:03 PM, André G. Isaak wrote: > On 2022-05-03 12:59, olcott wrote: >> On 5/3/2022 1:23 PM, André G. Isaak wrote: >>> On 2022-05-03 11:33, olcott wrote: >>>> On 5/3/2022 12:17 PM, André G. Isaak wrote: >>>>> On 2022-05-03 11:05, olcott wrote: >>>>>> On 5/3/2022 11:52 AM, André G. Isaak wrote: >>> >>> <snippage> >>> >>>>>>> G is very clearly a truth-bearer. Go back and reread my original >>>>>>> explanation. >>>>>>> >>>>>> >>>>>> When G is not provable in PA, how is it shown to be true? >>>>>> If it is not shown to be true in PA then we have the strawman error. >>>>> >>>>> Here you're simply begging the question by assuming your own >>>>> conclusion: that being true and being provable are the same. >>>> >>>> This is not any mere assumption. >>>> >>>> The only way that any analytic expressions of language are correctly >>>> determined to be true is: >>> >>> 'True' and 'Correctly determined to be true' mean different things. >>> >> >> Yes that seems to be correct. >> On the other hand calling an expression of language true that has not >> be 'Correctly determined to be true' is an error. > > But calling it a "non-truth bearer" simply because it has not been > determined to be true would equally be an error. > That if correct. If is is impossibly true or false then it is not a truth bearer. > And it can be shown (i.e. correctly determined) that G is true, just not > within the system for which it was constructed. > unprovable in the system entails untrue in the system. >> If G is claimed to be true then this assertion must be supported by: >> 'Correctly determined to be true' otherwise the assessment of its >> truth is no more than a wild guess. >> >>>> (a) They are defined to be true. >>>> (b) They are derived from applying truth preserving operations to >>>> (a) or (b). Prolog knows this on the basis of its facts and rules. >>>> Facts are (a) and rules are (b). This is also known as sound >>>> deductive inference. >>> >>> These are YOUR assumptions. They have not been demonstrated. And they >>> are not consistent with the way in which the rest of the world talks >>> about truth. You are talking about provability, not truth. >>> >> >> If G is claimed to be true then this assertion must be supported by: >> 'Correctly determined to be true' otherwise the assessment of its >> truth is no more than a wild guess. >> >>>>> The whole point of Gödel's proof is that they cannot be the same >>>>> (at least not for non-trivial systems). >>>>> >>>> >>>> When G is not provable in PA, how is it shown to be true (wild guess)? >>>> What is the precise basis for assessing that G is true? please >>>> provide ALL the steps. >>> >>> "True" and "Known to be true" are entirely different things. >>> >> >> Yes, however: >> If G is claimed to be true then this assertion must be supported by: >> 'Correctly determined to be true' otherwise the assessment of its >> truth is no more than a wild guess. > > As I said, it can be shown in a higher order system. Sure, yet it is only true in this system which also makes it provable in that system. > But even if it could not be, if we can show that G can only be true in > cases where it is not provable in T, then there are only two possible > conclusions: > It can't be true in T and unprovable in T. > Either G is true and unprovable in T, in which case T is incomplete. > Or G is false and provable in T, in which case T is inconsistent. > If G is provable in U then it is true in U. If G is unprovable in T then it is untrue in T. G is unprovable in T because it is semantically incorrect. > Which is exactly what Gödel's theorem states: A system can be consistent > or it can be complete but it cannot be both. An incomplete system is > still useful. An inconsistent system is not. Ergo he phrases this as an > consistent system must be incomplete [with the usual caveats about > meeting some minimum threshold of expressive power]. > >>> Consider the equation Srt((2748 + 87)^3) = 150,948.776 (to 3 decimal >>> places) >>> >> >> (2748 + 87)^3 = 22,785,532,875 >> What are you sorting with Srt()? > > That was obviously a type. Sqrt(). > >>> That equation is true but it is unlikely anyone knew this to be true >>> until now since I very much doubt anyone had previously considered >>> that specific equation. That's doesn't mean it wasn't true all along. >>> Just that no one knew it was true. >>> >>> There are all sorts of cases where we know one thing without knowing >>> all things. I can know with certainty that (A ∨ B) is true meaning >>> that I know that *at least* one of A or B must be true while still >>> not knowing the truth value of either. These sorts of things occur >>> all the time. >>> >> >> That is not true. If A and B are syntactically correct expressions of >> a formal language yet neither one is semantically correct then we have >> the same case as the Liar Paradox not being a truth bearer, thus (A ∨ >> B) is neither true nor false. > > But your whole notion of 'semantically correct' is recognized by no one > but you and is antithetical to the entire notion of a formal system. And > what I describe above is a situation which *very* commonly arises in > proofs. They're called proofs by dilemma and take the form: > > A → C > B → C > (A ∨ B) > > Therefore C > > We draw a conclusion from A or B without knowing the truth value of > either. This strategy, for example, was used by Euclid in his proof that > no largest prime exists. > > If you declare A and B to be 'non-truth bearers' simply because you > don't know whether they are true or false, then this and many other > proofs completely fall apart. It is not because they have unknown truth values. > >>> And not being provable in PA and not being provable are also two >>> different things. >>> >> >> I know that. Yet not being provable in PA also means that G cannot be >> derived in PA by applying truth preserving operations to the axioms Z >> of PA or other expressions Y derived from Z or Y. >> >> If G is correctly determined to be true then there must be some >> process detailing the steps of how it is 'Correctly determined to be >> true'. > > Just not in PA. OK great this is great progress! >> Lacking these steps one cannot correctly assert that G is true, only >> that G might possibly be true. >> >>>>> The question is not whether it is true but whether it is a truth >>>>> *bearer*. >>>>> >>>>> You make the claim that The Liar is not a truth bearer (a plausible >>>>> claim depending on one's definitions). >>>>> >>>>> You then jump to the conclusion that G is not a truth bearer based >>>>> on your assertion that it is "equivalent" to The Liar. But it is >>>>> *NOT* equivalent. It merely bears a close relationship. But you >>>>> refuse to actually consider what the nature of that relationship; >>>>> there are both similiarites and differences. >>>>> >>>> >>>> Precise equivalence is defined by this: >>>> Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >>>> >>>> The Liar Paradox can be neither proven nor refuted where T is the >>>> entire body of analytic knowledge and φ is LP. >>> >>> The Liar Paradox is a self-contradiction. The Gödel sentence is not. >> >> Until you understand that G can only be correctly asserted to be true >> in X if G is provable in X. G may be true in X without a proof in X, >> yet it cannot be correctly asserted to be true in X without such a proof. > > This is your confusion, not mine. We can assert that G is not provable > and that ¬G is also not provable without asserting anything at all about > whether G is true and still conclude that X is incomplete. Yes, but, only because the mathematical definition of Incomplete does not screen out semantically erroneous expression of the language of X: Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >>> >>>>> Whereas the Liar has no content other than to assert its own >>>>> falsity, Gödel's G has definite content. It does not assert its own >>>>> unprovability, it asserts a very specific mathematical claim, one >>>>> which must by its nature be either true or false. Therefore G *is* >>>>> a truth bearer. >>>>> >>>>> The formulation that G asserts its own unprovability is the >>>>> Cliff-Notes version of the proof. It's not the substance of the >>>>> actual proof. >>>>> >>>>> André >>>> >>>> It is isomorphic to the substance of the actual proof. >>> >>> No. It is not. G asserts a claim about mathematics. It does not >>> assert anything about itself. However, within the metalanguage we can >>> prove that G can only be true if it is not provable within the system >>> under consideration. >>> >> >> Incomplete(T) ↔ ∃φ ((T ⊬ φ) ∧ (T ⊬ ¬φ)). >> When both G and the LP exactly meet the official mathematical >> definition of incompleteness then G and LP are proven to be isomorphic. > > LP doesn't meet said definition. LP is a paradox of natural language. > There is no 'isomorphism' between G and LP. And if you claim there is, > you must state what that isomorphism actually is. It is a little iffy to say that the LP fits into the above formula making it isomorphic to Gödel's G unless we can at least specify the formal system that LP is a member of. Tarski seemed to have provided a very clean basis to formalize the Liar Paradox. I am working on deriving it. >>>> Gödel says: >>>> since the undecidable proposition [R(q); q] states precisely that q >>>> belongs to K, i.e. according to (1), that [R(q); q] is not provable. >>>> We are therefore confronted with a proposition which asserts its own >>>> unprovability. >>> >>> We are confronted *in our analysis* with such a situation. But there >>> is no proposition which directly asserts such a thing. >>> >> You have to pay attention to this since the undecidable proposition [R(q); q] states precisely that q belongs to K, i.e. according to (1), that [R(q); q] is not provable. It is the English language version of a formal logic sentence. >> You are letting weasel words leak semantic meaning. > > What does 'leak semantic meaning' even mean? You were simply looking at the wrong lines of the Gödel quote. > > André > >> My analysis pertaining to the official mathematical definition of >> incompleteness cuts through these weasel words. >> >> This proves that G the LP and the following sentence are all isomorphic: >> "This sentence is unprovable". >> >>> The problem is you refuse to look at the actual math and instead look >>> only at the text commentary which is merely a guide to, not the >>> actual substance of, the proof. >>> >>> André >>> >> >> > > -- Copyright 2022 Pete Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
[toc] | [prev] | [next] | [standalone]
Page 8 of 10 — ← Prev page 1 … 6 7 [8] 9 10 Next page →
Back to top | Article view | comp.theory
csiph-web