Mittwoch, 1. September 2004 link
"Note the obsessive use of abbreviations and avoidance of capital letters; this is a system invented by people to whom repetitive stress disorder is what black lung is to miners. Long names get worn down to three-letter nubbins, like stones smoothed by a river." [via p3k@]
LtU: "Logic is the cornerstone of computer science in general and much of programming language theory in particular. Goedel's results are fundamental for any real understanding of modern logic. Peter Smith's upcoming book might serve as an introduction to Goedel's incompleteness results. Twelve chapters are online, and seem quite readable." - very readable, if I may add that.
no comments
Please log in (you may want to register first) to post comments!
search
38 active users
- unknown (38)
backlinks (more)
none, yet
recent stores (more)
recent comments
echo earlZstrainYat|tr ZY @.
