start | find | index | login or register | edit
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!

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 7066 days • c'est un vanilla site