Francisco A. Doria

17 papers Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2009 J jnl
How to build a hypercomputer.
Appl. Math. Comput.
Newton C. A. da Costa, Francisco A. Doria
2007 J jnl
Fast-Growing Functions and the
Log. J. IGPL
Francisco A. Doria
2007 J jnl
Informal versus formal mathematics.
Synth.
Francisco A. Doria
2007 J jnl
On the metamathematics of the P vs. NP question.
Appl. Math. Comput.
Newton C. A. da Costa, Francisco A. Doria, Eric Bir
2006 J jnl
Addendum to "Consequences of an exotic formulation for P.
Appl. Math. Comput.
Newton C. A. da Costa, Francisco A. Doria
2006 J jnl
Introduction to the special issue on hypercomputation.
Appl. Math. Comput.
Francisco A. Doria, José Félix Costa
2006 J jnl
Some thoughts on hypercomputation.
Appl. Math. Comput.
Newton C. A. da Costa, Francisco A. Doria
2003 J jnl
Consequences of an exotic definition for P=NP.
Appl. Math. Comput.
Newton C. A. da Costa, Francisco A. Doria
2000 J jnl
Is There A Simple, Pedestrian Arithmetic Sentence Which Is Independent Of Zfc?
Synth.
Francisco A. Doria
1998 J jnl
On the existence of certain total recursive functions in nontrivial axiom systems, I
CoRR
Newton C. A. da Costa, Francisco A. Doria
1998 J jnl
The Incompleteness of Theories of Games.
J. Philos. Log.
Marcelo Tsuji, Newton C. A. da Costa, Francisco A. Doria
1996 — conf
H-Computation (Abstract).
SBIA
Newton C. A. da Costa, Francisco A. Doria
1995 J jnl
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications.
Complex.
Newton C. A. da Costa, Francisco A. Doria
1995 J jnl
On Jaskowski's discussive logic.
Stud Logica
Newton C. A. da Costa, Francisco A. Doria
1995 J jnl
Undecidability, incompleteness and the Arnol'd problems.
Stud Logica
Newton C. A. da Costa, Francisco A. Doria
1993 — conf
On Arnold's Hilbert Symposium Problems.
Kurt Gödel Colloquium
Newton C. A. da Costa, Francisco A. Doria
1991 J jnl
Meinong's Theory of Objects and Hilbert's epsilon-Symbol.
Reports Math. Log.
Newton C. A. da Costa, Francisco A. Doria, N. Papavero