PDA

View Full Version : CS Philosophy


tHE mUTABLE
December 15th, 2007, 01:27
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.

RCHN
January 6th, 2008, 03:01
http://delivery.acm.org/10.1145/50000/48530/p1048-fetzer.pdf?key1=48530&key2=1&CFID=15151515&CFTOKEN=6184618

Definitely a good read.

Maximus
January 6th, 2008, 08:57
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.

tHE mUTABLE
January 6th, 2008, 10:27
That's why it's called "Philosophy"...

tofu-sensei
January 6th, 2008, 11:46
gödel, anyone?

Maximus
January 6th, 2008, 16:48
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.

deroko
January 12th, 2008, 09:38
I tought it's Counter Strike philosphy looking at thread title

tHE mUTABLE
January 12th, 2008, 11:12
Quote:
Counter Strike philosphy
LOL

Maximus
January 20th, 2008, 08:39
http://www.youtube.com/watch?v=mxq2QbMg-H8
still the best...

JMI
January 20th, 2008, 08:50
Let's get the hell out of here!!!!!

Regards,

deroko
January 20th, 2008, 10:58
ROFL, this is definitely my top5 youtube video

Maximus
January 20th, 2008, 11:21
+/- "...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 )