-
- |
+
+
-
+
- You are navigating Orcmid's Lair
- |
+ 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 @@
-
-
+ U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan -->
+
+
- |
+
Miser Project Readings
@@ -29,10 +29,10 @@
|
- miser>readings>
+ miser>readings>
r010800a >
0.01
- 2023-08-31 10:35
+ 2023-08-31 13:41
|
@@ -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 @@
- - [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 @@
-
- |
+
+
-
+
- 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 @@
-
- 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 @@
-
+
-
-
-
+
+
-
+
|
- Readings
+ Readings
Situating Cognition
|
- orcmid>
- readings>
+ orcmid>
+ readings>
R030800>
0.01 2023-08-31 -11:31 -0700
|
+ 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.
- |
+ |
+ 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
|
@@ -119,18 +119,27 @@ Orcmid Materials
|
- |
+
+
+ 2023-08-31 |
- |
+ What should I do about the Orcmid's Lair readings/ ?.
+ Should I leave tombstones?
|
- |
+
+
+ 2023-08-31 |
- |
+ 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
@@ -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
|
@@ -42,9 +42,9 @@
@@ -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
-
+ |
+
@@ -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
|
+ 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
@@ -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 @@
-
+
- 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
|
@@ -56,7 +57,6 @@
-
Status |
@@ -72,7 +72,32 @@
|
- |
+
+
+
+
+ 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 @@
-
-
-
-
-
-
-
-
+
+
|
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