Francisco Dória
Brazilian scientist and philosopher
Francisco Dória's AcademicInfluence.com Rankings

Download Badge
Philosophy
Francisco Dória's Degrees
- PhD Physics University of São Paulo
- Masters Philosophy Federal University of Rio de Janeiro
- Bachelors Mathematics State University of Campinas
Similar Degrees You Can Earn
Why Is Francisco Dória Influential?
(Suggest an Edit or Addition)According to Wikipedia, Francisco Antônio de Moraes Accioli Dória is a Brazilian mathematician, philosopher, and genealogist. Francisco Antônio Dória received his B.S. in Chemical Engineering from the Federal University of Rio de Janeiro , Brazil, in 1968 and then got his doctorate from the Brazilian Center for Research in Physics , advised by Leopoldo Nachbin in 1977. Dória worked for a while at the Physics Institute of UFRJ, and then left to become a Professor of the Foundations of Communications at the School of Communications, also at UFRJ. Dória held visiting positions at the University of Rochester , Stanford University , and the University of São Paulo . His most prolific period spawned from his collaboration with Newton da Costa, a Brazilian logician and one of the founders of paraconsistent logic, which began in 1985. He is currently Professor of Communications, Emeritus, at UFRJ and a member of the Brazilian Academy of Philosophy.
Francisco Dória's Published Works
Published Works
- Undecidability and incompleteness in classical mechanics (1991) (114)
- Classical physics and Penrose's thesis (1991) (42)
- The Incompleteness of Theories of Games (1998) (35)
- On Jaśkowski's discussive logics (1995) (29)
- Unravelling Complexity (2020) (27)
- Suppes predicates for classical physics (1992) (22)
- A Weyl-like equation for the gravitational field (1975) (21)
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture (1993) (20)
- Goedel's Way: Exploits into an undecidable world (2011) (20)
- Suppes Predicates and the Construction of Unsolvable Problems in the Axiomatized Sciences (1994) (18)
- List of Problems (2011) (17)
- The Map and the Territory: Exploring the Foundations of Science, Thought and Reality (2018) (15)
- How to build a hypercomputer (2009) (15)
- On Arnold's Hilbert Symposium Problems (1993) (15)
- A Suppes predicate for general relativity and set-theoretically generic spacetimes (1990) (14)
- Can economic systems be seen as computing devices (2009) (14)
- Gödel incompleteness in analysis, with an application to the forecasting problem in the social sciences (1994) (12)
- Hierarchy Models for the Organization of Economic Spaces (2015) (12)
- Undecidable hopf bifurcation with undecidable fixed point (1994) (11)
- The geometry of gauge field copies (1981) (11)
- On the metamathematics of the P vs. NP question (2007) (11)
- Some thoughts on hypercomputation (2006) (10)
- On the O’Donnell Algorithm for NP-Complete Problems (2016) (9)
- Think Fuzzy System : Developing New Pricing Strategy Methods for Consumer Goods Using Fuzzy Logic (2017) (8)
- A Lagrangian formulation for noninteracting high‐spin fields (1977) (8)
- Structures, Suppes Predicates, and Boolean-Valued Models in Physics (1996) (8)
- Mesonic test fields and spacetime cohomology (1978) (7)
- Introduction to the special issue on hypercomputation (2006) (7)
- Quasi‐abelian and fully non‐abelian gauge field copies: A classification (1981) (7)
- Equations for a spin-two field from a Dirac-like equation (1973) (6)
- Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications (1995) (6)
- Janus–Faced Physics: On Hilbert's 6th Problem (2007) (6)
- On the Incompleteness of Axiomatized Models for the Empirical Sciences (1992) (5)
- Consequences of an exotic definition for P=NP (2003) (5)
- Two questions on the geometry of gauge fields (1994) (5)
- Addendum: Addendum to Consequences of an exotic formulation for P=NP [Appl. Math. Comput. 145 (2-3) (2003) 655-665] (2006) (4)
- Dirac-like equations for gauge fields (1986) (4)
- Are the foundations of computer science logic-dependent? (2008) (4)
- A Bifurcation Set Associated to the Copy Phenomenon in the Space of Gauge Fields (1984) (4)
- Higgs fields as Bargmann–Wigner fields and classical symmetry breaking (1983) (3)
- The Atiyah - Singer index theorem and the gauge field copy problem (1997) (3)
- Clifford-algebra formulation of multispin field equations (1973) (3)
- A HEURISTIC ALGORITHMIC PROCEDURE TO SOLVE ALLOCATION PROBLEMS WITH FUZZY EVALUATIONS (2013) (2)
- On a total function which overtakes all total recursive functions (2001) (2)
- The undecidability of formal definitions in the theory of finite groups (1995) (2)
- On Exact and Approximate Solutions for Hard Problems: An Alternative Look (2011) (2)
- Informal versus formal mathematics (2007) (2)
- On an Extension of Rice’s Theorem and its Applications in Mathematical Economics: Dedicated to the memory of Professor Saul Fuks (1929–2012) (2014) (2)
- Axiomatics, the Social Sciences, and the Gödel Phenomenon: A Toolkit (2017) (2)
- Learning the undecidable from networked systems (2019) (2)
- Undecidability, incompleteness and Arnol'd problems (1995) (2)
- The Limits of Mathematical Modeling in the Social Sciences: The Significance of Gödel's Incompleteness Phenomenon (2017) (2)
- On the existence of the wu-yang ambiguity (1981) (1)
- Is There A Simple, Pedestrian Arithmetic Sentence Which Is Independent Of Zfc? (2004) (1)
- Noncontinuous gauge potentials without magnetic monopoles (1979) (1)
- On the consistency of P = NP with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment. ∗ (2000) (1)
- A Fuzzy Algorithm for understanding the customer's desire. An application designed for textile industry. (2013) (1)
- Meinong's Theory of Objects and Hilbert's epsilon-Symbol (1991) (1)
- On formal treatments for general relativity (2009) (1)
- Continuous & discrete: a research program (1992) (1)
- Open Discussion on A Computable Universe (2012) (0)
- On Some Recent Undecidability and Incompleteness Results in the Axiomatized Sciences (2003) (0)
- FRONT MATTER (2020) (0)
- Every nontrivial cocycle has an extension witha distribution singularity (1979) (0)
- On the Existence of Universal Vaccines (2022) (0)
- On Hilbert's Sixth Problem (2022) (0)
- Chaos and nonalgorithmic functions (1986) (0)
- Can a Free Market Be Complete? (2019) (0)
- Theoretical Physics: A Primer for Philosophers of Science (2009) (0)
- The Halting Function and its Avatars (2011) (0)
- O ct 2 01 9 LEARNING THE UNDECIDABLE FROM NETWORKED SYSTEMS (0)
- A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines (2001) (0)
- On exact and approximate solutions for hard problems in economics : an alternative look (2011) (0)
- Mathematics is Dramatically Incomplete (1992) (0)
- Leopoldo Nachbin: some personal recollections (1996) (0)
- J.B. Rosser Jr. , Handbook of Research on Complexity, Edward Elgar, Cheltenham, UK--Northampton, MA, USA (2009) 436 + viii pp., index, ISBN 978 1 84542 089 5 (cased) (2011) (0)
- Two Algorithms for NP-Complete Problems and Their Relevance to Economics (2018) (0)
- El Aleph, Or a Monster Lurks in the Belly of Computer Science (2018) (0)
- Noncomputable functions, generic functions and random sequences (1987) (0)
- METAMATHEMATICAL LIMITS TO COMPUTATION (2013) (0)
- Fast-Growing Functions and the P vs. NP Question (2007) (0)
- Entropy, P vs (2011) (0)
- Addendum to "Consequences of an exotic formulation for P (2006) (0)
- Gödel Incompleteness and the Empirical Sciences (2017) (0)
- BACK MATTER (2020) (0)
- Forays into Uncharted Landscapes (2011) (0)
- Is Risk Quantifiable (2015) (0)
- H-Computation (Abstract) (1996) (0)
- Blueprint for a Hypercomputer (2012) (0)
- Einstein, Gödel, and the Mathematics of Time (2011) (0)
- On Teitler’s higher-spin field equations (1977) (0)
- On the existence of certain total recursive functions in nontrivial axiom systems, I (1998) (0)
- A Beautiful Theorem (2016) (0)
This paper list is powered by the following services:
Other Resources About Francisco Dória
What Schools Are Affiliated With Francisco Dória?
Francisco Dória is affiliated with the following schools: