Francisco Antonio de Moraes Accioli Doria

ORCID:

não disponível no Lattes


Formação:

  • Centro Brasileiro de Pesquisas Físicas

    Física | Doutorado | 1974 - 1977

  • Centro Brasileiro de Pesquisas Físicas

    Física | Mestrado | 1971 - 1973

  • Universidade Federal do Rio de Janeiro

    Engenharia Quimica | Graduação | 1965 - 1968

  • Universidade Federal do Rio de Janeiro

    | Livre Docência | 0 - Agora
Laboratórios:
Nuvens de Palavras:
Artigos:

(3.77% artigos com DOI)

Titulo DOI Ano
On the O’Donnell Algorithm for NP-Complete Problems 10.1561/105.00000048 2016
On An Extension of Rice´s Theorem and its Applications in Mathematical Economics 2014
Review of J. Barkley Rosser, Handbook of Research on Complexity, E. Elgar 2011
On formal treatments for General Relativity 2009
Can Economic systems be seen as computing devices? 2009
Informal vs. Formal Mathematics 2007
On the Metamathematics of the P vs. NP question 2007
Fast-growing functions and the P vs. NP question 10.1093/jigpal/jzm034 2007
Addendum to ``Consequences of an exotic...'' 2006
Introduction to the Special Issue on Hypercomputation 2006
Some thoughts on hypercomputation 2006
On set theory as a foundation for computer science 2004
Consequences of an Exotic Definition for P=NP 2003
Is there a simple, pedestrian, arithmetic sentence which is independent of ZFC? 2000
The incompleteness of theories of games 1998
The Atiyah-Singer index theorem and the gauge field copy problem 1997
John Casti picks books for the ultimate in solitary confinement 1997
Some new incompleteness theorems and their import to the foundations of mathematics 1996
Leopoldo Nachbin: some personal recollections 1996
Jaskowski's discussive logic 1995
The undecidability of formal definitions in the theory of finite groups 1995
Goedel incompleteness, explicit expressions for complete degrees and applications 1995
Undecidability, incompleteness and the Arnol'd Problems 1995
Gödel incompleteness in analysis, with an application to the forecasting problem in the social sciences 1994
An undecidable Hopf bifurcation with an undecidable fixed point 1994
Two questions on the geometry of gauge fields 1994
A dynamical system where proving chaos is equivalent to proving Fermat´s conjecture 1993
Mathematics is dramatically incomplete 1993
Incomplete satisfiability problems 1993
Continuous and discrete: a research program 1992
On the incompleteness of axiomatized theories for the empirical sciences 1992
On the existence of very difficult satisfiability problems 1992
Undecidability and incompleteness in classical mechanics 1991
Classical Physics and Penrose´s Thesis 1991
Meinong's theory of objects and Hilbert's epsilon-symbol 1991
A Suppes predicate for general relativity and set-theoretically generic spacetimes 1990
Noncomputable functions, generic functions and random sequences 1987
A Dirac-like equation for gauge fields 1986
Chaos and nonalgorithmic functions 1986
A generalizarion of Einstein's lambda-transformation and gravitational copies 1984
Higgs fields as Bargmann-Wigner fields and classical symmetry breaking 1983
An integrability condition for gauge field copies 1983
Quasi-Abelian and fully non-Abelian gauge field copies 1981
On the existence of the Wu-Yang ambiguity 1981
The Geometry of Gauge Field Copies 1981
Noncontinuous gauge potentials without magnetic monopoles 1979
Every nontrivial cocycle has an extension with a distribution singularity 1979
Mesonic test fields and spacetime cohomology 1978
On Teitler's higher-spin field equations 1977
A Lagrangian formulation for noninteracting high-spin fields 1977
A weyl-like equation for the gravitational field 1975
Equations for a spin-two field from a Dirac-like equation 1973
Clifford-algebra formulation of multispin field equations 1973
Eventos:
Nenhum evento cadastrado
Publicações:
Minha Rede: