|start | find | index | login or register | edit|
by earl, 5142 days ago"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.
4 active users
|earl.strain.at • esa3 • online for 8316 days • c'est un vanilla site|