|
|
Readings
|
|
These are all of the notes from readings compiled since January 1, 2000. Notice that I make a single log for readings, no matter where they are kept. I am more ambivalent about this than I am about maintaining a single master list of bibliographic citations.
-- Dennis E. Hamilton
2002 February 14
|
ID |
On | Created | Summary Title |
| R030800 | Winograd and Flores, Understanding Computers and Cognition | 2003-08-04 | |
| R030300 | Sommerville, Software Engineering | 2003-03-16 | |
| R020701 | Körner, The Philosophy of Mathematics | 2002-07-28 | |
| R020700 | Whitehead, An Introduction to Mathematics | 2002-07-05 | |
| R020200 | Durant, The Pleasures of Philosophy | 2002-02-14 | |
| R020100 | MacKenzie, Mechanizing Proof | 2002-01-18 | |
| R011100 | Hacking, The Social Construction of What? | 2001-11-23 | |
| R011000 | Lewontin, It Ain't Necessarily So | 2001-10-16 | |
| R010800 [Miser] |
Sipser, Introduction to the Theory of Computation | 2001-08-07 |
Sketching Computation Theory |
| R010502 | Bloom, The Republic of Plato |
Republic Book 2 - The Value of Justice |
|
| R010501 | Bloom, The Republic of Plato | ||
| R010500 | Bloom, The Republic of Plato |
On Reading Plato |
|
| R010400 | C# Essentials | 2001-04-01 | |
| R010300 | Williams, Plato | ||
| R010101 | Sedgewick, Algorithms | 2001-01-04 | |
| R010100 | Monk, Bertrand Russell | 2001-01-02 | |
| R001000 [Miser] |
Church, Introduction to Mathematical Logic | 2000-10-03 |
Church: Introduction to Mathematical Logic |
| R000800 [Miser] |
Davis, Computability and Unsovability | 2000-08-09 | Computability and Unsolvability |
| R000702 | Frankston in Beyond Calculation | 2000-07-18 | Beyond Limits |
| R000701 | Bell and Gray in Beyond Calculation | 2000-07-18 | The Revolution Yet to Happen |
| R000700 [Miser] |
Barendregt, Lambda Calculus | 2000-08-09 | The Lambda Calculus and Combinatory Algebra |
|
You are navigating Orcmid's Lair |
created 2000-10-07-15:09 -0700 (pdt) by orcmid
|
Home