Apresentações de Trabalho: 10
-
STOLF, E. T. O.
.
Chaitin incompleteness and Fixed Point.
2024 (Congresso)
-
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)
