diff options
author | markusde | 2022-10-25 03:56:53 +0000 |
---|---|---|
committer | markusde | 2022-10-25 03:56:53 +0000 |
commit | 23d0d936fc817961e0f8f19ca6033a51edb445fe (patch) | |
tree | 3797fa38aca5931ed147fc320ec6244eb3dc6ac3 /entries/markusde | |
parent | f8350ce16a8b195f5b886299f0a10e2ade39d327 (diff) |
god is dead
Diffstat (limited to 'entries/markusde')
-rw-r--r-- | entries/markusde/collatz/collatz.pdf | bin | 0 -> 86872 bytes | |||
-rw-r--r-- | entries/markusde/collatz/collatz.png | bin | 0 -> 27596 bytes | |||
-rw-r--r-- | entries/markusde/collatz/collatz.tex | 21 |
3 files changed, 21 insertions, 0 deletions
diff --git a/entries/markusde/collatz/collatz.pdf b/entries/markusde/collatz/collatz.pdf Binary files differnew file mode 100644 index 0000000..69fc363 --- /dev/null +++ b/entries/markusde/collatz/collatz.pdf diff --git a/entries/markusde/collatz/collatz.png b/entries/markusde/collatz/collatz.png Binary files differnew file mode 100644 index 0000000..afc8d8f --- /dev/null +++ b/entries/markusde/collatz/collatz.png diff --git a/entries/markusde/collatz/collatz.tex b/entries/markusde/collatz/collatz.tex new file mode 100644 index 0000000..b7febb2 --- /dev/null +++ b/entries/markusde/collatz/collatz.tex @@ -0,0 +1,21 @@ +\documentclass[12pt]{article} +\usepackage[landscape]{geometry} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amsthm} +\renewcommand{\phi}{\varphi} +\begin{document} + +\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(F)(n) & = + \begin{cases} + 1 & n = 1 \\ + (\phi^{n/2} + (-\phi)^{-n/2})\, F_{n/2} & n \textrm{ is even} \\ + \sqrt[3]{\frac{\phi^{3n+1}-\phi F_{3n+1}}{10} + \frac{\sqrt{25 \phi^{3n+1} - 25\phi F_{3n+1} - 20}}{50}} + \sqrt[3]{\frac{\phi^{3n+1}-\phi F_{3n+1}}{10} - \frac{\sqrt{25 \phi^{3n+1} - 25\phi F_{3n+1} - 20}}{50}} & \textrm{otherwise} \\ + \end{cases} +\end{align*} +is the Fibonacci sequence if and only if the Collatz conjecture is true. + +\end{document} |