Shelves of Technical Books

Bibliography Readings/Reviews
Catalog

orcmid.github.io>
bib>

r000001>
2023-10-23-13:24 -0700


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 STATUS Created Summary Title
         
r030800 Winograd and Flores, Understanding Computers and Cognition 0.1.0
2023-10-16
2003-08-04

Situating Cognition

r030300 Sommerville, Software Engineering 0.1.0
2023-10-16
2003-03-16

The Reach of Software Engineering

         
r020701 Körner, The Philosophy of Mathematics 0.1.0
2023-10-16
2002-07-28

Tip-Toes Around the Abyss

r020700 Whitehead, An Introduction to Mathematics 0.1.0
2023-10-16
2002-07-05

Mathematics -- To See What Is General in What Is Particular

r020200 Durant, The Pleasures of Philosophy 0.1.0
2023-10-13
2002-02-14

A Philosophical Agenda

r020100 MacKenzie, Mechanizing Proof 0.1.0
2023-10-13
2002-01-18

Trust Me! 

         
r011100 Hacking, The Social Construction of What? 0.1.0
2023-10-11
2001-11-23

The Social Construction of Social Construction

r011000 Lewontin, It Ain't Necessarily So 0.1.0
2023-10-11
2001-10-16

Scientific Determinism: Misattribution of Reality

r010800a various 0.1.0
2023-10-11
2001-09-07

Computation Theory Definitions, Nomenclature, and Elementary Concepts

r010800 Sipser, Introduction to the Theory of Computation 0.1.0
2023-10-10
2001-08-07

Sketching Computation Theory

r010400 C# Essentials 0.1.0
2023-10-10
 2001-04-01

How C# Matters to Me

r010300 Williams, Plato 0.1.0
2023-10-10
2001-03-10

Plato's Idealistic Journey

r010101a various 0.1.0
2023-10-10
2001-01-04

Scrap Heap: Abstracting Algorithms from Programs

r010101 Sedgewick, Algorithms 0.3.0
2023-10-01
2001-01-04

Do Programs Teach Algorithms?

r010100 Monk, Bertrand Russell 0.1.0
2023-09-29
2001-01-02

Russell's Mathematical Journey

         
r001000 Church, Introduction to Mathematical Logic 0.1.0
2023-09-27
2000-10-03

Church: Introduction to Mathematical Logic

r000800 Davis, Computability and Unsovability 0.1.0
2023-09-27
2000-08-09 Computability and Unsolvability
r000702 Frankston in Beyond Calculation 0.1.0
2023-09-27
2000-07-18 Beyond Limits
r000701 Bell and Gray in Beyond Calculation 0.1.0
2023-09-27
2000-07-18 The Revolution Yet to Happen
r000700 Barendregt, Lambda Calculus 0.1.0
2023-09-27

 

2000-08-09 The Lambda Calculus and Combinatory Algebra
         
Hard Hat Area You are navigating Orcmid on GitHub

created 2000-10-07-15:09 -0700 (pdt) by orcmid