Showing 1–9 of 9 results for author: da Costa, N C A

Axiomatic Theory of Distributions

Authors: Newton C. A. da Costa, J. A. Baêta Segundo

Abstract: In this monograph, very simple axiomatic definitions to the L. Schwartz' concepts of distribution and derivative of a distribution are formulated. Beyond this, a kind of generalization of that concepts is propose and corresponding axiomatic definitions are presented. In this monograph, very simple axiomatic definitions to the L. Schwartz' concepts of distribution and derivative of a distribution are formulated. Beyond this, a kind of generalization of that concepts is propose and corresponding axiomatic definitions are presented. △ Less

Submitted 7 November, 2021; originally announced November 2021.

Comments: 341 pages

MSC Class: 46Fxx

On the Stability of Our Universe

Authors: Marcelo Samuel Berman, Newton C. A. da Costa

Abstract: We argue that the Robertson-Walker's Universe is a zero-energy stable one, even though it may possess a rotational state besides expansion. We argue that the Robertson-Walker's Universe is a zero-energy stable one, even though it may possess a rotational state besides expansion. △ Less

Submitted 19 December, 2010; originally announced December 2010.

Comments: 10 pages. Submitted

Journal ref: Journal of Modern Physics, Vol. 3 No. 29, 2012, pp. 1211-1215

On a total function which overtakes all total recursive functions

Authors: N. C. A. da Costa, F. A. Doria

Abstract: This paper discusses a function that is frequently presented as a simile or look-alike of the so-called ``counterexample function to P=NP,'' that is, the function that collects all first instances of a problem in NP where a poly machine incorrectly `guesses' about the instance. We state and give in full detail a crucial result on the computation of Goedel numbers for some families of poly machin… ▽ More This paper discusses a function that is frequently presented as a simile or look-alike of the so-called ``counterexample function to P=NP,'' that is, the function that collects all first instances of a problem in NP where a poly machine incorrectly `guesses' about the instance. We state and give in full detail a crucial result on the computation of Goedel numbers for some families of poly machines. △ Less

Submitted 12 June, 2001; originally announced June 2001.

Comments: LaTeX

A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines

Authors: N. C. A. da Costa, F. A. Doria

Abstract: If we establish that the counterexample function for P=NP, if total, overtakes all total recursive functions when extended over all Turing machines, then what happens to the same counterexample function when defined over the so-called Baker-Gill-Solovay (BGS) set of poly machines? We state and prove here a lemma that tries to answer this query. If we establish that the counterexample function for P=NP, if total, overtakes all total recursive functions when extended over all Turing machines, then what happens to the same counterexample function when defined over the so-called Baker-Gill-Solovay (BGS) set of poly machines? We state and prove here a lemma that tries to answer this query. △ Less

Submitted 12 June, 2001; originally announced June 2001.

Comments: LaTeX

Time is dispensable in thermodynamics

Authors: Newton C. A. da Costa, Adonai S. Sant'Anna

Abstract: We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without any explicit reference to ti… ▽ More We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without any explicit reference to time and briefly discuss some physical and philosophical consequences of our main results. △ Less

Submitted 23 April, 2001; originally announced April 2001.

Comments: LaTeX, 11 pages, no figures. This is a preliminary version before we submit it for publication in a journal

The mathematical role of time and space-time in classical physics

Authors: Newton C. A. da Costa, Adonai S. Sant'Anna

Abstract: We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to discuss the mathematical role of time and space-time in some classical physical theories. We show that time is eliminable in Newtonian mechanics and that space-time is also dispensable in Hamiltonian mechanics, Maxwell's electromagnetic theory, the Dirac electron, classical gauge fields, and general re… ▽ More We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to discuss the mathematical role of time and space-time in some classical physical theories. We show that time is eliminable in Newtonian mechanics and that space-time is also dispensable in Hamiltonian mechanics, Maxwell's electromagnetic theory, the Dirac electron, classical gauge fields, and general relativity. △ Less

Submitted 24 April, 2001; v1 submitted 27 February, 2001; originally announced February 2001.

Comments: LaTeX, 12 pages, no figures. This is a new version

Journal ref: Found.Phys.Lett. 14 (2001) 553-563

On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment

Authors: N. C. A. da Costa, F. A. Doria

Abstract: We formulate the $P<NP$ hypothesis in the case of the satisfiability problem as a $Π^0_2$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that $f_{\neg A}$ is total if and only if $P < NP$. We then show that if $f_{\neg A}$ is total, then it isn't ${\cal T}$--provably total (where ${\cal T}$ is a fragment of ZFC that adequately extends PA and whose consistenc… ▽ More We formulate the $P<NP$ hypothesis in the case of the satisfiability problem as a $Π^0_2$ sentence, out of which we can construct a partial recursive function $f_{\neg A}$ so that $f_{\neg A}$ is total if and only if $P < NP$. We then show that if $f_{\neg A}$ is total, then it isn't ${\cal T}$--provably total (where ${\cal T}$ is a fragment of ZFC that adequately extends PA and whose consistency is of ordinal order). Follows that the negation of $P < NP$, that is, $P = NP$, is consistent with those ${\cal T}$. △ Less

Submitted 10 June, 2000; originally announced June 2000.

Comments: LaTeX, 19 pages, no figures

The Atiyah-Singer index theorem and the gauge field copy problem

Authors: Adonai S. Sant'Anna, Newton C. A. da Costa, Francisco A. Doria

Abstract: K-theory allows us to define an analytical condition for the existence of `false' gauge field copies through the use of the Atiyah-Singer index theorem. After establishing that result we discuss a possible extension of the same result without the help of the index theorem and suggest possible related lines of work. K-theory allows us to define an analytical condition for the existence of `false' gauge field copies through the use of the Atiyah-Singer index theorem. After establishing that result we discuss a possible extension of the same result without the help of the index theorem and suggest possible related lines of work. △ Less

Submitted 27 May, 1999; originally announced May 1999.

Comments: LaTeX, 7 pages, no figures

Journal ref: J.Phys.A30:5511-5516,1997

On the existence of certain total recursive functions in nontrivial axiom systems, I

Authors: N. C. A. da Costa, F. A. Doria

Abstract: We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for $Σ_1$-sound set theory, ZFC$\not\vdash P<NP$. We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for $Σ_1$-sound set theory, ZFC$\not\vdash P<NP$. △ Less

Submitted 30 April, 1998; originally announced April 1998.

Comments: LaTeX, 16 pages, no figures. This paper was submitted to a major journal in the field and rejected. The referee somehow misundesrtood Corollary 3.8 and wrongly concluded that the proof had either a gap or an error. Can you find whether that error exists?