Francisco Antonio de Moraes Accioli Doria

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• DA COSTA, N. C. A. ; DORIA, F. A. . On the O’Donnell Algorithm for NP-Complete Problems. Review of Behavioral Economics , v. 3, p. 221-242, 2016.

• COSTA, N. C. A. ; DORIA, F. A. . On An Extension of Rice´s Theorem and its Applications in Mathematical Economics. Advances in Austrian Economics , v. 01, p. 237-257, 2014.

• DORIA, F. A. . Review of J. Barkley Rosser, Handbook of Research on Complexity, E. Elgar. Journal of Economic Behavior & Organization , v. 78, p. 196-204, 2011.

• DORIA, F. A. ; DORIA, M. . On formal treatments for General Relativity. Philosophia Naturalis , v. 46, p. 115-132, 2009.

• BARTHOLO, R. ; COSENZA, C. A. N. ; DORIA, F. A. ; LESSA, C. T. R. . Can Economic systems be seen as computing devices?. Journal of Economic Behavior & Organization , v. 70, p. 72-80, 2009.

• DORIA, F. A. . Informal vs. Formal Mathematics. Synthese (Dordrecht) , v. 154, p. 401-415, 2007.

• COSTA, N. C. A. ; DORIA, F. A. ; BIR, E. . On the Metamathematics of the P vs. NP question. Applied Mathematics and Computation , v. 189, p. 1223-1240, 2007.

• DORIA, F. A. . Fast-growing functions and the P vs. NP question. Logic Journal of the IGPL , v. xx, p. xxy-xxz, 2007.

• COSTA, N. C. A. ; DORIA, F. A. . Addendum to ``Consequences of an exotic...''. Applied Mathematics and Computation , v. 172, p. 1364-1367, 2006.

• DORIA, F. A. ; COSTA, J. F. . Introduction to the Special Issue on Hypercomputation. Applied Mathematics and Computation , v. 178, p. 1-3, 2006.

• COSTA, N. C. A. ; DORIA, F. A. . Some thoughts on hypercomputation. Applied Mathematics and Computation , v. 178, p. 83-92, 2006.

• COSTA, N. C. A. ; DORIA, F. A. . On set theory as a foundation for computer science. Bulletin of the Section of Logic , v. 32, p. 69-78, 2004.

• COSTA, N. C. A. ; DORIA, F. A. . Consequences of an Exotic Definition for P=NP. Applied Mathematics and Computation , EUA, v. 145, n.2-3, p. 655-665, 2003.

• COSTA, N. C. A. ; DORIA, F. A. . Is there a simple, pedestrian, arithmetic sentence which is independent of ZFC?. Synthese (Dordrecht) , v. 125, p. 69-76, 2000.

• TSUJI, M. ; COSTA, N. C. A. ; DORIA, F. A. . The incompleteness of theories of games. Journal Of Philosophical Logic, EUA, v. 27, p. 553-560, 1998.

• SANT'ANNA, A. S. ; COSTA, N. C. A. ; DORIA, F. A. . The Atiyah-Singer index theorem and the gauge field copy problem. Journal of Physics. A, Mathematical and General , Inglaterra, v. 30, p. 5511-5516, 1997.

• DORIA, F. A. . John Casti picks books for the ultimate in solitary confinement. New Scientist, v. 156, p. 48-51, 1997.

• DORIA, F. A. . Some new incompleteness theorems and their import to the foundations of mathematics. Logique et Analyse , v. 153, p. 165-182, 1996.

• DORIA, F. A. . Leopoldo Nachbin: some personal recollections. Logique et Analyse , v. 153, p. 31-33, 1996.

• COSTA, N. C. A. ; DORIA, F. A. . Jaskowski's discussive logic. Studia Logica , v. 54, p. 33-60, 1995.

• COSTA, N. C. A. ; DORIA, F. A. ; TSUJI, M. . The undecidability of formal definitions in the theory of finite groups. Bulletin of the Section of Logic , v. 24, p. 56-63, 1995.

• COSTA, N. C. A. ; DORIA, F. A. . Goedel incompleteness, explicit expressions for complete degrees and applications. Complexity (New York) , v. 1, p. 40-51, 1995.

• COSTA, N. C. A. ; DORIA, F. A. . Undecidability, incompleteness and the Arnol'd Problems. Studia Logica , v. 55, p. 23-32, 1995.

• COSTA, N. C. A. ; DORIA, F. A. . Gödel incompleteness in analysis, with an application to the forecasting problem in the social sciences. Philosophia Naturalis, Alemanha, v. 31, p. 1-24, 1994.

• COSTA, N. C. A. ; DORIA, F. A. . An undecidable Hopf bifurcation with an undecidable fixed point. International Journal of Theoretical Physics , EUA, v. 33, p. 1913-1931, 1994.

• COSTA, N. C. A. ; DORIA, F. A. ; AMARAL, A. F. Furtado do ; BARROS, J. A. . Two questions on the geometry of gauge fields. Foundations of Physics , v. 24, p. 783-800, 1994.

• COSTA, N. C. A. ; DORIA, F. A. ; AMARAL, A. F. Furtado do . A dynamical system where proving chaos is equivalent to proving Fermat´s conjecture. International Journal of Theoretical Physics , EUA, v. 32, p. 2187-2206, 1993.

• COSTA, N. C. A. ; DORIA, F. A. . Mathematics is dramatically incomplete. Theoria (Madrid) , v. 7, p. 411-422, 1993.

• COSTA, N. C. A. ; DORIA, F. A. . Incomplete satisfiability problems. Bulletin of the Section of Logic , v. 22, p. 150-157, 1993.

• COSTA, N. C. A. ; DORIA, F. A. . Continuous and discrete: a research program. Boletim da Sociedade Paranaense de Matemática , v. 19, p. 121-128, 1992.

• COSTA, N. C. A. ; DORIA, F. A. . On the incompleteness of axiomatized theories for the empirical sciences. Philosophica , v. 50, p. 901-928, 1992.

• COSTA, N. C. A. ; DORIA, F. A. . On the existence of very difficult satisfiability problems. Bulletin of the Section of Logic , v. 21, p. 122-133, 1992.

• COSTA, N. C. A. ; DORIA, F. A. . Undecidability and incompleteness in classical mechanics. International Journal of Theoretical Physics , Estados Unidos, v. 30, p. 1041-1073, 1991.

• COSTA, N. C. A. ; DORIA, F. A. . Classical Physics and Penrose´s Thesis. Foundations of Physics Letters , EUA, v. 4, p. 363-373, 1991.

• COSTA, N. C. A. ; DORIA, F. A. ; PAPAVERO, N. . Meinong's theory of objects and Hilbert's epsilon-symbol. Reports on Mathematical Logic , v. 25, p. 119-132, 1991.

• COSTA, N. C. A. ; DORIA, F. A. ; BARROS, J. A. . A Suppes predicate for general relativity and set-theoretically generic spacetimes. International Journal of Theoretical Physics , v. 29, p. 935-961, 1990.

• DORIA, F. A. ; BARROS, J. A. ; SILVA, M. R. . Noncomputable functions, generic functions and random sequences. Boletim da Sociedade Paranaense de Matemática , v. 8, p. 197-216, 1987.

• DORIA, F. A. ; ABRAHAO, S. M. ; AMARAL, A. F. Furtado do . A Dirac-like equation for gauge fields. Progress of Theoretical Physics , v. 75, p. 1440-1446, 1986.

• DORIA, F. A. . Chaos and nonalgorithmic functions. Boletim da Sociedade Paranaense de Matemática , v. 7, p. 119-126, 1986.

• DORIA, F. A. ; SILVA, M. R. ; AMARAL, A. F. Furtado do . A generalizarion of Einstein's lambda-transformation and gravitational copies. Lettere Al Nuovo Cimento , v. 40, p. 509-512, 1984.

• AMARAL, A. F. Furtado do ; DORIA, F. A. ; GLEISER, M. . Higgs fields as Bargmann-Wigner fields and classical symmetry breaking. Journal of Mathematical Physics , v. 24, p. 1888-1890, 1983.

• DORIA, F. A. ; ANDRADE, L. C. G. . An integrability condition for gauge field copies. Brazilian Journal of Physics , v. 13, p. 576-590, 1983.

• DORIA, F. A. . Quasi-Abelian and fully non-Abelian gauge field copies. Journal of Mathematical Physics , v. 22, p. 2943-2951, 1981.

• DORIA, F. A. . On the existence of the Wu-Yang ambiguity. Anais da Academia Brasileira de Ciências , v. 53, p. 657-660, 1981.

• DORIA, F. A. . The Geometry of Gauge Field Copies. Communications in Mathematical Physics , v. 79, p. 435-456, 1981.

• DORIA, F. A. . Noncontinuous gauge potentials without magnetic monopoles. Journal of Mathematical Physics , v. 20, p. 1464-1465, 1979.

• DORIA, F. A. . Every nontrivial cocycle has an extension with a distribution singularity. Anais da Academia Brasileira de Ciências , v. 51, p. 207-209, 1979.

• DORIA, F. A. ; ABRAHAO, S. M. . Mesonic test fields and spacetime cohomology. Journal of Mathematical Physics , v. 19, p. 1650-1653, 1978.

• DORIA, F. A. . On Teitler's higher-spin field equations. Lettere Al Nuovo Cimento , v. 18, p. 37-40, 1977.

• DORIA, F. A. . A Lagrangian formulation for noninteracting high-spin fields. Journal of Mathematical Physics , v. 18, p. 564-571, 1977.

• DORIA, F. A. . A weyl-like equation for the gravitational field. Lettere Al Nuovo Cimento , v. 14, p. 480-482, 1975.

• DORIA, F. A. . Equations for a spin-two field from a Dirac-like equation. Lettere Al Nuovo Cimento , v. 7, p. 153-154, 1973.

• DORIA, F. A. . Clifford-algebra formulation of multispin field equations. Lettere Al Nuovo Cimento , v. 8, p. 994-996, 1973.

• COSTA, N. C. A. ; DORIA, F. A. . On Hilbert's Sixth Problem. 1. ed. Cham Switzerland: Springer Nature, 2022. v. 1. 191p .

• DORIA, F. A. . Unravelling Complexity - The life and work of Gregory Chaitin. 1. ed. Hackensack NJ USA: World Scientific Publishing Co. Pte. Ltd., 2020. v. 1. 416p .

• DORIA, F. A. . The map and the territory. 1. ed. Cham Switzerland: Springer International Publishing AG, 2018. v. 1. 641p .

• DORIA, F. A. ; Gregory Chaitin ; BECCHIO, G. ; KOPPL, R. ; DEAN, D. J. ; ELIOTT, E. ; AL-SUWAILEM, S. . The Limits of Mathematical Modeling in the Social Sciences: The Significance of Godel?s Incompleteness Phenomenon. 1. ed. Londres: World Scientific Publishing Europe LTDE, 2017. v. 1. 272p .

• DORIA, F. A. ; COSTA, N. C. A. . Fragmentos de Física Quântica. 1. ed. Rio de Janeiro: Editora Revan, 2016. v. 1. 160p .

• DORIA, F. A. . Physics: a primer for philosophers of science. 01. ed. Rio de Janeiro: , 2014. v. 01. 68p .

• Gregory Chaitin ; COSTA, N. C. A. ; DORIA, F. A. . Goedel's Way. 1. ed. New York: Taylor & Francis, 2011. v. 01. 160p .

• DORIA, F. A. . Chaos, Computers, Games and Time. 1. ed. Rio: e-papers, 2011. v. 1. 138p .

