Re: Most Intelligent Command Line ("MICL")

Subject: Re: Most Intelligent Command Line (&quot;MICL&quot;) - pitch for devs
From: Stefan Reich &lt;stefan.reich.maker.of.eye@ ... &gt;
Date: Sat, 27 Apr 2013 22:37:02 +0200

>> (btw, women in Hamburg suck. Sorry... I had to sneak that in there... it needs out =)

> Actually it didn't need to be said. At all. Ever.

What, that is now a crime? Saying what is on your heart? Letting it out? How insane are you?

> The mathematical proof of computer programs is up there alongside hard AI.

No. Also you don't know the concept yet, and neither the proof. You just don't understand anything yet. Talk about something you don't understand? Is that your thing?

> prove to us you have the chops to prove a computer program mathematically.

I've done that, and quite extensively. It's a research topic I have engaged in.

But what do I say, you're just one more negative person in this world...

Stefan

On Sat, Apr 27, 2013 at 10:33 PM, Peter Hickman <peterhickman386@googlemail.com> wrote:

Well your reputation can hardly help and neither did this line in your post:

> (btw, women in Hamburg suck. Sorry... I had to sneak that in there... it needs out =)

Actually it didn't need to be said. At all. Ever.

As to the concept being solid, that is doubtful. The mathematical proof of computer programs is up there alongside hard AI. And quite frankly I expect hard AI to be cracked, P = NP proven and flying pigs before we can prove programs mathematically. In all probability you will need P = NP if you are going to have a mathematical proof of a computer program anyhow.

If you think it is NotThatMuchWork then post your solution to the halting problem and prove to us you have the chops to prove a computer program mathematically.