From bf2702189f93edf4295c5bd4d1f0c55a110c7540 Mon Sep 17 00:00:00 2001 From: "Dennis E. Hamilton" Date: Thu, 31 Aug 2023 14:35:39 -0700 Subject: [PATCH] Continue refactoring bib/ materials #7 #6 #3 --- bib/{ => 2000}/r000700.htm | 28 +++---- bib/{R000701.htm => 2000/r000701.htm} | 8 +- bib/{R000702.htm => 2000/r000702.htm} | 8 +- bib/{ => 2000}/r000800.htm | 26 +++--- bib/{ => 2000}/r001000.htm | 26 +++--- bib/{R010100.htm => 2001/r010100.htm} | 8 +- bib/{R010101.htm => 2001/r010101.htm} | 26 +++--- bib/{R010101a.htm => 2001/r010101a.htm} | 30 +++---- bib/{R010300.htm => 2001/r010300.htm} | 12 +-- bib/{R010400.htm => 2001/r010400.htm} | 8 +- bib/{R010501.htm => 2001/r010501.htm} | 8 +- bib/{ => 2001}/r010800.htm | 26 +++--- bib/{ => 2001}/r010800a.htm | 30 +++---- bib/{R011000.htm => 2001/r011000.htm} | 8 +- bib/{R011100.htm => 2001/r011100.htm} | 8 +- bib/{R020100.htm => 2002/r020100.htm} | 38 ++++----- bib/{R020100a.htm => 2002/r020100a.htm} | 10 +-- bib/{R020100b.htm => 2002/r020100b.htm} | 10 +-- bib/{R020100c.htm => 2002/r020100c.htm} | 12 +-- bib/{R020200.htm => 2002/r020200.htm} | 6 +- bib/{R020700.htm => 2002/r020700.htm} | 8 +- bib/{R020701.htm => 2002/r020701.htm} | 14 ++-- bib/{ => 2003}/r030300.htm | 10 +-- bib/{ => 2003}/r030800.htm | 42 +++++----- bib/c000000.htm | 19 +++-- bib/compsci.htm | 6 +- bib/construction.htm | 4 +- bib/index.htm | 39 +++++---- bib/{default.htm => index.html} | 105 ++++++++++++------------ bib/math.htm | 16 ++-- bib/milieu.htm | 8 +- bib/philosophy.htm | 10 +-- bib/r000000.htm | 77 ++++++++++------- bib/{r000001-log.htm => r000001.htm} | 64 +++++++-------- bib/science.htm | 22 ++--- bib/softools.htm | 6 +- bib/swe.htm | 6 +- bib/theory.htm | 8 +- bib/trust.htm | 4 +- construction/templates/00/c000005.htm | 8 +- construction/templates/00/c000005c.htm | 11 +-- 41 files changed, 426 insertions(+), 397 deletions(-) rename bib/{ => 2000}/r000700.htm (82%) rename bib/{R000701.htm => 2000/r000701.htm} (93%) rename bib/{R000702.htm => 2000/r000702.htm} (95%) rename bib/{ => 2000}/r000800.htm (91%) rename bib/{ => 2000}/r001000.htm (85%) rename bib/{R010100.htm => 2001/r010100.htm} (93%) rename bib/{R010101.htm => 2001/r010101.htm} (97%) rename bib/{R010101a.htm => 2001/r010101a.htm} (98%) rename bib/{R010300.htm => 2001/r010300.htm} (98%) rename bib/{R010400.htm => 2001/r010400.htm} (89%) rename bib/{R010501.htm => 2001/r010501.htm} (87%) rename bib/{ => 2001}/r010800.htm (92%) rename bib/{ => 2001}/r010800a.htm (90%) rename bib/{R011000.htm => 2001/r011000.htm} (98%) rename bib/{R011100.htm => 2001/r011100.htm} (96%) rename bib/{R020100.htm => 2002/r020100.htm} (93%) rename bib/{R020100a.htm => 2002/r020100a.htm} (97%) rename bib/{R020100b.htm => 2002/r020100b.htm} (98%) rename bib/{R020100c.htm => 2002/r020100c.htm} (91%) rename bib/{R020200.htm => 2002/r020200.htm} (95%) rename bib/{R020700.htm => 2002/r020700.htm} (97%) rename bib/{R020701.htm => 2002/r020701.htm} (98%) rename bib/{ => 2003}/r030300.htm (95%) rename bib/{ => 2003}/r030800.htm (90%) rename bib/{default.htm => index.html} (59%) rename bib/{r000001-log.htm => r000001.htm} (85%) diff --git a/bib/r000700.htm b/bib/2000/r000700.htm similarity index 82% rename from bib/r000700.htm rename to bib/2000/r000700.htm index 718bc0c..bece05c 100644 --- a/bib/r000700.htm +++ b/bib/2000/r000700.htm @@ -5,7 +5,7 @@ - + @@ -14,11 +14,11 @@ + @@ -42,7 +42,7 @@

These are notes based on consideration of Barendregt, Hendrik Pieter. -The Lambda Calculus: Its Syntax and +The Lambda Calculus: Its Syntax and Semantics. North-Holland (Amsterdam, 1981). ISBN 0-444-85490-8. 

Over the intervening time, I have recreated these considerations @@ -61,7 +61,7 @@

2000-07-18: Initial Notes - How Lambda-Calculus and Combinatory

2000-07-18 (orcmid): - This + This was the only serious lambda-calculus book that I kept in preparing to move to Italy in September, 1999. So I am mining it here for combinatory logic @@ -139,14 +139,14 @@

Dancing on the Edge of Computability

- -Orcmid Phantasm 2004 image + U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan --> + +Orcmid Phantasm 2004 image -

Miser Project Readings
@@ -26,10 +26,10 @@

-

miser>readings>

+

miser>readings>

r000700>
0.01 - 2023-08-31 10:35 + 2023-08-31 13:41

+ + Construction Structure (Hard Hat Area) @@ -56,7 +57,6 @@
- - Construction Structure (Hard Hat Area) - + - You are navigating Orcmid's Lair - + You are navigating Orcmid's Lair +

created 2000-08-09-07:48 -0700 (pdt) by diff --git a/bib/R000701.htm b/bib/2000/r000701.htm similarity index 93% rename from bib/R000701.htm rename to bib/2000/r000701.htm index d99af05..173e16d 100644 --- a/bib/R000701.htm +++ b/bib/2000/r000701.htm @@ -7,17 +7,17 @@ -

Reading +

Reading Notes

R000701: The Revolution Yet to Happen

-

Bell, Gordon., Gray, James N.  The Revolution Yet to +

Bell, Gordon., Gray, James N.  The Revolution Yet to Happen.  Chapter 1, pp. 5-32 in Denning, Peter J., Metcalfe, Robert M. (eds.)  -Beyond Calculation: +Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).

@@ -91,7 +91,7 @@

Networks: A convergence and interoperability among all nets
-

created 2000-07-18-14:00 -0700 (pdt) by orcmid
+

created 2000-07-18-14:00 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 02-10-13 12:14 $
$$Revision: 6 $

diff --git a/bib/R000702.htm b/bib/2000/r000702.htm similarity index 95% rename from bib/R000702.htm rename to bib/2000/r000702.htm index c1079ab..0aa0dc7 100644 --- a/bib/R000702.htm +++ b/bib/2000/r000702.htm @@ -11,14 +11,14 @@ -

Readings +

Readings Notes

R000702: Beyond Limits

-

Frankston, Bob.  Beyond Limits.  - Chapter 3, pp. 43-57 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: +

Frankston, Bob.  Beyond Limits.  + Chapter 3, pp. 43-57 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).

@@ -140,7 +140,7 @@

Becoming the infrastructure

-

created 2000-07-18-14:00 -0700 (pdt) by orcmid
+

created 2000-07-18-14:00 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 02-10-13 12:18 $
$$Revision: 6 $

diff --git a/bib/r000800.htm b/bib/2000/r000800.htm similarity index 91% rename from bib/r000800.htm rename to bib/2000/r000800.htm index 9ce429c..77f4620 100644 --- a/bib/r000800.htm +++ b/bib/2000/r000800.htm @@ -6,7 +6,7 @@ - + @@ -15,11 +15,11 @@ + @@ -42,7 +42,7 @@

These are notes based on consideration of Davis, Martin. - Computability and Unsolvability. + Computability and Unsolvability. Dover (New York: 1958, 1973, 1982). ISBN 0-486-61471-9 pbk.

Over the intervening time, I have recreated some of these considerations in various forms.  There is much here that deepens the @@ -312,14 +312,14 @@

3.6 Quantifiers

- -Orcmid Phantasm 2004 image + U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan --> + +Orcmid Phantasm 2004 image -

Miser Project Readings
@@ -27,10 +27,10 @@

-

miser>readings>

+

miser>readings>

r000800>
0.01 - 2023-08-31 10:35 + 2023-08-31 13:41

+ + Construction Structure (Hard Hat Area) + S-Type="EDITED" S-Format="%Y-%m-%d" startspan -->2023-08-31-13:41 -0700

@@ -91,7 +91,7 @@ argument that paper was our first computer along with recognition of the serious problems of preservation and accessibility when paper is replaced by electronic documents.  This is the first place I have seen - Metcalfe's Law.  My notes are here.
+ Metcalfe's Law.  My notes are here.
   
[Borg2001]
@@ -258,7 +258,7 @@ Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).
-       My notes are here.
+       My notes are here.
   
[Glenn2001]
Glenn, John.  Education is the Key to Future Dreams.  Comm. @@ -433,7 +433,7 @@ point at this work.  More recently, I was led to the end of the book by another Denning article and it became clear to me that it was time for me to read the book through from beginning to end.  I am doing - that.  My notes are here.
+ that.  My notes are here.
   Content
     Preface
     Acknowledgments
diff --git a/bib/philosophy.htm b/bib/philosophy.htm index b62a3c2..b51f5ff 100644 --- a/bib/philosophy.htm +++ b/bib/philosophy.htm @@ -35,7 +35,7 @@ 2023-08-31 - -11:33 -0700 + -13:40 -0700

- - Construction Structure (Hard Hat Area) - + - You are navigating Orcmid's Lair - + You are navigating Orcmid's Lair +

created 2000-08-09-08:00 -0700 (pdt) by diff --git a/bib/r001000.htm b/bib/2000/r001000.htm similarity index 85% rename from bib/r001000.htm rename to bib/2000/r001000.htm index 46d02b7..4b1b8a4 100644 --- a/bib/r001000.htm +++ b/bib/2000/r001000.htm @@ -6,7 +6,7 @@ - + @@ -15,11 +15,11 @@ + @@ -154,14 +154,14 @@

 

- -Orcmid Phantasm 2004 image + U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan --> + +Orcmid Phantasm 2004 image -

Miser Project Readings
@@ -27,10 +27,10 @@

-

miser>readings>

+

miser>readings>

r001000>
0.01 - 2023-08-31 10:35 + 2023-08-31 13:41

+ + Construction Structure (Hard Hat Area)
- - Construction Structure (Hard Hat Area) - + - You are navigating Orcmid's Lair - + You are navigating Orcmid's Lair +

created 2000-10-03-10:31 -0700 (pdt) by @@ -173,7 +173,7 @@

 

-

created 2000-10-03-10:31 -0700 (pdt) by +

created 2000-10-03-10:31 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 17-08-29 16:40 $
diff --git a/bib/R010100.htm b/bib/2001/r010100.htm similarity index 93% rename from bib/R010100.htm rename to bib/2001/r010100.htm index b1e6147..a599c77 100644 --- a/bib/R010100.htm +++ b/bib/2001/r010100.htm @@ -7,15 +7,15 @@ -

Reading +

Reading Notes

-

R010100: Russell's +

R010100: Russell's Mathematical Journey

-
Monk, Ray.  Bertrand Russell.  The Great Philosophers +
Monk, Ray.  Bertrand Russell.  The Great Philosophers Series, no. 7.  Phoenix, London; Rutledge, NY (London: 1997, New York: 1999).  ISBN 0-415-92386-7 pbk.  58pp.
     This tiny book amazes me.  Rather @@ -94,7 +94,7 @@

R010100: Russell's
-

created 2001-01-02-22:56 -0800 (pst) by orcmid
+

created 2001-01-02-22:56 -0800 (pst) by orcmid
$$Author: Orcmid $
$$Date: 03-05-25 10:50 $
$$Revision: 8 $

diff --git a/bib/R010101.htm b/bib/2001/r010101.htm similarity index 97% rename from bib/R010101.htm rename to bib/2001/r010101.htm index 6fd2061..1b38bdf 100644 --- a/bib/R010101.htm +++ b/bib/2001/r010101.htm @@ -7,15 +7,15 @@ -

Reading +

Reading Notes

-

R010101: Do Programs Teach +

R010101: Do Programs Teach Algorithms?

-
Sedgewick, Robert.  Algorithms.  Second +
Sedgewick, Robert.  Algorithms.  Second edition.  Addison-Wesley (Reading, MA: 1983, 1988).  1989 reprint with authors corrections.  ISBN 0-201-06673-4.
@@ -47,7 +47,7 @@

R010101: Do Programs Te new application.  I recommend supplementing this material with the practical methods of Software Tools and the introspective explorations of Programming Pearls.  Most of all I encourage - development of enough sense of the material in The Art of Computer + development of enough sense of the material in The Art of Computer Programming to be able to read the discussions of algorithms there, even if you never use the particular implementations.

@@ -556,13 +556,13 @@

References
[ACP 6.2.1B]
Knuth, Donald E.  Binary Search.  Algorithm 6.2.1B on p. 410 - of The Art of - Computer Programming, + of The Art of + Computer Programming, v.3: Sorting and Searching.  ed.2.  Addison-Wesley Longman (Reading, MA: 1998).  ISBN 0-201-89685-0.       
     BinSearch is derived from the form given by Knuth in Scientific American 236, - 4 (April 1977), as reprinted on pp.66-67 of Selected + 4 (April 1977), as reprinted on pp.66-67 of Selected Papers on Computer Science, CSLI (Palo Alto: 1996),  ISBN 1-881526-91-7 pbk.
     This BinSearch @@ -573,20 +573,20 @@

References for non-negative i.

 
-
[Knuth97]
-
Knuth, Donald E.  The Art of Computer +
[Knuth97]
+
Knuth, Donald E.  The Art of Computer Programming, vol.1: Fundamental Algorithms. ed.3.  Addison Wesley Longman (Reading, MA: 1997).  ISBN 0-201-89683-4.
 
-
[Pólya57]
+
[Pólya57]
Pólya, George.  How to Solve It.  ed.2.  Princeton University Press (Princeton, NJ: 1945, 1957).  ISBN 0-691-08097-6.
 
-
[Sedgewick89]
+
[Sedgewick89]
Sedgewick, Robert.  Algorithms.  Second edition.  Addison-Wesley (Reading, MA: 1983, 1988).  1989 reprint with authors corrections.  ISBN 0-201-06673-4.
@@ -605,7 +605,7 @@

History

0.20 2001-02-23 Separate extended material (orcmid)
-
A long-winded version of this note is +
A long-winded version of this note is frozen and separated.  This draft is now available for pruning down to the essential ideas, with references to articles having extended development under the Miser Project. 
@@ -626,7 +626,7 @@

History

-

created 2001-01-04-12:40 -0800 (pst) by orcmid
+

created 2001-01-04-12:40 -0800 (pst) by orcmid
$$Author: Orcmid $
$$Date: 03-05-25 10:50 $
$$Revision: 17 $

diff --git a/bib/R010101a.htm b/bib/2001/r010101a.htm similarity index 98% rename from bib/R010101a.htm rename to bib/2001/r010101a.htm index e51cfc8..3b7b6ef 100644 --- a/bib/R010101a.htm +++ b/bib/2001/r010101a.htm @@ -7,15 +7,15 @@ -

