Patrick Lutz
- Conway and Doyle Can Divide by Three, But I Can’t
2023/09/20 by Patrick Lutz · 3 voices
Arts and Humanities · #Philosophy and History of Science
- A theory satisfying a strong version of Tennenbaum's theorem
2023/09/20 by Patrick Lutz, James Walsh, Lutz, Patrick +1 · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Mathematical and Theoretical Analysis