• COSENZA, C. A. N. ; BARTHOLO, R. ; DORIA, F. A. ; DORIA, M. . Allocation Problems, Economics, Fuzzy Sets, Information. 1. ed. Rio de Janeiro RJ: Grupo de Altos Estudos/PEP/COPPE/UFRJ, 2011. v. 1. 72p .

• DORIA, F. A. ; COSENZA, C. A. N. . Crise na Economia. 1. ed. Rio: Revan, 2009. v. 1. 192p .

• COSTA, N. C. A. ; DORIA, F. A. . On the Foundations of Physics, I. 1. ed. Rio RJ Brasil: e-papers/COPPE, 2008. v. 1. 293p .

• DORIA, F. A. ; COSTA, J. F. . AMC Special Issue on Hypercomputation. 1. ed. New York: Elsevier, 2006. v. 1. 194p .

• KRAUSE, D. ; FRENCH, S. ; DORIA, F. A. . Synthèse Special Issue in Honor of N. C. A. da Costa on his 70th Birthday. 1. ed. Dordrecht: Kluwer, 2000. v. 1. 300p .

• DORIA, F. A. . Caramuru e Catarina. 1. ed. São Paulo SP: SENAC-SP, 2000. v. 1. 250p .

• DORIA, F. A. ; DORIA, P. . Comunicação: dos fundamentos à internet. 1. ed. Rio RJ: Editora Revan, 1999. v. 1. 313p .

• DORIA, F. A. . Convergência: ensaios em homenagem a Emmanuel Carneiro Leão. 1. ed. Rio RJ: Casa da Palavra, 1999. v. 1. 80p .

• DORIA, F. A. . A crise da universidade. 1. ed. Rio RJ: Editora Revan, 1998. v. 1. 128p .

• DORIA, F. A. ; BEZIAU, J. (Org.) . Contemporary Brazilian Research in Logic. 1. ed. Bruxelas: Logique et Analyse, 1996. v. 1. 204p .

• DORIA, F. A. ; EQUIPE, . Os Herdeiros do Poder. 2. ed. Rio RJ: Editora Revan, 1994. v. 1. 272p .

• DORIA, F. A. . No tempo de Vargas: memórias, reflexões e documentos. 1. ed. Rio RJ: Editora Revan, 1994. v. 1. 172p .

• KATZ, C. S. ; DORIA, F. A. . Razão/Desrazão. 1. ed. Petrópolis, RJ: Editora Vozes, 1992. v. 1.

• BELTRAO, M. C. M. C. ; DANON, J. A. ; DORIA, F. A. . Datação absoluta mais antiga para a presença humana na América. 1. ed. Rio RJ: Editora da UFRJ, 1988. v. 1. 52p .

• LEAO, E. C. ; D'AMARAL, M. T. ; SODRE, M. ; DORIA, F. A. . A Máquina e seu Avesso. 1. ed. Rio RJ: Editora Francisco Alves, 1987. v. 1. 144p .

• KATZ, C. S. ; DORIA, F. A. ; LIMA, L. C. . Diccionario Basico de Comunicación. 2. ed. Mexico, México: Editorial Nueva Imagen, 1980. v. 1. 516p .

• KATZ, C. S. ; DORIA, F. A. ; LIMA, L. C. . Dicionário Básico de Comunicação. 1. ed. Rio RJ: Paz e Terra, 1975. v. 1. 460p .

• DORIA, F. A. . O Corpo e a Existência. 1. ed. Petrópolis, RJ: Editora Vozes, 1972. v. 1. 176p .

• KATZ, C. S. ; DORIA, F. A. ; LIMA, L. C. . Dicionário Crítico de Comunicação. 1. ed. Rio RJ: Paz e Terra, 1971. v. 1. 324p .

• DORIA, F. A. . Marcuse Vida e Obra. 3. ed. Rio RJ: José Alvaro Editor/Paz e Terra, 1968. v. 1. 288p .