Reading +

Reading Notes

-

R010101a: +

R010101a: Abstracting Algorithms from Programs

-
Sedgewick, Robert.  Algorithms.  Second +
Sedgewick, Robert.  Algorithms.  Second edition.  Addison-Wesley (Reading, MA: 1983, 1988).  1989 reprint with authors corrections.  ISBN 0-201-06673-4.
@@ -47,7 +47,7 @@

R010101a: new application.  I recommend supplementing this material with the practical methods of Software Tools and the introspective explorations of Programming Pearls.  Most of all I encourage - development of enough sense of the material in The Art of Computer + development of enough sense of the material in The Art of Computer Programming to be able to read the discussions of algorithms there, even if you never use the particular implementations.

@@ -69,7 +69,7 @@

R010101a:

-
0.10 2001-02-23 Prepare R010101 +
0.10 2001-02-23 Prepare R010101 for division into separate articles (orcmid).
This note becomes the common basis for several articles that address the underlying themes more carefully.
-
0.00 2001-01-04 Initiate "Do +
0.00 2001-01-04 Initiate "Do Programs Teach Algorithms?" (orcmid)
On re-examinination of  Sedgwick's Algorithms, I noticed that there seems to be a collapse of @@ -949,7 +949,7 @@

History

-

created 2001-01-04-12:40 -0800 (pst) by orcmid
+

created 2001-01-04-12:40 -0800 (pst) by orcmid
$$Author: Orcmid $
$$Date: 02-10-13 12:49 $
$$Revision: 15 $

diff --git a/bib/R010300.htm b/bib/2001/r010300.htm similarity index 98% rename from bib/R010300.htm rename to bib/2001/r010300.htm index e3b25f8..ef79c5b 100644 --- a/bib/R010300.htm +++ b/bib/2001/r010300.htm @@ -7,11 +7,11 @@ -

Reading - +

Reading + Notes

-

R010300: Plato's Idealistic +

R010300: Plato's Idealistic Journey

@@ -19,13 +19,13 @@

R010300: Plato's Ideali
-
[Williams1999]
+
[Williams1999]
Williams, Bernard Arthur Owen.  Plato.  The Invention of Philosophy.  The Great Philosophers Series, no. 23.  Phoenix, London; Rutledge, NY (London: 1997, New York: 1999).  ISBN 0-415-92395-6 pbk.  57pp.
     I am not so taken by this little book in the - same way that I have been by the one on Bertrand Russell [Monk1999].  + same way that I have been by the one on Bertrand Russell [Monk1999].  My hesitation is about being found cheating, relying on what might be called the Reader's Digest take on the invention of philosophy.   It is here I am confronted by myself as a snob @@ -527,7 +527,7 @@

History

-

created 2001-03-10-18:39 -0800 (pst) by orcmid
+

created 2001-03-10-18:39 -0800 (pst) by orcmid
$$Author: Orcmid $
$$Date: 03-05-25 10:50 $
$$Revision: 8 $

diff --git a/bib/R010400.htm b/bib/2001/r010400.htm similarity index 89% rename from bib/R010400.htm rename to bib/2001/r010400.htm index 0defcb3..a91d15c 100644 --- a/bib/R010400.htm +++ b/bib/2001/r010400.htm @@ -7,17 +7,17 @@ -

Reading +

Reading Notes

-

R010400: How C# Matters To +

R010400: How C# Matters To Me

-
[Albahari2001]
+
[Albahari2001]
Albahari, Ben., Drayton, Peter., Merrill, Brad.  C# Essentials.  Programming the .NET Framework.  O'Reilley (Sebastopol, CA: 2001).  ISBN 0-596-00079-0 pbk.
@@ -114,7 +114,7 @@

History

-

created 2001-04-01-23:57 -0700 (pdt) by orcmid
+

created 2001-04-01-23:57 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 03-05-25 10:50 $
$$Revision: 7 $

diff --git a/bib/R010501.htm b/bib/2001/r010501.htm similarity index 87% rename from bib/R010501.htm rename to bib/2001/r010501.htm index 7a4bec8..6d7a903 100644 --- a/bib/R010501.htm +++ b/bib/2001/r010501.htm @@ -7,10 +7,10 @@ -

Reading +

Reading Notes

-

R010501: Republic Book 1 - +

R010501: Republic Book 1 - The Quality of Justice

@@ -19,7 +19,7 @@

R010501: Republic Book
-
[Plato-400b]
+
[Plato-400b]
Plato.  The Republic of Plato.  Translated with notes and interpretive essay by Allan Bloom.  Basic Books (1968, 1991).  ISBN 0-465-06934-7 pbk.
@@ -98,7 +98,7 @@

History

-

created 2001-05-10-17:42 -0700 (pdt) by orcmid
+

created 2001-05-10-17:42 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 03-05-25 10:50 $
$$Revision: 7 $

diff --git a/bib/r010800.htm b/bib/2001/r010800.htm similarity index 92% rename from bib/r010800.htm rename to bib/2001/r010800.htm index eaaf3d9..e0fb5ad 100644 --- a/bib/r010800.htm +++ b/bib/2001/r010800.htm @@ -5,7 +5,7 @@ - + @@ -14,11 +14,11 @@ + @@ -44,7 +44,7 @@

This is a syllabus that follows the content of Sipser, Michael. - Introduction to the Theory of Computation.  + Introduction to the Theory of Computation.  PWS Publishing (Boston, MA: 1997).  ISBN 0-534-94728-X

Michael Sipser is a member of the MIT Theory of Computation Group.  His book is being used as the basis for @@ -477,14 +477,14 @@

- -Orcmid Phantasm 2004 image + U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan --> + +Orcmid Phantasm 2004 image -

Miser Project Readings
@@ -26,10 +26,10 @@

-

miser>readings>

+

miser>readings>

r010800>
0.01 - 2023-08-31 10:35 + 2023-08-31 13:40

+ + Construction Structure (Hard Hat Area) + You are navigating Orcmid's Lair +
- - Construction Structure (Hard Hat Area) - + - You are navigating Orcmid's Lair -

created 2001-08-07-22:07 -0700 (pdt) by orcmid diff --git a/bib/r010800a.htm b/bib/2001/r010800a.htm similarity index 90% rename from bib/r010800a.htm rename to bib/2001/r010800a.htm index 88eb939..0ba82f6 100644 --- a/bib/r010800a.htm +++ b/bib/2001/r010800a.htm @@ -7,7 +7,7 @@ - + @@ -16,11 +16,11 @@ + @@ -50,7 +50,7 @@ demonstration of key elements of computation theory.

This 2001 material is deficient, in that it does not rely on Sipser so much as my notes from [Davis1982] at - r000800.  The editing from that as + r000800.  The editing from that as boilerplate with an account of the Sipser coverage is apparently incomplete.  My ideas for Frugalese have probably advanced farther than the indications here, as well.  I do not expect to develop this particular note any @@ -317,13 +317,13 @@

References

-
[Davis1982]
+
[Davis1982]
Davis, Martin. Computability and Unsolvability. Dover (New York: 1958, 1973, 1982). ISBN 0-486-61471-9 pbk.
-
[Sipser1997]
+
[Sipser1997]
Sipser, Michael.  @@ -354,14 +354,14 @@

 

- -Orcmid Phantasm 2004 image + U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan --> + +Orcmid Phantasm 2004 image -

Miser Project Readings
@@ -29,10 +29,10 @@

-

miser>readings>

+

miser>readings>

r010800a>
0.01 - 2023-08-31 10:35 + 2023-08-31 13:41

+ + Construction Structure (Hard Hat Area) @@ -42,9 +42,9 @@
- - Construction Structure (Hard Hat Area) - + - You are navigating Orcmid's Lair - + You are navigating Orcmid's Lair +

