Mercurial > hg > BCS
comparison CR_preface.txt @ 31:8d2fbd093ff3
later Sunday, end of 10 Avoca?
| author | Henry Thompson <ht@markup.co.uk> |
|---|---|
| date | Sun, 03 Nov 2024 11:51:52 -0500 |
| parents | b23d34ac6765 |
| children | fd066d630735 |
comparison
equal
deleted
inserted
replaced
| 30:b23d34ac6765 | 31:8d2fbd093ff3 |
|---|---|
| 212 Indeed it may be an ordinary word of English, so you may not | 212 Indeed it may be an ordinary word of English, so you may not |
| 213 realise that a term of art has gone by. | 213 realise that a term of art has gone by. |
| 214 3) There may not be terms in _any_ technical vocabulary that do what | 214 3) There may not be terms in _any_ technical vocabulary that do what |
| 215 I need here | 215 I need here |
| 216 | 216 |
| 217 Taking on their meaning like a polaroid did, fill in gradually. | |
| 218 | |
| 219 Consider 'effective': boundary (with non-..) is run roughshod over by | |
| 220 | |
| 221 "Call this state 'zero'" naming with an abstract type a concrete token. | |
| 222 | |
| 223 [Argh, not really right] | |
| 224 | |
| 225 When classifying these things with labels that respect/front their | |
| 226 ontological character | |
| 227 | |
| 228 If trying to teach this stuff, it would be useful to know that we had | |
| 229 14 weeks, and on day 1 you can say we'll get to that in week 3. | |
| 230 | |
| 231 A book on the philosophy of computation, not by a philosopher, but by | |
| 232 a practioner who was driven tog spending their life trying to | |
| 233 understand what they practiced. | |
| 234 | |
| 235 Come hither, one and all | |
| 236 | |
| 237 That this is important needs to be said. And it's not about _me_, | |
| 238 that is, it's not important because I say it is. But that it's | |
| 239 important to you does mean that that claim deserves our attention. | |
| 240 | |
| 241 A delicagte dance -- why have I asked you [HST] to write this, not | |
| 242 someone else. Because you were there from the beginning. | |
| 243 | |
| 217 ------------ | 244 ------------ |
| 218 Foundations of/Philosophy of Computation | 245 Foundations of/Philosophy of Computation |
| 219 | 246 |
| 220 Lisp was 'broken', 2-Lisp was a flawed attempt to fix it, 3-Lisp takes | 247 Lisp was 'broken', 2-Lisp was a flawed attempt to fix it, 3-Lisp takes |
| 221 us in to new territory. | 248 us in to new territory. |