Felipe S Abrahão
Universidade Estadual de Campinas, Centre for Logic, Epistemology and the History of Science(CLE),, Post-Doc
Universidade Federal do Rio de Janeiro (UFRJ), Programa de Pós-Graduação em História das Ciências e Técnicas e Epistemologia-HCTE, Graduate Student
- Research Statement:
Computation, information, and networks are three concepts of major importance in computer science and complexity science.
As society becomes more digitally-intermediated, the impact of the fundamental properties and limits of these three underpinnings on both societal and technological aspects of our current society becomes more evinced.
In this sense, grounded on theoretical computer science, mathematical logic, information theory, network science, and complex systems science, my research is motivated by the investigation of those fundamental properties and limitations that play a major role in formal knowledge, foundational mathematics, data science, artificial intelligence, and networked complex systems.
For example, I am interested in developing: new unifying theories for formal knowledge construction and discovery from complex systems and cybernetics; the creation of new distributed computation models and architectures; and the development of new methods in computational analysis of arbitrarily large data sets.
Other interests of mine include applying those results to decentralized autonomous organizations, e.g., social networks policies and cryptocurrency architectures and protocols, so as to monitor and quantify meta-relational structures of dominance and biases.
- Main areas of expertise:
Theory of computation, Mathematical logic, Information theories, Complex systems science, Complex networks theory, Epistemology.
Secondary fields: Philosophy of mathematics, artificial intelligence, and biology.
- Education:
Bachelor degree in Mathematics at the Federal University of Rio de Janeiro (UFRJ), Brazil. Doctorate and Master's in the interdisciplinary graduate program of Sciences, History of Sciences and of Techniques and Epistemology (HCTE) in the Center of Mathematical and Natural Sciences (CCMN), UFRJ.
- Supervisors:
Hector Zenil (Academic visitor at Oxford Immune Algorithmics, UK;
Ítala Maria Loffredo D'Ottaviano (postdoc at UNICAMP);
Artur Ziviani (postdoc at LNCC);
Gregory Chaitin (doctorate at UFRJ);
Francisco Antônio Dória (masters and doctorate at UFRJ), and
Adilson Gonçalves (bachelor degree at UFRJ).
Computation, information, and networks are three concepts of major importance in computer science and complexity science.
As society becomes more digitally-intermediated, the impact of the fundamental properties and limits of these three underpinnings on both societal and technological aspects of our current society becomes more evinced.
In this sense, grounded on theoretical computer science, mathematical logic, information theory, network science, and complex systems science, my research is motivated by the investigation of those fundamental properties and limitations that play a major role in formal knowledge, foundational mathematics, data science, artificial intelligence, and networked complex systems.
For example, I am interested in developing: new unifying theories for formal knowledge construction and discovery from complex systems and cybernetics; the creation of new distributed computation models and architectures; and the development of new methods in computational analysis of arbitrarily large data sets.
Other interests of mine include applying those results to decentralized autonomous organizations, e.g., social networks policies and cryptocurrency architectures and protocols, so as to monitor and quantify meta-relational structures of dominance and biases.
- Main areas of expertise:
Theory of computation, Mathematical logic, Information theories, Complex systems science, Complex networks theory, Epistemology.
Secondary fields: Philosophy of mathematics, artificial intelligence, and biology.
- Education:
Bachelor degree in Mathematics at the Federal University of Rio de Janeiro (UFRJ), Brazil. Doctorate and Master's in the interdisciplinary graduate program of Sciences, History of Sciences and of Techniques and Epistemology (HCTE) in the Center of Mathematical and Natural Sciences (CCMN), UFRJ.
- Supervisors:
Hector Zenil (Academic visitor at Oxford Immune Algorithmics, UK;
Ítala Maria Loffredo D'Ottaviano (postdoc at UNICAMP);
Artur Ziviani (postdoc at LNCC);
Gregory Chaitin (doctorate at UFRJ);
Francisco Antônio Dória (masters and doctorate at UFRJ), and
Adilson Gonçalves (bachelor degree at UFRJ).
less
InterestsView All (47)
Uploads
Thesis and Dissertations by Felipe S Abrahão
can exist between a computer and any of his sub-computers. As a consequence, we introduce the “paradox” of uncomputability which says that exists at least one function that is not computable if we “look from the inside”, but that is computable if we “look from the outside”. Further, we correlate this pseudo-paradox with problems of human creativity and artificial intelligence and with problems of consciousness, artificial life and the computability of the Universe. Second, we build a metabiological model for the evolution of hyper-programs in which the organisms are hyper-computable systems of any finite order and nature is a hyper-program of ordinal order omega. In this last model we demonstrate it is possible an evolution of organisms/hyper-programs, with just “blind” random algorithmic mutations (it means, that do not take into consideration previous organisms/hyper-programs), which progressively leads the organisms/hyper-programs to be able of solving any problem in the arithmetical hierarchy. Allied to this, we discuss about computability or uncomputability of “living beings” and upon the possibility of mathematically studying metabiological evolutionary systems that can surpass, as much as we want, the “frontier” of the computable.