Euclides Torres Ometto Stolf
-
Apresentações de Trabalho: 9
- STOLF, E. T. O. . A herança do método no nascimento da computação. 2022 (Congresso)
- STOLF, E. T. O. . Teorema do ponto-fixo no contexto da computação e da lógica. 2022 (Congresso)
- STOLF, E. T. O. . Complexidade e Incompletude. 2021 (Conferência)
- STOLF, E. T. O. . Máquinas de Turing. 2020 (Conferência)
- STOLF, E. T. O. . Aspectos filosóficos da incompletude de Gödel. 2021 (Conferência)
- STOLF, E. T. O. . Teorema da incompletude de Chaitin. 2021 (Conferência)
- STOLF, E. T. O. . Introdução ao Lambda-Calculus. 2022 (Conferência)
- STOLF, E. T. O. . A Tese de Martin-Löf?Chaitin: um panorama sobre a equivalência das definições de aleatoriedade. 2019 (Comunicacao)
- STOLF, E. T. O. . Crise dos fundamentos da matemática em Hermann Weyl. 2019 (Comunicacao)
-
Formação Acadêmica: 2
-
Graduacao:
-
Curso: Matemática
Nome da Instituição: Universidade Estadual de Campinas
Ano de conclusão: 2018
-
Curso: Filosofia
Nome da Instituição: Universidade de São Paulo
Ano de conclusão: 2012
-
Curso: Matemática
-
Mestrado:
-
Curso: Filosofia
Nome da Instituição: Universidade de São Paulo
Ano de conclusão: 2022
-
Curso: Filosofia
-
Graduacao: