Escrevi nesse livro um artigo intitulado El Aleph, em referência a Borges.
Há uma infinidade de objetos matemáticos que contem em si toda a matemática
axiomatizada - qualquer sistema formal com o conjunto de teoremas sendo
recursivamente enumerável, na verdade. Dou um exemplo de tal objeto no
artig
VCLA International Student Awards 2018 in Memory of Helmut Veith (via Agata
Ciabattoni)
The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of
Technology), calls for the nomination of authors of outstanding theses and
scientific works in the field of Logic and Computer Scienc
