From 23d0d936fc817961e0f8f19ca6033a51edb445fe Mon Sep 17 00:00:00 2001
From: markusde
Date: Mon, 24 Oct 2022 20:56:53 -0700
Subject: god is dead

---
 entries/markusde/collatz/collatz.pdf | Bin 0 -> 86872 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 entries/markusde/collatz/collatz.pdf

(limited to 'entries/markusde/collatz/collatz.pdf')

diff --git a/entries/markusde/collatz/collatz.pdf b/entries/markusde/collatz/collatz.pdf
new file mode 100644
index 0000000..69fc363
Binary files /dev/null and b/entries/markusde/collatz/collatz.pdf differ
-- 
cgit v1.2.3-70-g09d2


From 781b027bc09bcda00f93a0f0ee749a25ff657cde Mon Sep 17 00:00:00 2001
From: markusde
Date: Mon, 24 Oct 2022 21:05:09 -0700
Subject: god is dead 2

---
 entries/markusde/collatz/collatz.pdf | Bin 86872 -> 87475 bytes
 entries/markusde/collatz/collatz.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

(limited to 'entries/markusde/collatz/collatz.pdf')

diff --git a/entries/markusde/collatz/collatz.pdf b/entries/markusde/collatz/collatz.pdf
index 69fc363..efec35b 100644
Binary files a/entries/markusde/collatz/collatz.pdf and b/entries/markusde/collatz/collatz.pdf differ
diff --git a/entries/markusde/collatz/collatz.tex b/entries/markusde/collatz/collatz.tex
index b7febb2..8e18088 100644
--- a/entries/markusde/collatz/collatz.tex
+++ b/entries/markusde/collatz/collatz.tex
@@ -8,7 +8,7 @@
 
 \noindent The least fixed point of 
 \begin{align*}
-    h & : (\mathbb{Z}_\bot \to \mathbb{Z}_\bot) \to (\mathbb{Z}_\bot \to \mathbb{Z}_\bot) \\
+    h & : (\mathbb{N}_\bot \to \mathbb{Z}_\bot) \to (\mathbb{N}_\bot \to \mathbb{Z}_\bot) \\
     h(F)(n) & = 
     \begin{cases}
         1 & n = 1 \\
-- 
cgit v1.2.3-70-g09d2