From 6032f916b3c56a9d6beb917d6c00c574060744e4 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 13 Jul 2020 17:23:34 +0200
Subject: [PATCH] fix nats symbol
---
info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
index eb25817..6f7bacb 100644
--- a/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
+++ b/info4/kapitel-7/TuringMaschineBerechenbarkeit.ipynb
@@ -17,7 +17,7 @@
" Turingmaschine $M=(\\Sigma, \\Gamma, Z, \\delta ,z_0, \\Box, F)$ \n",
" mit $\\Sigma = \\{0,1\\}$ \n",
" gibt,\n",
- " so dass für alle $n_1, n_2, \\ldots , n_k, m \\in \\nats$:\n",
+ " so dass für alle $n_1, n_2, \\ldots , n_k, m \\in ℕ$:\n",
" \n",
"* $f(n_1, n_2, \\ldots , n_k) = m$ $\\Leftrightarrow$\n",
"* $\\exists z\\in F . z_0 \\mbox{bin}(n_1) \\#\n",
--
GitLab