--- a/CR_preface.txt	Thu Oct 31 12:21:40 2024 -0400
+++ b/CR_preface.txt	Fri Nov 01 12:10:31 2024 -0400
@@ -76,6 +76,45 @@
 
 [CPSR?]
 
+----------
+Torn between religion and physics as an undergraduate.
+
+MIT, 1974++ MSc thesis _Levels, Layers and Planes_, about
+architectural properties of computer science
+There are no particulars in physics [ref. deiexis discussion, where is
+it]
+WHat drove me out of social inquiry and back to department 6 was
+needing to be back in the practice.  That skill was not somthing that
+people on the outside understood.
+
+Lens on a conical base, watchmakers, with oil and iron filings, that
+allowed you to manifest the data on digital mag tape.  No disks on the
+PDP-9.  That concrete engagement with the computer affected my sense
+of digitality.
+
+I wanted there to be types, not tokens.  Set theory has no constants
+(e.g. pi, e, i), functions, derivatives, intergrals are types in a
+way.  Wanted a KR that didn't depend on token identity (no eq tests in
+the interpreter).
+
+LLP was an attempt to get the things, "kernel facts", of a KRL to be
+types, not tokens (cf *car* and *cdr* vs. differentiation and
+integration), the ontology of the computational.
+
+[HST mentions intergral signs and script deltas] Brian says
+"syncategoramaticity
+
+Promote the eq tests into type tests (in the interpreter).
+
+"You want to arrange the metaphysics so that _everything_ falls out"
+G. Nunberg of BCS
+
+My imagination was arrested by essentially foundational questions
+about ... this stuff.  Not interested in applications, AI as such,
+etc.
+
+Still wanted to know what computing was., remains true up to what's in
+this book, CR.
 ------------
 Foundations of/Philosophy of Computation