Continue refactoring bib/ materials #7 #6 #3

orcmid · Aug 31, 2023 · bf27021 · bf27021
1 parent 38d652d
commit bf27021
Show file tree

Hide file tree

Showing 41 changed files with 426 additions and 397 deletions.
diff --git a/bib/r000700.htm → bib/2000/r000700.htm b/bib/r000700.htm → bib/2000/r000700.htm
@@ -5,7 +5,7 @@
 <!--$$Header: /miserCompagno/readings/r000700.htm 20    17-08-29 16:40 Orcmid $-->
 </head>
 
-<body stylesrc="../construction/templates/00/c000005e.htm" bgcolor="#FFFFFF" text="#000080" link="#0000FF" vlink="#800080" alink="#FF0000">
+<body stylesrc="../../construction/templates/00/c000005e.htm" bgcolor="#FFFFFF" text="#000080" link="#0000FF" vlink="#800080" alink="#FF0000">
 
 <font face="Arial, Microsoft Sans Serif, Helvetica, Geneva, Swiss, Sans Serif">
 <table border="0" width="100%" height="3">
@@ -14,22 +14,22 @@
     <td width="12%" height="6">
 
 <!--webbot bot="Include"
-      U-Include="../construction/templates/00/c000005b.htm" TAG="BODY" startspan -->
-<a href="../../" target="_top">
-<img border="0" src="../images/orc-DW-2004-08-07a1.PNG" width="120" height="145" alt="Orcmid Phantasm 2004 image"></a><a href="http://orcmid.com" target="_top">
+      U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan -->
+<a href="../../../" target="_top">
+<img border="0" src="../../images/orc-DW-2004-08-07a1.PNG" width="120" height="145" alt="Orcmid Phantasm 2004 image"></a><a href="http://orcmid.com" target="_top">
 <!-- Included from construction/c000005b.htm of 2023-08-29T00:44Z --></a>
-<!--webbot bot="Include" endspan i-checksum="17912" --></td>
+<!--webbot bot="Include" endspan i-checksum="22141" --></td>
 
     <td width="74%" height="6">
       <p align="center"><strong><font color="#990033">Miser Project Readings<br>
 		<i><font size="5">Notes on Lambda Calculus and Combinatory Logic</font></i></font></strong></p>
     </td>
 
     <td width="13%" height="6">
-      <p align="right"><b><code><a href="../" target="_top">miser</a>&gt;<a href="./" target="_top">readings</a>&gt;</code></b></p>
+      <p align="right"><b><code><a href="../../" target="_top">miser</a>&gt;<a href="../" target="_top">readings</a>&gt;</code></b></p>
       <p align="right"><code><b><a href="r000700.htm">r000700</a></b></code><b><code>&gt;</code></b><br>
       <small><small><a href="#v0.01">0.01</a> 
-		<!--webbot bot="Timestamp" S-Type="REGENERATED" S-Format="%Y-%m-%d %H:%M" startspan -->2023-08-31 10:35<!--webbot bot="Timestamp" endspan i-checksum="25695" --></small>
+		<!--webbot bot="Timestamp" S-Type="REGENERATED" S-Format="%Y-%m-%d %H:%M" startspan -->2023-08-31 13:41<!--webbot bot="Timestamp" endspan i-checksum="25295" --></small>
       </small></p>
       </td>
 
@@ -42,7 +42,7 @@
 <blockquote>
 
 <p align="left"><b>These are notes based on consideration of Barendregt, Hendrik Pieter. <i>
-<a href="theory.htm#Barendregt1981">The Lambda Calculus: Its Syntax and
+<a href="../theory.htm#Barendregt1981">The Lambda Calculus: Its Syntax and
         Semantics</a></i>. North-Holland (Amsterdam, 1981). ISBN
         0-444-85490-8.&nbsp;</b></p>
 <p align="left">Over the intervening time, I have recreated these considerations 
@@ -61,7 +61,7 @@ <h2 align="left">2000-07-18: Initial Notes - How Lambda-Calculus and Combinatory
 
 <blockquote>
   <p align="left"><b>2000-07-18 (orcmid)</b>: 
-	<a href="theory.htm#Barendregt1981">This</a>
+	<a href="../theory.htm#Barendregt1981">This</a>
   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 @@ <h3 align="left">Dancing on the Edge of Computability</h3>
 <table border="0" cellspacing="3" width="100%">
   <tr>
     <td width="10%">
-	<a href="index.htm">
-	<img border="0" src="../images/hardhat-thumb.gif" width="80" height="60" alt="Construction Structure (Hard Hat Area)"></a></td>
+	<a href="../index.htm">
+	<img border="0" src="../../images/hardhat-thumb.gif" width="80" height="60" alt="Construction Structure (Hard Hat Area)"></a></td>
     <td width="67%" valign="middle" align="center">
-      <!--webbot bot="Include" U-Include="../construction/templates/00/c000005d.htm" TAG="BODY" startspan -->
+      <!--webbot bot="Include" U-Include="../../construction/templates/00/c000005d.htm" TAG="BODY" startspan -->
 <font face="Arial, Microsoft Sans Serif, Helvetica, Geneva, Swiss, Sans Serif">
     <small><!-- Included from Orcmid /construction/c000005c.htm of 2005-02-11-16:46 -0800 -->
-    <small>You are navigating <a rel="nofollow" href="../" target="_top">Orcmid's Lair</a></small></small></font>
-<!--webbot bot="Include" endspan i-checksum="52416" -->
+    <small>You are navigating <a rel="nofollow" href="../../" target="_top">Orcmid's Lair</a></small></small></font>
+<!--webbot bot="Include" endspan i-checksum="2535" -->
     </td>
     <td width="21%">
       <p align="right"><font size="-2">created 2000-08-09-07:48 -0700 (pdt) by 

diff --git a/bib/R000701.htm → bib/2000/r000701.htm b/bib/R000701.htm → bib/2000/r000701.htm
@@ -7,17 +7,17 @@
 
 <body bgcolor="#FFFFFF" link="#0000FF" vlink="#800080" alink="#FF0000" text="#000080">
 
-<h1 align="center"><a href="../readings/">Reading</a>
+<h1 align="center"><a href="../../readings/">Reading</a>
 Notes</h1>
 
 <h1 align="center">R000701: The Revolution Yet to Happen</h1>
 
 <blockquote>
 
-<p align="left"><b>Bell, Gordon., Gray, James N.&nbsp; <a href="milieu.htm#[Bell1997]">The Revolution Yet to
+<p align="left"><b>Bell, Gordon., Gray, James N.&nbsp; <a href="../milieu.htm#[Bell1997]">The Revolution Yet to
 Happen</a>.&nbsp;
       Chapter 1, pp. 5-32 in Denning, Peter J., Metcalfe, Robert M. (eds.)&nbsp;
-<i><a href="milieu.htm#[Denning1997]">Beyond Calculation:
+<i><a href="../milieu.htm#[Denning1997]">Beyond Calculation:
       The Next Fifty Years of Computing</a></i>.&nbsp; Copernicus Springer-Verlag (New
       York: 1997).</b></p>
 
@@ -91,7 +91,7 @@ <h2 align="left">Networks: A convergence and interoperability among all nets
 
 <hr>
 
-<p align="right"><small><small>created 2000-07-18-14:00 -0700 (pdt) by <a href="../construction/orcmid.htm"> orcmid</a><br>
+<p align="right"><small><small>created 2000-07-18-14:00 -0700 (pdt) by <a href="../../construction/orcmid.htm"> orcmid</a><br>
 <em>$$Author: Orcmid $<br>
 $$Date: 02-10-13 12:14 $<br>
 $$Revision: 6 $</em></small></small></p>

diff --git a/bib/R000702.htm → bib/2000/r000702.htm b/bib/R000702.htm → bib/2000/r000702.htm
@@ -11,14 +11,14 @@
 
 <body bgcolor="#FFFFFF" link="#0000FF" vlink="#800080" alink="#FF0000" text="#000080">
 
-<h1 align="center"><i><a href="../readings/">Readings</a>
+<h1 align="center"><i><a href="../../readings/">Readings</a>
 Notes</i></h1>
 
 <h1 align="center">R000702: Beyond Limits</h1>
 
 <blockquote>
-  <p><b>Frankston, Bob.&nbsp; <a href="milieu.htm#[Frankston1997]">Beyond Limits</a>.&nbsp;
-  Chapter 3, pp. 43-57 in Denning, Peter J., Metcalfe, Robert M. (eds.)&nbsp; <i><a href="milieu.htm#[Denning1997]">Beyond Calculation:
+  <p><b>Frankston, Bob.&nbsp; <a href="../milieu.htm#[Frankston1997]">Beyond Limits</a>.&nbsp;
+  Chapter 3, pp. 43-57 in Denning, Peter J., Metcalfe, Robert M. (eds.)&nbsp; <i><a href="../milieu.htm#[Denning1997]">Beyond Calculation:
       The Next Fifty Years of Computing</a></i>.&nbsp; Copernicus Springer-Verlag (New
       York: 1997).</b></p>
 </blockquote>
@@ -140,7 +140,7 @@ <h2>Becoming the infrastructure</h2>
 
 <hr>
 
-<p align="right"><small><small>created 2000-07-18-14:00 -0700 (pdt) by <a href="../construction/orcmid.htm"> orcmid</a><br>
+<p align="right"><small><small>created 2000-07-18-14:00 -0700 (pdt) by <a href="../../construction/orcmid.htm"> orcmid</a><br>
 <em>$$Author: Orcmid $<br>
 $$Date: 02-10-13 12:18 $<br>
 $$Revision: 6 $</em></small></small></p>

diff --git a/bib/r000800.htm → bib/2000/r000800.htm b/bib/r000800.htm → bib/2000/r000800.htm
@@ -6,7 +6,7 @@
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 </head>
 
-<body stylesrc="../construction/templates/00/c000005e.htm" bgcolor="#FFFFFF" text="#000080" link="#0000FF" vlink="#800080" alink="#FF0000">
+<body stylesrc="../../construction/templates/00/c000005e.htm" bgcolor="#FFFFFF" text="#000080" link="#0000FF" vlink="#800080" alink="#FF0000">
 
 <font face="Arial, Microsoft Sans Serif, Helvetica, Geneva, Swiss, Sans Serif">
 <table border="0" width="100%" height="3">
@@ -15,22 +15,22 @@
     <td width="12%" height="6">
 
 <!--webbot bot="Include"
-      U-Include="../construction/templates/00/c000005b.htm" TAG="BODY" startspan -->
-<a href="../../" target="_top">
-<img border="0" src="../images/orc-DW-2004-08-07a1.PNG" width="120" height="145" alt="Orcmid Phantasm 2004 image"></a><a href="http://orcmid.com" target="_top">
+      U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan -->
+<a href="../../../" target="_top">
+<img border="0" src="../../images/orc-DW-2004-08-07a1.PNG" width="120" height="145" alt="Orcmid Phantasm 2004 image"></a><a href="http://orcmid.com" target="_top">
 <!-- Included from construction/c000005b.htm of 2023-08-29T00:44Z --></a>
-<!--webbot bot="Include" endspan i-checksum="17912" --></td>
+<!--webbot bot="Include" endspan i-checksum="22141" --></td>
 
     <td width="74%" height="6">
       <p align="center"><strong><font color="#990033">Miser Project Readings<br>
 		<i><font size="5">Notes on Computability and Unsolvability</font></i></font></strong></p>
     </td>
 
     <td width="13%" height="6">
-      <p align="right"><b><code><a href="../" target="_top">miser</a>&gt;<a href="./" target="_top">readings</a>&gt;</code></b></p>
+      <p align="right"><b><code><a href="../../" target="_top">miser</a>&gt;<a href="../" target="_top">readings</a>&gt;</code></b></p>
       <p align="right"><code><b><a href="r000800.htm">r000800</a></b></code><b><code>&gt;</code></b><br>
       <small><small><a href="#v0.01">0.01</a> 
-		<!--webbot bot="Timestamp" S-Type="REGENERATED" S-Format="%Y-%m-%d %H:%M" startspan -->2023-08-31 10:35<!--webbot bot="Timestamp" endspan i-checksum="25695" --></small>
+		<!--webbot bot="Timestamp" S-Type="REGENERATED" S-Format="%Y-%m-%d %H:%M" startspan -->2023-08-31 13:41<!--webbot bot="Timestamp" endspan i-checksum="25295" --></small>
       </small></p>
       </td>
 
@@ -42,7 +42,7 @@
 
 <blockquote>
 	<p align="left"><b>These are notes based on consideration of Davis, Martin.
-	<i><a href="theory.htm#Davis1982">Computability and Unsolvability</a>.</i> 
+	<i><a href="../theory.htm#Davis1982">Computability and Unsolvability</a>.</i> 
 	Dover (New York: 1958, 1973, 1982). ISBN 0-486-61471-9 pbk.</b></p>
 	<p align="left">Over the intervening time, I have recreated some of these 
 	considerations in various forms.&nbsp; There is much here that deepens the 
@@ -312,14 +312,14 @@ <h4>3.6 Quantifiers</h4>
 <table border="0" cellspacing="3" width="100%">
   <tr>
     <td width="10%">
-	<a href="index.htm">
-	<img border="0" src="../images/hardhat-thumb.gif" width="80" height="60" alt="Construction Structure (Hard Hat Area)"></a></td>
+	<a href="../index.htm">
+	<img border="0" src="../../images/hardhat-thumb.gif" width="80" height="60" alt="Construction Structure (Hard Hat Area)"></a></td>
     <td width="67%" valign="middle" align="center">
-      <!--webbot bot="Include" U-Include="../construction/templates/00/c000005d.htm" TAG="BODY" startspan -->
+      <!--webbot bot="Include" U-Include="../../construction/templates/00/c000005d.htm" TAG="BODY" startspan -->
 <font face="Arial, Microsoft Sans Serif, Helvetica, Geneva, Swiss, Sans Serif">
     <small><!-- Included from Orcmid /construction/c000005c.htm of 2005-02-11-16:46 -0800 -->
-    <small>You are navigating <a rel="nofollow" href="../" target="_top">Orcmid's Lair</a></small></small></font>
-<!--webbot bot="Include" endspan i-checksum="52416" -->
+    <small>You are navigating <a rel="nofollow" href="../../" target="_top">Orcmid's Lair</a></small></small></font>
+<!--webbot bot="Include" endspan i-checksum="2535" -->
     </td>
     <td width="21%">
       <p align="right"><font size="-2">created 2000-08-09-08:00 -0700 (pdt) by 

diff --git a/bib/r001000.htm → bib/2000/r001000.htm b/bib/r001000.htm → bib/2000/r001000.htm
@@ -6,7 +6,7 @@
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 </head>
 
-<body stylesrc="../construction/templates/00/c000005e.htm" bgcolor="#FFFFFF" text="#000080" link="#0000FF" vlink="#800080" alink="#FF0000">
+<body stylesrc="../../construction/templates/00/c000005e.htm" bgcolor="#FFFFFF" text="#000080" link="#0000FF" vlink="#800080" alink="#FF0000">
 
 <font face="Arial, Microsoft Sans Serif, Helvetica, Geneva, Swiss, Sans Serif">
 <table border="0" width="100%" height="3">
@@ -15,22 +15,22 @@
     <td width="12%" height="6">
 
 <!--webbot bot="Include"
-      U-Include="../construction/templates/00/c000005b.htm" TAG="BODY" startspan -->
-<a href="../../" target="_top">
-<img border="0" src="../images/orc-DW-2004-08-07a1.PNG" width="120" height="145" alt="Orcmid Phantasm 2004 image"></a><a href="http://orcmid.com" target="_top">
+      U-Include="../../construction/templates/00/c000005b.htm" TAG="BODY" startspan -->
+<a href="../../../" target="_top">
+<img border="0" src="../../images/orc-DW-2004-08-07a1.PNG" width="120" height="145" alt="Orcmid Phantasm 2004 image"></a><a href="http://orcmid.com" target="_top">
 <!-- Included from construction/c000005b.htm of 2023-08-29T00:44Z --></a>
-<!--webbot bot="Include" endspan i-checksum="17912" --></td>
+<!--webbot bot="Include" endspan i-checksum="22141" --></td>
 
     <td width="74%" height="6">
       <p align="center"><strong><font color="#990033">Miser Project Readings<br>
 		<i><font size="5">Notes on Introduction to Mathematical Logic</font></i></font></strong></p>
     </td>
 
     <td width="13%" height="6">
-      <p align="right"><b><code><a href="../" target="_top">miser</a>&gt;<a href="./" target="_top">readings</a>&gt;</code></b></p>
+      <p align="right"><b><code><a href="../../" target="_top">miser</a>&gt;<a href="../" target="_top">readings</a>&gt;</code></b></p>
       <p align="right"><code><b><a href="r001000.htm">r001000</a></b></code><b><code>&gt;</code></b><br>
       <small><small><a href="#v0.01">0.01</a> 
-		<!--webbot bot="Timestamp" S-Type="REGENERATED" S-Format="%Y-%m-%d %H:%M" startspan -->2023-08-31 10:35<!--webbot bot="Timestamp" endspan i-checksum="25695" --></small>
+		<!--webbot bot="Timestamp" S-Type="REGENERATED" S-Format="%Y-%m-%d %H:%M" startspan -->2023-08-31 13:41<!--webbot bot="Timestamp" endspan i-checksum="25295" --></small>
       </small></p>
       </td>
 
@@ -154,14 +154,14 @@ <h4>&nbsp;</h4>
 <table border="0" cellspacing="3" width="100%">
   <tr>
     <td width="10%">
-	<a href="index.htm">
-	<img border="0" src="../images/hardhat-thumb.gif" width="80" height="60" alt="Construction Structure (Hard Hat Area)"></a></td>
+	<a href="../index.htm">
+	<img border="0" src="../../images/hardhat-thumb.gif" width="80" height="60" alt="Construction Structure (Hard Hat Area)"></a></td>
     <td width="67%" valign="middle" align="center">
-      <!--webbot bot="Include" U-Include="../construction/templates/00/c000005d.htm" TAG="BODY" startspan -->
+      <!--webbot bot="Include" U-Include="../../construction/templates/00/c000005d.htm" TAG="BODY" startspan -->
 <font face="Arial, Microsoft Sans Serif, Helvetica, Geneva, Swiss, Sans Serif">
     <small><!-- Included from Orcmid /construction/c000005c.htm of 2005-02-11-16:46 -0800 -->
-    <small>You are navigating <a rel="nofollow" href="../" target="_top">Orcmid's Lair</a></small></small></font>
-<!--webbot bot="Include" endspan i-checksum="52416" -->
+    <small>You are navigating <a rel="nofollow" href="../../" target="_top">Orcmid's Lair</a></small></small></font>
+<!--webbot bot="Include" endspan i-checksum="2535" -->
     </td>
     <td width="21%">
       <p align="right"><font size="-2">created 2000-10-03-10:31 -0700 (pdt) by 
@@ -173,7 +173,7 @@ <h4>&nbsp;</h4>
   </tr>
 </table>
 
-<p align="right"><font size="-2">created 2000-10-03-10:31 -0700 (pdt) by <a href="../construction/orcmid.htm" target="_top"> 
+<p align="right"><font size="-2">created 2000-10-03-10:31 -0700 (pdt) by <a href="../../construction/orcmid.htm" target="_top"> 
 orcmid</a><br>
 <em>$$Author: Orcmid $<br>
 $$Date: 17-08-29 16:40 $<br>

diff --git a/bib/R010100.htm → bib/2001/r010100.htm b/bib/R010100.htm → bib/2001/r010100.htm
@@ -7,15 +7,15 @@
 
 <body bgcolor="#FFFFFF" link="#0000FF" vlink="#800080" alink="#FF0000" text="#000080">
 
-<h1 align="center"><a href="../readings/">Reading</a>
+<h1 align="center"><a href="../../readings/">Reading</a>
 Notes</h1>
 
-<h1 align="center"><a href="r000001-log.htm#R010100">R010100</a>: Russell's
+<h1 align="center"><a href="../r000001.htm#R010100">R010100</a>: Russell's
 Mathematical Journey</h1>
 
 
     <dl>
-      <dd><b>Monk, Ray.&nbsp; <i><a href="philosophy.htm#[Monk1999]">Bertrand Russell</a></i>.&nbsp; The Great Philosophers
+      <dd><b>Monk, Ray.&nbsp; <i><a href="../philosophy.htm#[Monk1999]">Bertrand Russell</a></i>.&nbsp; The Great Philosophers
         Series, no. 7.&nbsp; Phoenix, London; Rutledge, NY (London: 1997, New
         York: 1999).&nbsp; ISBN 0-415-92386-7 pbk.&nbsp; 58pp.</b><font size="-1"><br>
         &nbsp;&nbsp;&nbsp;&nbsp; This tiny book amazes me.&nbsp; Rather
@@ -94,7 +94,7 @@ <h1 align="center"><a href="r000001-log.htm#R010100">R010100</a>: Russell's
 
 <hr>
 
-<p align="right"><small><small>created 2001-01-02-22:56 -0800 (pst) by <a href="../construction/orcmid.htm"> orcmid</a><br>
+<p align="right"><small><small>created 2001-01-02-22:56 -0800 (pst) by <a href="../../construction/orcmid.htm"> orcmid</a><br>
 <em>$$Author: Orcmid $<br>
 $$Date: 03-05-25 10:50 $<br>
 $$Revision: 8 $</em></small></small></p>