>> (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...