created 2001-09-07-17:19 -0700 (pdt) by diff --git a/bib/R011000.htm b/bib/2001/r011000.htm similarity index 98% rename from bib/R011000.htm rename to bib/2001/r011000.htm index 731abe7..02f271c 100644 --- a/bib/R011000.htm +++ b/bib/2001/r011000.htm @@ -7,16 +7,16 @@ -

Reading +

Reading Notes

-

R011000: Scientific +

R011000: Scientific Determinism - Misattribution of Reality

-
[Lewontin2000]
+
[Lewontin2000]
Lewontin, Richard C.  It Ain't Necessarily So: The Dream of the Human Genome and Other Illusions.  The New York Review of @@ -471,7 +471,7 @@

History

 -

created 2001-10-16-15:58 -0700 (pdt) by orcmid
+

created 2001-10-16-15:58 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 03-05-25 10:50 $
$$Revision: 7 $

diff --git a/bib/R011100.htm b/bib/2001/r011100.htm similarity index 96% rename from bib/R011100.htm rename to bib/2001/r011100.htm index 9fbeb8d..c760616 100644 --- a/bib/R011100.htm +++ b/bib/2001/r011100.htm @@ -7,16 +7,16 @@ -

Reading +

Reading Notes

-

R011100: The Social +

R011100: The Social Construction of Social Construction

-
[Hacking1999]
+
[Hacking1999]
Hacking, Ian.  The Social Construction of What?  Harvard University Press (Cambridge, MA: 1999).  ISBN 0-674-81200-X alk. paper.
@@ -286,7 +286,7 @@

History

-

created 2001-11-23-13:32 -0800 (pst) by orcmid
+

created 2001-11-23-13:32 -0800 (pst) by orcmid
$$Author: Orcmid $
$$Date: 03-05-25 10:50 $
$$Revision: 5 $

diff --git a/bib/R020100.htm b/bib/2002/r020100.htm similarity index 93% rename from bib/R020100.htm rename to bib/2002/r020100.htm index fde5af5..c12b485 100644 --- a/bib/R020100.htm +++ b/bib/2002/r020100.htm @@ -7,9 +7,9 @@ -

Readings

+

Readings

-

R020100: Trust Me!

+

R020100: Trust Me!

@@ -55,11 +55,11 @@

R020100: Trust Me!

-

see also: R020100A: Players in +

see also: R020100A: Players in Trustworthy Computing
-R020100B: Unrefined Sources and Materials on Trustworthy +R020100B: Unrefined Sources and Materials on Trustworthy Computing
-R020100C: The Road to Trustworthy Computing (a timeline)

+R020100C: The Road to Trustworthy Computing (a timeline)

Content

Syllabus

@@ -113,15 +113,15 @@

Syllabus

don't propose to read all of those.  It seems more valuable to know where we can get our hands on them. -

I began a list +

I began a list of people and places  whose work is relevant for Trustworthy Computing, starting with the people that MacKenzie has relied up one way or another.

I also began a - list of sources and readings that are to be + list of sources and readings that are to be located and added to an appropriate bibliography as they are found to be pertinent.

Finally, I noticed that Chronology - is important, so I began a chronology based on the Appendix in [MacKenzie1998] + is important, so I began a chronology based on the Appendix in [MacKenzie1998]

Text pages created that are a basis for further analysis: identification of @@ -139,7 +139,7 @@

Syllabus

 		Notes - and text have been compiled below.  The references have been updated + and text have been compiled below.  The references have been updated and consolidated where possible.  

The synopsis of the chapters has been spread out to the appropriate sections from here, and I'll do more as I get into the @@ -227,7 +227,7 @@

