1. Suppes predicates for classical physics.N. C. A. Da Costa & F. A. Doria - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter.
  2.  9
    Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications.N. C. A. Da Costa & F. A. Doria - 1995 - Complexity 1 (3):40-55.
  3.  19
    On the Existence of Very Difficult Satisfiability Problems.N. C. A. da Costa & F. A. Doria - forthcoming - Bulletin of the Section of Logic.
  4.  60
    Two questions on the geometry of gauge fields.N. C. A. da Costa, F. A. Doria, A. F. Furtado-do-Amaral & J. A. de Barros - 1994 - Foundations of Physics 24 (5):783-800.
    We first show that a theorem by Cartan that generalizes the Frobenius integrability theorem allows us (given certain conditions) to obtain noncurvature solutions for the differential Bianchi conditions and for higher-degree similar relations. We then prove that there is no algorithmic procedure to determine, for a reasonable restricted algebra of functions on spacetime, whether a given connection form satisfies the preceding conditions. A parallel result gives a version of Gödel's first incompleteness theorem within an (axiomatized) theory of gauge fields.
    Direct download (3 more)  
    Export citation  
  5. Consequences of an Exotic Definition for P = NP. Applied Mathematics and Computation.N. C. A. da Costa & F. A. Doria - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
    Export citation