• DORIA, F. A. . Axiomatics, the social sciences, and the Godel phenomenon: a tool kit. In: Doria, F. A. (Org.). The Limits of Mathematical Modeling in the Social Sciences The Significance of Gödel's Incompleteness Phenomenon. 1ed.Londres: World Scientific Publishing Company, 2017, v. 1, p. 1-90.

• DA COSTA, N. C. A. ; DORIA, F. A. . Gödel Incompleteness and the Empirical Sciences. In: S. Wuppuluri and G. Girardi. (Org.). The Frontiers Collection. 1ed.: Springer International Publishing, 2017, v. , p. 443-460.

• DORIA, F. A. ; COSENZA, C. A. N. . A Beautiful Theorem. In: AKAMA,S.. (Org.). Towards Paraconsistent Engineering. 1ed.: Springer International Publishing AG, 2016, v. 110, p. 197-203.

• DORIA, F. A. ; COSTA, N. C. A. . On an Extension of Rice?s Theorem and its Applications in Mathematical Economics. In: Steven Horwitz; Roger Koppl. (Org.). Entangled Political Economy (Advances in Austrian Economics). 1ed.: Emerald Group Publishing Limited, 2014, v. 18, p. 237-257.

• COSTA, N. C. A. ; DORIA, F. A. . Metamathematical limits to computation. In: K. Nakamatsu; L. Jain. (Org.). Metamathematical limits to computation. 1ed.Hackensack: World Scientific, 2013, v. 1, p. 119-141.

• BARTHOLO, R. ; COSENZA, C. A. N. ; DORIA, F. A. ; DORIA, M. . A heuristic algorithmic procedure to solve allocation problems.... In: Kazumi Nakamatsu; Lakhmi Jain. (Org.). The handbook of reasoning-based intelligent systems. 1ed.Hackensack: World Scientific, 2013, v. 1, p. 179-189.

• DORIA, F. A. . Blueprint for a hypercomputer. In: Hector Zenil. (Org.). A computable universe. 1ed.Hackensack: World Scientific, 2013, v. 1, p. 333-344.

• DORIA, F. A. ; DORIA, M. . Einstein, Gödel and the Mathematics of Time. In: Décio Krause; Antonio Videira. (Org.). Brazilian Studies in Philosophy and History of Science. 1ed.New York: Springer, 2011, v. , p. 269-279.

• COSTA, N. C. A. ; DORIA, F. A. . Why is the P=?NP question so difficult?. In: Jean Yves Béziau; Marcelo Esteban Coniglio. (Org.). Logic without frontiers. 1ed.London: College Publications, 2011, v. 17, p. 25-41.

• TSUJI, M. ; COSTA, N. C. A. ; DORIA, F. A. . The incompleteness of theories of games. In: K. V. Velupillai; S. Zambelli; S. Kinsella. (Org.). Computable Economics. 1ed.London: Edward Elgar, 2011, v. 1, p. 324-339.

• COSTA, N. C. A. ; DORIA, F. A. . Hypotheses that imply the independence of P=NP from strong axiomatic systems. In: Stefano Zambelli. (Org.). Computable, Constructive and Behavioural Economic Dynamics - Festschrift in honor of K. V. Velupillai. 1ed.Londres: Routledge, 2009, v. , p. -.

• CARNIELLI, W. A. ; DORIA, F. A. . Are the foundations of computer science logic-dependent?. In: Cedric Degremont et al.. (Org.). Festschrift in honor of Shahid Rahman. Londres: College Editors, 2008, v. , p. 00-001.

• COSTA, N. C. A. ; DORIA, F. A. . Janus-Faced Physics. In: Cristian S. Calude. (Org.). Randomness and Complexity, from Leibniz to Chaitin. New York: World Scientific, 2007, v. , p. 251-282.

• COSTA, N. C. A. ; DORIA, F. A. . Computing the Future. In: K. Vela Velupillai. (Org.). Computability, Complexity and Constructivity in Economic Analysis. Oxford: Blackwell, 2005, v. , p. 15-50.

• COSTA, N. C. A. ; DORIA, F. A. . On some recent undecidability and incompleteness results in the axiomatized sciences. In: G. Fløstad. (Org.). philosophy in Latin America. 1ed.New York, NY: Kluwer, 2003, v. , p. 111-119.

• COSTA, N. C. A. ; DORIA, F. A. . Variations on an original theme. In: J. Casti, Al Karlqvist. (Org.). Boundaries and Barriers. : Addison-Wesley, 1996, v. , p. -.

• COSTA, N. C. A. ; DORIA, F. A. . Structures, Suppes predicates, and Boolean-valued models in physics. In: P. Bystrov. (Org.). Philosophical Logic and Logical philosophy. 1ed.New York, NY: Kluwer, 1996, v. , p. 93-119.

• DORIA, F. A. . On the limits of science. In: John Casti; Joseph Traub. (Org.). On Limits. Santa Fe, NM, EUA: Santa Fe Institute, 1994, v. , p. -.

• COSTA, N. C. A. ; DORIA, F. A. . Suppes predicates and the construction of unsolvable problems in the axiomatized sciences. In: P. Humphreys. (Org.). Patrick Suppes, Scientific Philosopher. 1ed.New York, NY: Kluwer, 1994, v. 2, p. 151-191.

• COSTA, N. C. A. ; DORIA, F. A. . On Arnol´d´s Hilbert Symposium problems. In: G. Gottlob, A. Leitsch, D. Mundici. (Org.). Proceedings of the 1993 Gödel Colloquium. : Springer Verlag, 1993, v. , p. -.

• COSTA, N. C. A. ; DORIA, F. A. . Suppes predicates for classical physics. In: J. Echeverría. (Org.). The Space of Mathematics. 1ed.Berlim: Walter de Gruyter, 1992, v. , p. 168-191.

• COSTA, N. C. A. ; DORIA, F. A. ; BARROS, J. A. . A formally undecidable statement in electromagnetic theory. In: C. A. Bertulani; J. Lopes Filho. (Org.). Homenagem Póstuma ao Prof. Carlos Marcio do Amaral. 1ed.Rio RJ: Editora da UFRJ, 1990, v. , p. 145-155.

• DORIA, F. A. . A stratification associated to the copy phenomenon in the space of gauge fields. In: G. I Zapata. (Org.). Functional Analysis, Holomorphy and Approximation theory II. Amsterdam: Elsevier, 1984, v. , p. -.

• DORIA, F. A. . On the development of a phenomenologico-mathematical psychology. In: ALP. (Org.). Proceedings of the 14th Interamerican Congress of Psychology. 1ed.São Paulo: PUC-SP, 1973, v. , p. 251-252.

• DORIA, F. A. . Necessary Conditions for fuzzy dual Optimal Contro Problems.. International Journal of Applied Physics and Mathematics, p. 181 - 181, 08 maio 2017.

• DORIA, F. A. . Introduction to Fuzzy dual mathematical Programming. Frontier in artificial Intelligence an Applicatiosn, p. 11 - 21, 11 maio 2015.

• DORIA, F. A. . A Fuzzy Algorrithm for Understanding the Costume`s Desire.. Journal of Human Resources Management and labour Studies, p. 01 - 16, 05 maio 2014.

• COSENZA, C. A. N. ; DORIA, F. A. ; PESSOA, L. A. M. . Hierarchy models for the organization of economic spaces. In: Elsevier, 2015. Procedia Computer Science, 2015. v. 01. p. 01-10.

• COSTA, N. C. A. ; DORIA, F. A. . How to build a hypercomputer. Applied Mathematics and Computation , 2009.

• BARTHOLO, R. ; COSENZA, C. A. N. ; DORIA, F. A. ; LESSA, C. T. R. . Can economic systems be seen as computing devices?. Journal of Economic Behavior & Organization , 2008.

• DORIA, F. A. . Quantum mechanics, undecidability and incompleteness. 2016. (Apresentação de Trabalho/Conferência ou palestra).

Prêmios