• Searching for "A Simple Generator of Incompleteness Theorems." M COMPUT

    From Charlie-Boo@21:1/5 to All on Sun Jul 2 15:35:04 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From ed de moel@21:1/5 to All on Mon Jul 3 07:13:30 2023
    I put a copy at:
    http://71.174.62.16/MComputing/1998/2/Pages_43_47.pdf

    Enjoy!
    Ed

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Charlie-Boo@21:1/5 to ed de moel on Mon Jul 3 14:07:22 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Charlie-Boo@21:1/5 to Charlie-Boo on Tue Aug 1 12:42:23 2023
    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

    :) :) :)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From ed de moel@21:1/5 to All on Sat Aug 5 06:38:31 2023
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Charlie-Boo@21:1/5 to ed de moel on Wed Aug 9 05:09:03 2023
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)