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