Jul 14, 2022 Remark on applications of Zeng und Husing to boolean equations and graph theoretic problem Jul 26, 2021 How not to prove Tennenbaum's Theorem Jul 23, 2021 Hilbert's tenth problem, Gödel's incompleteness theorem