Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

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

127 views
Skip to first unread message

Charlie-Boo

unread,
Jul 2, 2023, 6:35:07 PM7/2/23
to

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

ed de moel

unread,
Jul 3, 2023, 10:13:32 AM7/3/23
to
I put a copy at:
http://71.174.62.16/MComputing/1998/2/Pages_43_47.pdf

Enjoy!
Ed

Charlie-Boo

unread,
Jul 3, 2023, 5:07:23 PM7/3/23
to
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

Charlie-Boo

unread,
Aug 1, 2023, 3:42:25 PM8/1/23
to
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

:) :) :)

ed de moel

unread,
Aug 5, 2023, 9:38:33 AM8/5/23
to
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

Charlie-Boo

unread,
Aug 9, 2023, 8:09:05 AM8/9/23
to
Awesome Ed.
0 new messages