1.1 Sources of Knowledge [p.2]

  • deduction - we infer the properties from other beliefs, for example by deducing them from theories or models
    • -

    MacKenzie sites his 1996 paper +

    MacKenzie sites his 1996 paper for this.

    Deductive proof at the core of mathematics and formal logic.  That propositions can be proved, not simply justified empirically, is at the heart @@ -317,7 +317,7 @@

    1.5.1 Risk and Trust in Societies of High Modernity

    Trade-off between mathematicization and trust.   As community becomes modernity's society, face-to-face solutions are no longer viable.  Modernity's "trust in numbers" is a substitute for - absent trust in people.  [Porter] + absent trust in people.  [Porter] argues that "reliance on numbers and quantitative manipulations minimizes the need for intimate knowledge and personal trust."  What we trust are "systems of technical accomplishment or professional expertise," @@ -355,11 +355,11 @@

    2. Boardwalks Across the Tar Pit

    crisis.  Emphasis on practical disciplines from traditional areas of engineering and emphasis on theoretical foundations of computer science, especially mathematics and logic.  Subjecting the computer to the rigor - of mathematics and logic: Edsger W. - Dijkstra, John McCarthy, Peter - Naur, Robert W. Floyd, Tony - Hoare.  Harlan Mills on - subjective conviction for correctness of claimed proofs.   James + of mathematics and logic: Edsger W. + Dijkstra, John McCarthy, Peter + Naur, Robert W. Floyd, Tony + Hoare.  Harlan Mills on + subjective conviction for correctness of claimed proofs.   James King's program-proof program.

    3. Artificial Mathematicians?

    @@ -389,7 +389,7 @@

    Bibliography

    Today, and ZDNet.
          -
    [MacKenzie1998]
    +
    [MacKenzie1998]
    MacKenzie, Donald A.  Computers and the Sociology of Mathematical Proof.  Prepared for Northern @@ -397,7 +397,7 @@

    Bibliography

    University Department of Sociology.  Published on-line.
     
    -
    [MacKenzie2001]
    +
    [MacKenzie2001]
    MacKenzie, Donald A.  Mechanizing Proof: Computing, Risk, and Trust.  MIT Press (Cambridge, MA: 2001).  @@ -412,7 +412,7 @@

    Bibliography

    -

    created 2002-01-18-14:34 -0800 (pst) by orcmid
    +

    created 2002-01-18-14:34 -0800 (pst) by orcmid
    $$Author: Orcmid $
    $$Date: 03-05-25 10:50 $
    $$Revision: 11 $

    diff --git a/bib/R020100a.htm b/bib/2002/r020100a.htm similarity index 97% rename from bib/R020100a.htm rename to bib/2002/r020100a.htm index ac31e9a..28d9c69 100644 --- a/bib/R020100a.htm +++ b/bib/2002/r020100a.htm @@ -7,9 +7,9 @@ -

    Readings

    +

    Readings

    -

    R020100a: Players in Trustworthy +

    R020100a: Players in Trustworthy Computing

    @@ -332,7 +332,7 @@

    References

    -
    [MacKenzie1998]
    +
    [MacKenzie1998]
    MacKenzie, Donald A.  Computers and the Sociology of Mathematical Proof.  Prepared for Northern @@ -340,7 +340,7 @@

    References

    University Department of Sociology.  Published on-line.
     
    -
    [MacKenzie2001]
    +
    [MacKenzie2001]
    MacKenzie, Donald A.  Mechanizing Proof: Computing, Risk, and Trust.  MIT Press (Cambridge, MA: 2001).  @@ -359,7 +359,7 @@

    References

    -

    created 2002-02-02-22:42 -0800 (pst) by orcmid
    +

    created 2002-02-02-22:42 -0800 (pst) by orcmid
    $$Author: Orcmid $
    $$Date: 02-10-13 13:12 $
    $$Revision: 7 $

    diff --git a/bib/R020100b.htm b/bib/2002/r020100b.htm similarity index 98% rename from bib/R020100b.htm rename to bib/2002/r020100b.htm index b9d8b58..4709314 100644 --- a/bib/R020100b.htm +++ b/bib/2002/r020100b.htm @@ -7,9 +7,9 @@ -

    Readings

    +

    Readings

    -

    R020100b: Unrefined Sources and +

    R020100b: Unrefined Sources and Materials on Trustworthy Computing

    @@ -530,7 +530,7 @@

    References

    -
    [MacKenzie1998]
    +
    [MacKenzie1998]
    MacKenzie, Donald A.  Computers and the Sociology of Mathematical Proof.  Prepared for Northern @@ -538,7 +538,7 @@

    References

    University Department of Sociology.  Published on-line.
     
    -
    [MacKenzie2001]
    +
    [MacKenzie2001]
    MacKenzie, Donald A.  Mechanizing Proof: Computing, Risk, and Trust.  MIT Press (Cambridge, MA: 2001).  @@ -553,7 +553,7 @@

    References

    -

    created 2002-02-02-23:22 -0800 (pst) by orcmid
    +

    created 2002-02-02-23:22 -0800 (pst) by orcmid
    $$Author: Orcmid $
    $$Date: 02-10-13 13:19 $
    $$Revision: 8 $

    diff --git a/bib/R020100c.htm b/bib/2002/r020100c.htm similarity index 91% rename from bib/R020100c.htm rename to bib/2002/r020100c.htm index 030a0ea..0cc736c 100644 --- a/bib/R020100c.htm +++ b/bib/2002/r020100c.htm @@ -7,9 +7,9 @@ -

    Readings

    +

    Readings

    -

    R020100c: The Road to Trustworthy +

    R020100c: The Road to Trustworthy Computing

    @@ -104,14 +104,14 @@

    References

    -
    [Berlinski2000]
    +
    [Berlinski2000]
    Berlinski, David.  The Advent of the Algorithm: The Idea That Rules the World.  Harcourt (New York: 2000).  ISBN 0-15-100338-6.
     
    -
    [MacKenzie1998]
    +
    [MacKenzie1998]
    MacKenzie, Donald A.  Computers and the Sociology of Mathematical Proof.  Prepared for Northern @@ -119,7 +119,7 @@

    References

    University Department of Sociology.  Published on-line.
     
    -
    [MacKenzie2001]
    +
    [MacKenzie2001]
    MacKenzie, Donald A.  Mechanizing Proof: Computing, Risk, and Trust.  MIT Press (Cambridge, MA: 2001).  @@ -137,7 +137,7 @@

    References

    -

    created 2002-02-02-23:23 -0800 (pst) by orcmid
    +

    created 2002-02-02-23:23 -0800 (pst) by orcmid
    $$Author: Orcmid $
    $$Date: 02-10-13 13:22 $
    $$Revision: 6 $

    diff --git a/bib/R020200.htm b/bib/2002/r020200.htm similarity index 95% rename from bib/R020200.htm rename to bib/2002/r020200.htm index cda0fc2..03e7172 100644 --- a/bib/R020200.htm +++ b/bib/2002/r020200.htm @@ -7,9 +7,9 @@ -

    Readings

    +

    Readings

    -

    R020200: A Philosophical +

    R020200: A Philosophical Agenda

    @@ -93,7 +93,7 @@

    R020200: A Philosophica
    -

    created 2002-02-14-15:39 -0800 (pst) by orcmid
    +

    created 2002-02-14-15:39 -0800 (pst) by orcmid
    $$Author: Orcmid $
    $$Date: 03-05-25 10:50 $
    $$Revision: 5 $

    diff --git a/bib/R020700.htm b/bib/2002/r020700.htm similarity index 97% rename from bib/R020700.htm rename to bib/2002/r020700.htm index e23eb0c..34523c7 100644 --- a/bib/R020700.htm +++ b/bib/2002/r020700.htm @@ -7,13 +7,13 @@ -

    Readings

    +

    Readings

    -

    R020700: Mathematics -- To +

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

    -
    [Whitehead1948]
    +
    [Whitehead1948]
    Whitehead, Alfred North.  An Introduction to Mathematics.  Oxford University Press (New York: 1911, 1948).  12th printing of paperback edition issued 1958.  ISBN 0-19-500211-3.
    @@ -202,7 +202,7 @@

    17. Quantity

    -

    created 2002-07-05-21:37 -0700 (pdt) by orcmid
    +

    created 2002-07-05-21:37 -0700 (pdt) by orcmid
    $$Author: Orcmid $
    $$Date: 03-05-25 10:50 $
    $$Revision: 6 $

    diff --git a/bib/R020701.htm b/bib/2002/r020701.htm similarity index 98% rename from bib/R020701.htm rename to bib/2002/r020701.htm index 26f195d..0890763 100644 --- a/bib/R020701.htm +++ b/bib/2002/r020701.htm @@ -10,13 +10,13 @@ -

    Readings

    +

    Readings

    -

    R020701: Tip-Toes Around +

    R020701: Tip-Toes Around the Abyss

    -
    [Körner1968]
    +
    [Körner1968]
    Körner, Stephan.  The Philosophy of Mathematics: An Introductory Essay.  Hutchinson & Co (London: 1960, 1968).  Unabridged and unaltered republication by Dover @@ -664,9 +664,9 @@

    References

    [Cantor1895]
    Cantor, Georg.  Beiträge zur Begründung der transfiniten Mengenlehre I.  Mathematische Annalen (1895).   Translated - and reprinted in [Cantor1915].
    + and reprinted in [Cantor1915].
       
    -
    [Quine1981]
    +
    [Quine1981]
    Quine, Willard Van Orman.  Mathematical Logic.  revised edition.  Harvard University Press (Cambridge, MA: 1940, 1951, 1979, 1981).  ISBN 0-674-55451-5 pbk.
    @@ -674,7 +674,7 @@

    References

    [Russell1925]
    Whitehead, Alfred North., Russell, Bertrand.  Principia Mathematica, vol. 1.  ed.2.  Cambridge University Press.  (Cambridge: - 1927).  See [Whitehead1997].
    + 1927).  See [Whitehead1997].
    @@ -685,7 +685,7 @@

    References

    -

    created 2002-07-28-11:34 -0700 (pdt) by orcmid
    +

    created 2002-07-28-11:34 -0700 (pdt) by orcmid
    $$Author: Orcmid $
    $$Date: 03-05-25 10:50 $
    $$Revision: 9 $

    diff --git a/bib/r030300.htm b/bib/2003/r030300.htm similarity index 95% rename from bib/r030300.htm rename to bib/2003/r030300.htm index c1f50df..6c46193 100644 --- a/bib/r030300.htm +++ b/bib/2003/r030300.htm @@ -12,9 +12,9 @@ -

    Readings

    +

    Readings

    -

    R030300: The Reach of +

    R030300: The Reach of Software Engineering

    @@ -153,7 +153,7 @@

    References

    -
    [Brooks1995]
    +
    [Brooks1995]
     
    [Checkland1981]
    Checkland, P.  Systems Thinking, Systems Practice.  John Wiley @@ -161,7 +161,7 @@

    References

        
    -
    [SE] [Sommerville2001]
    +
    [SE] [Sommerville2001]
    Sommerville, Ian.  Software Engineering, ed.6.  Addison-Wesley (Boston: 2001).  ISBN 0-201-39815-X.
       
    @@ -182,7 +182,7 @@

    References

    -

    created 2003-03-16-13:37 -0800 (pst) by orcmid
    +

    created 2003-03-16-13:37 -0800 (pst) by orcmid
    $$Author: Orcmid $
    $$Date: 04-11-25 12:50 $
    $$Revision: 6 $

    diff --git a/bib/r030800.htm b/bib/2003/r030800.htm similarity index 90% rename from bib/r030800.htm rename to bib/2003/r030800.htm index 383419c..771c9e6 100644 --- a/bib/r030800.htm +++ b/bib/2003/r030800.htm @@ -12,33 +12,33 @@ - + - - + S-Type="EDITED" S-Format="%Y-%m-%d" startspan -->2023-08-31 -11:33 -0700

     @@ -134,7 +134,7 @@

    1.1 Why "Situating?"

    On May 29, 2003, I began something I had always meant to - do:   learn Java.  My prior + do:   learn Java.  My prior experience was limited to "Hello, World" in Microsoft Visual J++.  I knew Java was the latest thing, and had become the academic-instruction programming language of choice.  So, instead of @@ -179,7 +179,7 @@

    1.2 Situating Meaning

    On August 7, 2003, I began something else I had been meaning to do: dig into the full array of XML specifications.  I did that by - electing the new Web Applications module + electing the new Web Applications module as part of my M.Sc in IT studies.

    @@ -221,7 +221,7 @@

    1.3 Situating Data

    -

    Nevertheless, on October 16, 2003 I began a course +

    Nevertheless, on October 16, 2003 I began a course on Databases as one of my M.Sc in IT required courses.  It was predictable that I would run into problems of semantics and situation of meaning here as well.  I found database systems to be surprisingly @@ -284,19 +284,19 @@

    References on the web at <http://www.cs.tcd.ie/Tim.Fernando/B/DevlinPaper.pdf>
        -
    [Winograd1985] 
    +
    [Winograd1985] 
    Winograd, Terry. Moving the semantic fulcrum.  Linguistics and Philosophy 8, 1 (1985), 91-104.
       
    -
    [Winograd1986]
    +
    [Winograd1986]
    Winograd, Terry., Flores, Fernando.  Understanding Computers and Cognition: A New Foundation for Design.  Addison-Wesley (Reading, MA: 1986, 1987).  ISBN 0-201-11297-3 pbk.
       
    -
    [Winograd1987]
    +
    [Winograd1987]
    Winograd, Terry.  Is Realism for Real? A Response to John Perry's seminar.  CSLI Monthly 2, 5 (February 1987).
    @@ -416,21 +416,21 @@

    History

    I moved my lengthy annotations to here, in preparation for gathering more notes on the text as I work through the final two chapters.  This is highly unstructured and a placeholder that allows me to simplify - the annotation in the bibliographic + the annotation in the bibliographic entry.

    - -Orcmid Phantasm 2004 image + +Orcmid Phantasm 2004 image - +

    Readings
    +

    Readings
         Situating Cognition

    		 -

    orcmid>
    - readings>

    +

    orcmid>
    + readings>

    R030800>
    0.01 2023-08-31 -11:31 -0700
    - + @@ -119,18 +119,27 @@


    Orcmid Materials

    - + + What should I do about the Orcmid's Lair readings/ ?.  + Should I leave tombstones? - + + Decide how to handle the readings/reviews as folios + versus strung out in the r business.  [Since these are new here, + not to be confused with those at orcmid.com, I can reorganize without + fuss, except I'll need to have a corresponding construction-structure + nest.  I do have places to handle this. diff --git a/bib/compsci.htm b/bib/compsci.htm index 06ad6a0..a9ea203 100644 --- a/bib/compsci.htm +++ b/bib/compsci.htm @@ -39,7 +39,7 @@ 2023-08-31 - -11:33 -0700 + -13:37 -0700

    @@ -763,7 +763,7 @@ much said here about algorithms, and that matters in The Miser Project, too.  dh:2000-07-18.
    -      For a related discussion, see my note, Do +      For a related discussion, see my note, Do Programs Teach Algorithms? -- dh.
       Content
         Preface
    @@ -1004,7 +1004,7 @@ of the language, our programs can easily be translated into many other modern programming languages." -- from the Introduction, p.3.
         There is more discussion of my concerns about - the actual execution of this approach under "Do + the actual execution of this approach under "Do Programs Teach Algorithms?" -- dh.
       Contents
         Preface
    diff --git a/bib/construction.htm b/bib/construction.htm index ca2b015..b469933 100644 --- a/bib/construction.htm +++ b/bib/construction.htm @@ -32,7 +32,7 @@ construction.htm>
    2023-08-31 -12:27 -0700 + S-Type="EDITED" S-Format="%Y-%m-%d" startspan -->2023-08-31 -13:38 -0700

    Hard Hat AreaHard Hat Area + U-Include="../../construction/templates/00/c000005d.htm" TAG="BODY" startspan --> - You are navigating Orcmid's Lair - + You are navigating Orcmid's Lair + -

    created 2003-08-04-14:21 -0700 (pdt) by orcmid
    +

    created 2003-08-04-14:21 -0700 (pdt) by orcmid
    $$Author: Orcmid $
    $$Date: 22-05-06 12:12 $
    $$Revision: 27 $

    diff --git a/bib/c000000.htm b/bib/c000000.htm index 2e35f29..2751639 100644 --- a/bib/c000000.htm +++ b/bib/c000000.htm @@ -42,7 +42,7 @@ bib>

    c000000>
    0.0.1 - 2023-08-31 12:47 + 2023-08-31 14:33

       + + 2023-08-31 -  
       + + 2023-08-31 -  
    @@ -241,7 +241,7 @@

    Change History

    specialized references and notes in individual projects, such as The Miser Project.
    4. This collection continues the idea of using random Web-page names for material that is not intended to be cross-referenced and which may be of an - ephemeral character (such as BXn9rCKW.htm was + ephemeral character (such as BXn9rCKW.htm was originally).  It also means that agents (robots) and trollers can't find these pages by guessing their names.  It is necessary to know the link.  At some point, I diff --git a/bib/index.htm b/bib/index.htm index 95fd8e5..63def1e 100644 --- a/bib/index.htm +++ b/bib/index.htm @@ -21,17 +21,17 @@
    		-

    Miser Project readings/
    +

    Orcmid on GitHub bib/
    Construction Structure

    		 -

    miser>
    - readings>

    +

    orcmid.github.io>
    + bib>

    index.htm>
    2023-08-31 -10:44 -0700 + S-Format="%Y-%m-%d" startspan -->2023-08-31 -14:33 -0700

    - @@ -53,12 +53,12 @@
            index.htm - Miser Project readings/ Construction + bib/ Construction Structure (this page)
          default.htm - Miser Readings
    + Miser Readings
     construction.htm - Miser Readings Construction + bib/ Construction Zone
          c000000.htm Miser Readings Construction Job Jar @@ -78,21 +78,32 @@ theory.htm Bibliography: Theory of Computation
          r000700.htm - Reading Notes: Lambda Calculus and + Reading Notes: Lambda Calculus and Combinatory Algebra
          r000800.htm - Reading Notes: Computability and + Reading Notes: Computability and Unsolvability
          r010800.htm - Reading Notes: Sketching + Reading Notes: Sketching Computation Theory
         r010800a.htm - Reading Notes: Computation Theory + Reading Notes: Computation Theory Definitions, Nomenclature, and Elementary Concepts
    - + - - - -
    Superior Structure:Miser Project Construction + orcmid.github.io Construction Structure (front porch)
    - Miser Project Construction Zone + orcmid.github.io Construction Zone (front porch)
    Subordinate Structure:[none]          + 2000/   + 2000 Readings/Reviews
    +          + 2001/   + 2001 Readings/Reviews
    +          + 2002/   + 2002 Readings/Reviews
    +          + 2003/   + 2003 Readings/Reviews      
    diff --git a/bib/default.htm b/bib/index.html similarity index 59% rename from bib/default.htm rename to bib/index.html index 4ab7309..17468ca 100644 --- a/bib/default.htm +++ b/bib/index.html @@ -26,23 +26,22 @@ Orcmid Phantasm 2004 image - +

    Readings
    +

    + Bibliographies
    Bibliographies - & Notes

    + & + Notes/Reviews     		-

    orcmid>
    - readings>

    -

    default.htm>
    +

    orcmid.github.io>
    + bib>

    +

    index.html>
    2023-08-31 - -11:33 -0700 + S-Type="EDITED" S-Format="%Y-%m-%d" startspan -->2023-08-31 + -14:18 -0700

    @@ -50,40 +49,42 @@

    -

     

    - -
    - - - - -
    -


    - This site is being repaved.

    -
    -

    A server migration has - introduced broken linkages as part of changing to a web host - that uses case-sensitive file names.  As a consequence, - there may be broken links and inaccessible material.  A - project for systematically repairing the site is underway.

    -

    The most-heavily used - areas are repaired first, usually starting with material that is - being worked on or updated.

    -
    -

     

    -
    -

     

    + + + + + + + +
    + + orcmid.github.io> + preservation> 2023-08-29 announcement>
    +


    Orcmid Materials + Are Being Preserved/Repaired on GitHub.

    +
    +

    Migration to new + servers introduces a number of problems that require + repairs.  In addition to those defects, some older + pages also need to be modified and reorganized for + consistency across The orcmid.github.io organization.  While the site + is being preserved to + accomplish both kinds of improvements and adjustments, you may notice discrepancies + and problems with links to site content.

    +     +
    +

     

    +

    Content

    -
    -
    Philosophy
    -
    Logic
    -
    -

    Mathematics

    + +

    Philosophy

    +

    Logic

    +

    Mathematics

    Science

    @@ -100,13 +101,13 @@

    Science

     
    Software Tools and Programming
    Programming Systems and Languages
    -
    Functional +
    Functional Programming -Systems [Miser Project]
    +Systems
       
    Computer Science
    -
    Theory of -Computation [Miser Project]
    +
    Theory of +Computation
       
    Quality Processes
       
    @@ -115,7 +116,7 @@

    Science

    -

    Index of Notes on Readings

    +

    Index of Notes on Readings

    Complete Author Bibliography

    @@ -127,7 +128,8 @@

    Complete Author Bibliography

    - +
    Hard Hat Area + + Hard Hat Area @@ -137,17 +139,12 @@

    Complete Author Bibliography

    You are navigating Orcmid's Lair - - - - -     		-

    created 2000-07-18-18:32 -0700 (pdt) by orcmid +

    created 2000-07-18-18:32 -0700 (pdt) by + orcmid
    -$$Author: Orcmid $
    -$$Date: 22-05-06 12:12 $
    -$$Revision: 58 $

    +$$Author: Orcmid $
    diff --git a/bib/math.htm b/bib/math.htm index 12bbd5c..f6f3721 100644 --- a/bib/math.htm +++ b/bib/math.htm @@ -37,7 +37,7 @@

    math>
    2023-08-31 - -11:33 -0700 + -13:33 -0700

    @@ -1242,7 +1242,7 @@ for its mathematical content as for its effort to address just what mathematics is that it is important to us, and how casting abstractions in mathematical terms provides a way to form a general idea of the - course of natural events, "to see what is + course of natural events, "to see what is general in what is particular and what is permanent in what is transitory [p.4]."  That is, to abstract the perceived orderliness of nature into mathematical theories that are interpreted to @@ -1253,24 +1253,24 @@ by revolutionary developments in logic and the mathematical language of science. -- dh:2002-07-05.
       Content
    -      1. The Abstract Nature +      1. The Abstract Nature of Mathematics
    -      2. Variables
    +      2. Variables
         3. Methods of Application
         4. Dynamics
    -      5. The Symbolism of Mathematics
    -      6. Generalizations of Number
    +      5. The Symbolism of Mathematics
    +      6. Generalizations of Number
         7. Imaginary Numbers
         8. Imaginary Numbers (continued)
         9. Co-ordinate Geometry
         10. Conic Sections
    -      11. Functions
    +      11. Functions
         12. Periodicity in Nature
         13. Trigonometry
         14. Series
         15. The Differential Calculus
         16. Geometry
    -      17. Quantity
    +      17. Quantity
         Bibliography
         Index
       
    diff --git a/bib/milieu.htm b/bib/milieu.htm index 4b7e745..ae6851b 100644 --- a/bib/milieu.htm +++ b/bib/milieu.htm @@ -37,7 +37,7 @@

    milieu>
    2023-08-31-11:33 -0700
    @@ -252,7 +252,7 @@      Confession
         Invitation
                   - Part One: Introduction
    + Part One: Introduction
         I. The Lure of Philosophy
                   Part Two: Logic and Epistemology
    @@ -397,7 +397,7 @@ construction: one that in itself demonstrates the impossibility of a purely logical system that resolves all of mathematics as a wonder of deductive reasoning.  dh: 2001-01-02.
    -      Russell's Mathematical +      Russell's Mathematical Journey is summarized in a separate note.
     
    [Perry1997]
    @@ -415,7 +415,7 @@
    Plato.  The Republic of Plato.  Translated with notes and interpretive essay by Allan Bloom.  Basic Books (1968, 1991).  ISBN 0-465-06934-7 pbk.
    -      Book 1 - The Quality of +      Book 1 - The Quality of Justice, has my notes based on the reading of this section.
       
    [Polanyi1975]
    @@ -891,7 +891,7 @@ sketch provides a way to focus my own explorations and also remain aware of the greater reach of Plato's philosophical embrace.  dh: 2001-02-25.
    -      My notes on Plato's Idealistic Journey are here.
    +      My notes on Plato's Idealistic Journey are here.
       Content
         The Invention of Philosophy [untitled introduction]
    diff --git a/bib/r000000.htm b/bib/r000000.htm index 170be0d..471d7b9 100644 --- a/bib/r000000.htm +++ b/bib/r000000.htm @@ -24,27 +24,28 @@ Orcmid Phantasm 2004 image - +

    		-

    Readings
    +

    + Bibliography Readings/Reviews
    Job Jar & Diary

    		-

    orcmid>
    - readings>

    -

    R000000>
    +

    orcmid.github.io>
    + bib>

    +

    r000000>
    2023-08-31 - -11:32 -0700 + S-Format="%Y-%m-%d" startspan -->2023-08-31 + -14:32 -0700

    - @@ -72,7 +72,32 @@ + +

    Status

    		    -
    + + + + + +
    + + orcmid.github.io> + preservation> 2023-08-29 announcement>
    +


    Orcmid Materials + Are Being Preserved/Repaired on GitHub.

    +
    +

    Migration to new + servers introduces a number of problems that require + repairs.  In addition to those defects, some older + pages also need to be modified and reorganized for + consistency across The orcmid.github.io organization.  While the site + is being preserved to + accomplish both kinds of improvements and adjustments, you may notice discrepancies + and problems with links to site content.

    +     +
    +

     

    + @@ -104,23 +129,22 @@   -   + 2023-08-31 -   - + Walk through the notes/reviews for + transposition/repair/preservation   -   + 2023-08-31 -   - + Add construction structure to the annualized folders and + determine whether deeper structure required   - 2004-04-06 Create a systematic procedure to revert to valid #fragment @@ -222,29 +246,20 @@
    - - -Hard Hat Area - - - - -

     

    +  

    + Hard Hat Area

    		 You are navigating Orcmid's Lair - + -

    created 2004-02-26-14:49 -0800 (pst) by orcmid
    - $$Author: Orcmid $
    - $$Date: 22-05-06 12:12 $
    - $$Revision: 33 $

    +

    created 2004-02-26-14:49 -0800 (pst) by + orcmid
    + $$Author: Orcmid

    diff --git a/bib/r000001-log.htm b/bib/r000001.htm similarity index 85% rename from bib/r000001-log.htm rename to bib/r000001.htm index 124f1d5..60eabe9 100644 --- a/bib/r000001-log.htm +++ b/bib/r000001.htm @@ -39,9 +39,9 @@

    orcmid>
    readings>

    -

    R000001>
    +

    R000001>
    2023-08-31-11:33 -0700

    + S-Type="EDITED" S-Format="%Y-%m-%d" startspan -->2023-08-31-13:41 -0700

     @@ -80,25 +80,25 @@ - R030800 + R030800 Winograd and Flores, Understanding Computers and Cognition 2003-08-04 -

    Situating Cognition +

    Situating Cognition

    - R030300 + R030300 Sommerville, Software Engineering 2003-03-16
    -

    The Reach of Software +

    The Reach of Software Engineering @@ -113,50 +113,50 @@ - R020701 + R020701 Körner, The Philosophy of Mathematics 2002-07-28 -

    Tip-Toes Around the Abyss

    +

    Tip-Toes Around the Abyss

    - R020700 + R020700 Whitehead, An Introduction to Mathematics 2002-07-05
    -

    Mathematics -- To See What Is +

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

    - R020200 + R020200 Durant, The Pleasures of Philosophy 2002-02-14
    -

    A Philosophical Agenda +

    A Philosophical Agenda

    - R020100 + R020100 MacKenzie, Mechanizing Proof 2002-01-18
    -

    Trust Me! 

    +

    Trust Me! 

    @@ -169,25 +169,25 @@ - R011100 + R011100 Hacking, The Social Construction of What? 2001-11-23
    -

    The Social Construction of +

    The Social Construction of Social Construction

    - R011000 + R011000 Lewontin, It Ain't Necessarily So 2001-10-16
    -

    Scientific Determinism: +

    Scientific Determinism: Misattribution of Reality @@ -226,13 +226,13 @@

    - R010501 + R010501 Bloom, The Republic of Plato  
    -

    Republic Book 1 - The Quality +

    Republic Book 1 - The Quality of Justice @@ -249,47 +249,47 @@

    - R010400 + R010400 C# Essentials  2001-04-01
    -

    How C# Matters to Me +

    How C# Matters to Me

    - R010300 + R010300 Williams, Plato  
    -

    Plato's Idealistic Journey +

    Plato's Idealistic Journey

    - R010101 + R010101 Sedgewick, Algorithms 2001-01-04
    -

    Do Programs Teach Algorithms? +

    Do Programs Teach Algorithms?

    - R010100 + R010100 Monk, Bertrand Russell 2001-01-02
    -

    Russell's Mathematical Journey +

    Russell's Mathematical Journey

    @@ -332,23 +332,23 @@   - R000702 + R000702 Frankston in Beyond Calculation 2000-07-18 - Beyond Limits + Beyond Limits - R000701 + R000701 Bell and Gray in Beyond Calculation 2000-07-18 - The Revolution Yet to Happen + The Revolution Yet to Happen diff --git a/bib/science.htm b/bib/science.htm index 606ca11..8874474 100644 --- a/bib/science.htm +++ b/bib/science.htm @@ -39,7 +39,7 @@ 2023-08-31 - -11:33 -0700 + -13:36 -0700

    @@ -123,47 +123,47 @@ Books (New York: 2000).  ISBN 0-940322-10-2.
         2001-10-16: I was drawn to this book by the title and my own conversations on how DNA is not anywhere enough to - determine a person.  This led to my appreciation of Scientific + determine a person.  This led to my appreciation of Scientific Determinism - Misattribution of Reality -- dh.
       Content
         Acknowledgments
         Introduction
    -      Chapter 1
    +      Chapter 1
              The Inferiority Complex [1981, reviewing Stephen Jay Gould's The Mismeasure of Man]
              An Exchange
              Epilogue
    -      Chapter 2
    +      Chapter 2
              Darwin's Revolution [1983, essay on books appearing around the Centenary of Darwin's death]
              Epilogue
    -      Chapter 3
    +      Chapter 3
              Darwin, Mendel, and the Mind
              Epilogue
    -      Chapter 4
    +      Chapter 4
              The Science of Metamorphoses
              Epilogue
    -      Chapter 5
    +      Chapter 5
              The Dream of the Human Genome
              Epilogue
    -      Chapter 6
    +      Chapter 6
              Women Versus the Biologists
              An Exchange
    -      Chapter 7
    +      Chapter 7
              Sex, Lies, and Social Science
              An Exchange
    -      Chapter 8
    +      Chapter 8
              The Confusion over Cloning
              An Exchange
              Epilogue
    -      Chapter 9
    +      Chapter 9
              Survival of the Nicest?
    diff --git a/bib/softools.htm b/bib/softools.htm index 4d68bb2..2d79bbf 100644 --- a/bib/softools.htm +++ b/bib/softools.htm @@ -37,14 +37,14 @@

    softools>
    2023-08-31 - -11:33 -0700 + -13:40 -0700

    Reorganization in -progress: This material no longer fits the current +progress: This material no longer fits the current organization of Orcmid's Readings.  I will move programming language material to the appropriate section and add, here, a summary bibliography by language, with suggested preferences (that is, by how I rate the @@ -88,7 +88,7 @@

    Albahari, Ben., Drayton, Peter., Merrill, Brad.  C# Essentials.  Programming the .NET Framework.  O'Reilly (Sebastopol, CA: 2001).  ISBN 0-596-00079-0 pbk.
    -      See also, How C# Matters to +      See also, How C# Matters to Me.
       Content
         Preface
    diff --git a/bib/swe.htm b/bib/swe.htm index 33d1769..85a1dee 100644 --- a/bib/swe.htm +++ b/bib/swe.htm @@ -38,7 +38,7 @@

    swe>
    2023-08-31 - -11:33 -0700 + -13:37 -0700

    @@ -542,7 +542,7 @@ I don't have a clue what a design pattern "is," and I thought I had a good intuition about it.  So there is more work to do.  The level at which these patterns are applied seems peculiar, and I am as - mystified by having code portray patterns as I am in having code + mystified by having code portray patterns as I am in having code portray algorithms.  Maybe it is the same difficulty.  I have much to learn.
       
    @@ -1300,7 +1300,7 @@ environment." -- from the Preface, v-vi.
       Content
         Preface
    -      Part 1.  Overview +      Part 1.  Overview
              1. diff --git a/bib/theory.htm b/bib/theory.htm index 7e9aba3..4f0dc9b 100644 --- a/bib/theory.htm +++ b/bib/theory.htm @@ -29,7 +29,7 @@

    miser>readings>

    theory.htm>
    0.01 - 2023-08-31 10:35 + 2023-08-31 13:41

    @@ -68,7 +68,7 @@ Studies in Logic and the Foundations of Mathematics, vol. 103.
         This is one of my fundamental sources on the lambda calculus.  I want to pay particular attention to combinatory - logic (CL) and combinatory algebra (CA).  My + logic (CL) and combinatory algebra (CA).  My notes on this book focus on that.
       Content
         Preface
    @@ -210,7 +210,7 @@      This is a primary reference in the theory of computation.  Although it does not address Church's Thesis and effective computability, it is widely used for its mapping of the - foundation of computation theory.  In my + foundation of computation theory.  In my readings and notes, I want to make sure that my updated formulation, centered on combinatory logic and combinatory algebra, is appropriately tied to this foundation and other fundamental works @@ -561,7 +561,7 @@      2001-08-06: This book has been singled out for use in a self-study/on-line-reading group project of the Learn-CS-Theory - on-line discussion group.  The syllabus + on-line discussion group.  The syllabus follows the sections of the Contents.  Participation on this group is my peculiar way of having added yet one more unmastered tome on computation theory to my collection.  I shall use the structure diff --git a/bib/trust.htm b/bib/trust.htm index 4138398..e70b5ad 100644 --- a/bib/trust.htm +++ b/bib/trust.htm @@ -39,7 +39,7 @@

    trust>
    2023-08-31 - -11:33 -0700 + -13:35 -0700

    @@ -306,7 +306,7 @@ on-line.  It provides an useful time-line and an abbreviated earlier treatment of themes in Mechanizing Proof.
    -      2002-01-18: A syllabus +      2002-01-18: A syllabus has been created for study of the book with my associate Bill Anderson. 
       Content
    diff --git a/construction/templates/00/c000005.htm b/construction/templates/00/c000005.htm index 9312565..5f5ced8 100644 --- a/construction/templates/00/c000005.htm +++ b/construction/templates/00/c000005.htm @@ -208,12 +208,12 @@

    Construction Image Link: - -Hard Hat Area + +Hard Hat Area - + -

     

    diff --git a/construction/templates/00/c000005c.htm b/construction/templates/00/c000005c.htm index 9682f3a..80a1463 100644 --- a/construction/templates/00/c000005c.htm +++ b/construction/templates/00/c000005c.htm @@ -3,10 +3,9 @@ - + C000005b: Standard Hard-Hat Image - + @@ -33,8 +32,6 @@ created 2003-05-23-16:42 -0700 (pdt) by orcmid $$Author: Orcmid $ - $$Date: 22-05-06 12:11 $ - $$Revision: 5 $ -->