Hi,

This is one of the most controversial paper in Computer Science Philosophy. Even though it's dated back to 1988, still it's one of my top papers in CS Phi. "Program verification: the very idea" by James,H. Fetzer

For more info please refer to "The Digital Phoenix: How Computers are Changing Philosophy" book.

http://delivery.acm.org/10.1145/50000/48530/p1048-fetzer.pdf?key1=48530&key2=1&CFID=15151515&CFTOKEN=6184618

Definitely a good read.

just no. theoretically lacking, filled with 'common sense' truth, falsities.

For example, I see all the times mathematicians ending up in infinite recursion trying to proof the true axioms mathematically, or I am sure that if I add a vertical sign to a theorem proof right over a '-' it remains absolutely true, whereas a whole application 'crashes' if i flip a single bit...

note: a formal, specialistic article is evaluated using different criteria, with respect to tutorials and half-formal articles.

That's why it's called "Philosophy"...

gödel, anyone?

sigh...
he's a poor quality 'philosopher', indeed. Granted, he can write about CS philosophy, but his shown 'competence' says all.
HLL languages create "abstract machines"... yes... HLL is not a formal description under a Chomsky-like generative grammar, it is an "abstact machine" yes.... total confusion between the semantical planes between writeln(2+2) and writeln("2+2=",2+2), at best questionable opinion on what 'truth' is (mathematically speaking), misunderstanding of verification planes, absence of Godel, "programmers should verify programs like mathematicians do with theorems" (yes, we are oracle... but even oracle-machine might not be enough for Turing-stop btw), wild usage of 'common sense' to argument his sentences -god i like that- etc. etc.

There are dozen better philosopher on the subject 'truth' and CS. More interesting are Hostfadter, Penrose, Searle, Dennet, etc. etc. and we could go further entering the computational neurosciences, but they are mostly boring guys.
Actually, it seems to me such author is missing/misunderstanding many important steps of CS... a bit too many.

I tought it's Counter Strike philosphy looking at thread title

LOL

http://www.youtube.com/watch?v=mxq2QbMg-H8
still the best...

Let's get the hell out of here!!!!!

Regards,

ROFL, this is definitely my top5 youtube video

+/- "...in any case, dont leave the game's board, becase that day the party ends, and you will be, inesorably, old..."
Fjodor Mihajlovič Dostojevski

(Lev Nikolaevič Tolstoj is slightly better, anyway )