Lawvere's Fixed-Point Theorem Unifies Cantor, Gödel, Turing, and Tarski Diagonalization — E8 Intelligence Research

Caldin, Andrew Stewart

DOI: 10.5281/zenodo.23796916

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.