Mercurial > hg > BCS

comparison CR_preface.txt @ 19:eef16a307071

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Friday, less coherent
author Henry Thompson <ht@markup.co.uk>
date Fri, 01 Nov 2024 12:10:31 -0400
parents 3e8d707ab7b5
children 28fdea8f3e67
comparison
equal deleted inserted replaced
18:3e8d707ab7b5 19:eef16a307071
74 74
75 [CSLI not particularly relevant] 75 [CSLI not particularly relevant]
76 76
77 [CPSR?] 77 [CPSR?]
78 78
79 ----------
80 Torn between religion and physics as an undergraduate.
81
82 MIT, 1974++ MSc thesis _Levels, Layers and Planes_, about
83 architectural properties of computer science
84 There are no particulars in physics [ref. deiexis discussion, where is
85 it]
86 WHat drove me out of social inquiry and back to department 6 was
87 needing to be back in the practice. That skill was not somthing that
88 people on the outside understood.
89
90 Lens on a conical base, watchmakers, with oil and iron filings, that
91 allowed you to manifest the data on digital mag tape. No disks on the
92 PDP-9. That concrete engagement with the computer affected my sense
93 of digitality.
94
95 I wanted there to be types, not tokens. Set theory has no constants
96 (e.g. pi, e, i), functions, derivatives, intergrals are types in a
97 way. Wanted a KR that didn't depend on token identity (no eq tests in
98 the interpreter).
99
100 LLP was an attempt to get the things, "kernel facts", of a KRL to be
101 types, not tokens (cf *car* and *cdr* vs. differentiation and
102 integration), the ontology of the computational.
103
104 [HST mentions intergral signs and script deltas] Brian says
105 "syncategoramaticity
106
107 Promote the eq tests into type tests (in the interpreter).
108
109 "You want to arrange the metaphysics so that _everything_ falls out"
110 G. Nunberg of BCS
111
112 My imagination was arrested by essentially foundational questions
113 about ... this stuff. Not interested in applications, AI as such,
114 etc.
115
116 Still wanted to know what computing was., remains true up to what's in
117 this book, CR.
79 ------------ 118 ------------
80 Foundations of/Philosophy of Computation 119 Foundations of/Philosophy of Computation
81 120
82 Lisp was 'broken', 2-Lisp was a flawed attempt to fix it, 3-Lisp takes 121 Lisp was 'broken', 2-Lisp was a flawed attempt to fix it, 3-Lisp takes
83 us in to new territory. 122 us in to new territory.