Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

* joeyh installs debian using only his big toe, for a change of pace -- in #debian-boot

devel / comp.lang.mumps / Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.

SubjectAuthor
* Searching for "A Simple Generator of Incompleteness Theorems." MCharlie-Boo
`* Re: Searching for "A Simple Generator of Incompleteness Theorems." Med de moel
 `* Re: Searching for "A Simple Generator of Incompleteness Theorems." MCharlie-Boo
  `* Re: Searching for "A Simple Generator of Incompleteness Theorems." MCharlie-Boo
   `* Re: Searching for "A Simple Generator of Incompleteness Theorems." Med de moel
    `- Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6Charlie-Boo

1
Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.

<d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=536&group=comp.lang.mumps#536

  copy link   Newsgroups: comp.lang.mumps
X-Received: by 2002:a05:620a:1a15:b0:762:19b6:2900 with SMTP id bk21-20020a05620a1a1500b0076219b62900mr45378qkb.5.1688337306209;
Sun, 02 Jul 2023 15:35:06 -0700 (PDT)
X-Received: by 2002:a17:90a:a794:b0:263:81f4:5860 with SMTP id
f20-20020a17090aa79400b0026381f45860mr6032287pjq.1.1688337305629; Sun, 02 Jul
2023 15:35:05 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.mumps
Date: Sun, 2 Jul 2023 15:35:04 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2601:184:407f:110:7566:29a2:35e4:31fb;
posting-account=UA-6fQkAAADI18fSPOc495gPgW1akxLl
NNTP-Posting-Host: 2601:184:407f:110:7566:29a2:35e4:31fb
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com>
Subject: Searching for "A Simple Generator of Incompleteness Theorems." M
COMPUTING 6 (1998): 43-47.
From: shymathguy@gmail.com (Charlie-Boo)
Injection-Date: Sun, 02 Jul 2023 22:35:06 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1325
 by: Charlie-Boo - Sun, 2 Jul 2023 22:35 UTC

I am searching for a copy of the article "A Simple Generator of Incompleteness Theorems." that appeared in M COMPUTING 6 (1998) pages 43-47.

Any help locating a copy would be greatly appreciated.

Thanks,

Charlie Volkstorf

Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.

<16a1c9a7-d22f-4bee-b7a3-6915ed433e49n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=537&group=comp.lang.mumps#537

  copy link   Newsgroups: comp.lang.mumps
X-Received: by 2002:ac8:7751:0:b0:3f6:b049:3941 with SMTP id g17-20020ac87751000000b003f6b0493941mr73554qtu.1.1688393611852;
Mon, 03 Jul 2023 07:13:31 -0700 (PDT)
X-Received: by 2002:a63:5658:0:b0:55a:e71b:45b9 with SMTP id
g24-20020a635658000000b0055ae71b45b9mr6238123pgm.2.1688393611374; Mon, 03 Jul
2023 07:13:31 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.mumps
Date: Mon, 3 Jul 2023 07:13:30 -0700 (PDT)
In-Reply-To: <d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=71.174.62.16; posting-account=j7lJmQoAAADTx0Apfk15DZ7D0qlYy4zv
NNTP-Posting-Host: 71.174.62.16
References: <d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <16a1c9a7-d22f-4bee-b7a3-6915ed433e49n@googlegroups.com>
Subject: Re: Searching for "A Simple Generator of Incompleteness Theorems." M
COMPUTING 6 (1998): 43-47.
From: eddemoel@gmail.com (ed de moel)
Injection-Date: Mon, 03 Jul 2023 14:13:31 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1265
 by: ed de moel - Mon, 3 Jul 2023 14:13 UTC

I put a copy at:
http://71.174.62.16/MComputing/1998/2/Pages_43_47.pdf

Enjoy!
Ed

Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.

<34f3fca1-8258-4f67-a3e8-90c79cedc276n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=538&group=comp.lang.mumps#538

  copy link   Newsgroups: comp.lang.mumps
X-Received: by 2002:a05:620a:2a0b:b0:763:ce7e:f280 with SMTP id o11-20020a05620a2a0b00b00763ce7ef280mr30798qkp.11.1688418443169;
Mon, 03 Jul 2023 14:07:23 -0700 (PDT)
X-Received: by 2002:a63:f806:0:b0:55b:c1f2:84d9 with SMTP id
n6-20020a63f806000000b0055bc1f284d9mr314074pgh.12.1688418442698; Mon, 03 Jul
2023 14:07:22 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.mumps
Date: Mon, 3 Jul 2023 14:07:22 -0700 (PDT)
In-Reply-To: <16a1c9a7-d22f-4bee-b7a3-6915ed433e49n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2601:184:407f:110:43:6c72:b138:34be;
posting-account=UA-6fQkAAADI18fSPOc495gPgW1akxLl
NNTP-Posting-Host: 2601:184:407f:110:43:6c72:b138:34be
References: <d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com> <16a1c9a7-d22f-4bee-b7a3-6915ed433e49n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <34f3fca1-8258-4f67-a3e8-90c79cedc276n@googlegroups.com>
Subject: Re: Searching for "A Simple Generator of Incompleteness Theorems." M
COMPUTING 6 (1998): 43-47.
From: shymathguy@gmail.com (Charlie-Boo)
Injection-Date: Mon, 03 Jul 2023 21:07:23 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1779
 by: Charlie-Boo - Mon, 3 Jul 2023 21:07 UTC

On Monday, July 3, 2023 at 10:13:32 AM UTC-4, ed de moel wrote:
> I put a copy at:
> http://71.174.62.16/MComputing/1998/2/Pages_43_47.pdf
>
> Enjoy!
> Ed
OMG You are a saint!
I have been going crazy trying to recreate that proof procedure without success. I was getting ready to go through 300 folders looking for it. (Photographic proof available on request.)
Have a wonderful day, Ed.
I sure will.
Charlie

Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.

<872ae7b4-16d3-41d0-a97a-309ffe52b5ecn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=550&group=comp.lang.mumps#550

  copy link   Newsgroups: comp.lang.mumps
X-Received: by 2002:ad4:4e92:0:b0:63c:ef89:1a5e with SMTP id dy18-20020ad44e92000000b0063cef891a5emr95347qvb.0.1690918944171;
Tue, 01 Aug 2023 12:42:24 -0700 (PDT)
X-Received: by 2002:a05:6808:2101:b0:3a3:c492:9be6 with SMTP id
r1-20020a056808210100b003a3c4929be6mr23993657oiw.2.1690918943963; Tue, 01 Aug
2023 12:42:23 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.mumps
Date: Tue, 1 Aug 2023 12:42:23 -0700 (PDT)
In-Reply-To: <34f3fca1-8258-4f67-a3e8-90c79cedc276n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2601:184:407f:110:2d9a:878b:904d:f14c;
posting-account=UA-6fQkAAADI18fSPOc495gPgW1akxLl
NNTP-Posting-Host: 2601:184:407f:110:2d9a:878b:904d:f14c
References: <d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com>
<16a1c9a7-d22f-4bee-b7a3-6915ed433e49n@googlegroups.com> <34f3fca1-8258-4f67-a3e8-90c79cedc276n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <872ae7b4-16d3-41d0-a97a-309ffe52b5ecn@googlegroups.com>
Subject: Re: Searching for "A Simple Generator of Incompleteness Theorems." M
COMPUTING 6 (1998): 43-47.
From: shymathguy@gmail.com (Charlie-Boo)
Injection-Date: Tue, 01 Aug 2023 19:42:24 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Charlie-Boo - Tue, 1 Aug 2023 19:42 UTC

On Monday, July 3, 2023 at 5:07:23 PM UTC-4, Charlie-Boo wrote:
> On Monday, July 3, 2023 at 10:13:32 AM UTC-4, ed de moel wrote:
> > I put a copy at:
> > http://71.174.62.16/MComputing/1998/2/Pages_43_47.pdf
> >
> > Enjoy!
> > Ed
> OMG You are a saint!
> I have been going crazy trying to recreate that proof procedure without success. I was getting ready to go through 300 folders looking for it. (Photographic proof available on request.)
> Have a wonderful day, Ed.
> I sure will.
> Charlie
Innovative Software Tools and Management Techniques
Debugger: A MUMPS Program that Detects Errors in MUMPS Programs
12, Volume 12, Issue 2

Evolution in the MUMPS Programming Environment
Extending MUMPS to Provide Better Program Development Capabilities
13, Volume 13, Issue 3/4

MUMPS Language Development Issues
MUMPS 1983 - A Second Look
14, Volume 14, Issue 1

:) :) :)

Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.

<47ceb269-2fec-49db-b102-93e9b9950affn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=554&group=comp.lang.mumps#554

  copy link   Newsgroups: comp.lang.mumps
X-Received: by 2002:ac8:7f86:0:b0:405:4eec:6352 with SMTP id z6-20020ac87f86000000b004054eec6352mr16555qtj.11.1691242712636;
Sat, 05 Aug 2023 06:38:32 -0700 (PDT)
X-Received: by 2002:a05:6808:1450:b0:39c:f0c2:e3ad with SMTP id
x16-20020a056808145000b0039cf0c2e3admr7580712oiv.5.1691242712146; Sat, 05 Aug
2023 06:38:32 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.mumps
Date: Sat, 5 Aug 2023 06:38:31 -0700 (PDT)
In-Reply-To: <872ae7b4-16d3-41d0-a97a-309ffe52b5ecn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=71.174.62.16; posting-account=j7lJmQoAAADTx0Apfk15DZ7D0qlYy4zv
NNTP-Posting-Host: 71.174.62.16
References: <d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com>
<16a1c9a7-d22f-4bee-b7a3-6915ed433e49n@googlegroups.com> <34f3fca1-8258-4f67-a3e8-90c79cedc276n@googlegroups.com>
<872ae7b4-16d3-41d0-a97a-309ffe52b5ecn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <47ceb269-2fec-49db-b102-93e9b9950affn@googlegroups.com>
Subject: Re: Searching for "A Simple Generator of Incompleteness Theorems." M
COMPUTING 6 (1998): 43-47.
From: eddemoel@gmail.com (ed de moel)
Injection-Date: Sat, 05 Aug 2023 13:38:32 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1686
 by: ed de moel - Sat, 5 Aug 2023 13:38 UTC

Debugger: A MUMPS Program that Detects Errors in MUMPS Programs: http://71.174.62.16/MComputing/1982/2/Pages_11_18.pdf

Extending MUMPS to Provide Better Program Development Capabilities: http://71.174.62.16/MComputing/1984/3_4/Pages_45_46.pdf

MUMPS 1983 - A Second Look: http://71.174.62.16/MComputing/1984/1/Pages_7_11.pdf

Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.

<ca346932-4e4c-42f7-af10-630b1cb9c93cn@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=556&group=comp.lang.mumps#556

  copy link   Newsgroups: comp.lang.mumps
X-Received: by 2002:ad4:58d1:0:b0:63d:4d1:675e with SMTP id dh17-20020ad458d1000000b0063d04d1675emr45830qvb.11.1691582944500; Wed, 09 Aug 2023 05:09:04 -0700 (PDT)
X-Received: by 2002:a17:903:22c5:b0:1b8:5541:9d4d with SMTP id y5-20020a17090322c500b001b855419d4dmr157971plg.6.1691582944210; Wed, 09 Aug 2023 05:09:04 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!69.80.99.11.MISMATCH!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.mumps
Date: Wed, 9 Aug 2023 05:09:03 -0700 (PDT)
In-Reply-To: <47ceb269-2fec-49db-b102-93e9b9950affn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2601:184:407f:110:a8c9:1c6f:8b3a:f553; posting-account=UA-6fQkAAADI18fSPOc495gPgW1akxLl
NNTP-Posting-Host: 2601:184:407f:110:a8c9:1c6f:8b3a:f553
References: <d6ee8cc9-18bd-4cef-aa50-e8bf15d7d7b2n@googlegroups.com> <16a1c9a7-d22f-4bee-b7a3-6915ed433e49n@googlegroups.com> <34f3fca1-8258-4f67-a3e8-90c79cedc276n@googlegroups.com> <872ae7b4-16d3-41d0-a97a-309ffe52b5ecn@googlegroups.com> <47ceb269-2fec-49db-b102-93e9b9950affn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ca346932-4e4c-42f7-af10-630b1cb9c93cn@googlegroups.com>
Subject: Re: Searching for "A Simple Generator of Incompleteness Theorems." M COMPUTING 6 (1998): 43-47.
From: shymathguy@gmail.com (Charlie-Boo)
Injection-Date: Wed, 09 Aug 2023 12:09:04 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 9
 by: Charlie-Boo - Wed, 9 Aug 2023 12:09 UTC

On Saturday, August 5, 2023 at 9:38:33 AM UTC-4, ed de moel wrote:
> Debugger: A MUMPS Program that Detects Errors in MUMPS Programs: http://71.174.62.16/MComputing/1982/2/Pages_11_18.pdf
>
> Extending MUMPS to Provide Better Program Development Capabilities: http://71.174.62.16/MComputing/1984/3_4/Pages_45_46.pdf
>
> MUMPS 1983 - A Second Look: http://71.174.62.16/MComputing/1984/1/Pages_7_11.pdf
Awesome Ed.

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor