deploy: 781255e

_sources/self_writing.ipynb

@@ -51,26 +51,24 @@
       ]
     },
     {
+      "attachments": {},
       "cell_type": "markdown",
       "metadata": {
         "id": "ibYhzz7UCQYa"
       },
       "source": [
         "# Diag\n",
         "\n",
-        "We begin with a program which we'll call ```diag```. When ```diag``` is run with a word x in R1, the result is \n",
+        "We begin with a program which we'll call ```diag```. When ```diag``` is run with a word x in R1, the result is $[\\![ {\\tt write} ]\\!](x) + x$\n",
         "\n",
-        "$\\semantics{\\writeprog}(x) + x$\n",
         "\n",
         "\n",
         "\n",
         "Running that last program on all empty registers gives the same thing as running x on itself:\n",
         "\n",
-        "$\\semantics{x}(x)$\n",
+        "$[\\![x]\\!](x)$\n",
         "\n",
-        "in R1, assuming that\n",
-        "$\\semantics{x}(x)$\n",
-        " is defined.\n",
+        "in R1, assuming that $[\\![x]\\!](x)$ is defined.\n",
         "\n",
         "\n"
       ]
@@ -312,6 +310,7 @@
       ]
     },
     {
+      "attachments": {},
       "cell_type": "markdown",
       "metadata": {
         "id": "ClEUijpf-lxx"
@@ -321,7 +320,7 @@
         ":class: tip\n",
         "\n",
         "$\n",
-        "\\semantics{\\self}(\\ ) = \\semantics{\\diag}{\\diag) \\simeq \\self\n",
+        "[\\![self]\\!] (\\ ) = [\\![ diag]\\!](diag) \\simeq self\n",
         "$.\n",
         "````\n",
         "\n"

self_writing.html

@@ -470,13 +470,10 @@ <h1>Self-Replicating Programs<a class="headerlink" href="#self-replicating-progr
 <img src="https://github.com/lmoss/onesharp/blob/main/drum.jpg?raw=1" width="200" height="160"></section>
 <section class="tex2jax_ignore mathjax_ignore" id="diag">
 <h1>Diag<a class="headerlink" href="#diag" title="Link to this heading">#</a></h1>
-<p>We begin with a program which we’ll call <code class="docutils literal notranslate"><span class="pre">diag</span></code>. When <code class="docutils literal notranslate"><span class="pre">diag</span></code> is run with a word x in R1, the result is</p>
-<p><span class="math notranslate nohighlight">\(\semantics{\writeprog}(x) + x\)</span></p>
+<p>We begin with a program which we’ll call <code class="docutils literal notranslate"><span class="pre">diag</span></code>. When <code class="docutils literal notranslate"><span class="pre">diag</span></code> is run with a word x in R1, the result is <span class="math notranslate nohighlight">\([\![ {\tt write} ]\!](x) + x\)</span></p>
 <p>Running that last program on all empty registers gives the same thing as running x on itself:</p>
-<p><span class="math notranslate nohighlight">\(\semantics{x}(x)\)</span></p>
-<p>in R1, assuming that
-<span class="math notranslate nohighlight">\(\semantics{x}(x)\)</span>
-is defined.</p>
+<p><span class="math notranslate nohighlight">\([\![x]\!](x)\)</span></p>
+<p>in R1, assuming that <span class="math notranslate nohighlight">\([\![x]\!](x)\)</span> is defined.</p>
 <p>Here is the program <code class="docutils literal notranslate"><span class="pre">diag</span></code>:</p>
 <div class="cell docutils container">
 <div class="cell_input docutils container">
@@ -652,7 +649,7 @@ <h1>Self<a class="headerlink" href="#self" title="Link to this heading">#</a></h
 <div class="tip admonition">
 <p class="admonition-title">Summary</p>
 <p><span class="math notranslate nohighlight">\(
-\semantics{\self}(\ ) = \semantics{\diag}{\diag) \simeq \self
+[\![self]\!] (\ ) = [\![ diag]\!](diag) \simeq self
 \)</span>.</p>
 </div>
 <div class="cell docutils container">