Search results for "COMPLETENESS"
showing 10 items of 66 documents
Performability of Actions
2021
AbstractAction theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoretic constructs. This ontology isolates various types of actions as structured entities: atomic, sequential, compound, ordered, situational actions etc., and it is a solid and non-removable foundation of any rational activity. The paper is mainly concerned with a bunch of issues centered around the notion of performability of actions. It seems that the problem of performability of actions, though of basic importance for purely practical ap…
Reference Priors in a Variance Components Problem
1992
The ordered group reference prior algorithm of Berger and Bernardo (1989b) is applied to the balanced variance components problem. Besides the intrinsic interest of developing good noninformative priors for the variance components problem, a number of theoretically interesting issues arise in application of the proposed procedure. The algorithm is described (for completeness) in an important special case, with a detailed heuristic motivation.
The double-incompleteness theorem
1976
Let T be a strong enough theory, and M - its metatheory, both are consistent. Then there is a closed arithmetical formula H that is undecidable in T, but one cannot prove in M neither that H is T-unprovable, nor that H is T-unrefutable. For English translation and proof, see K. Podnieks What is mathematics: Godel's theorem and around.
Consistency Analysis of Genome-Scale Models of Bacterial Metabolism: A Metamodel Approach.
2015
Genome-scale metabolic models usually contain inconsistencies that manifest as blocked reactions and gap metabolites. With the purpose to detect recurrent inconsistencies in metabolic models, a large-scale analysis was performed using a previously published dataset of 130 genome-scale models. The results showed that a large number of reactions (~22%) are blocked in all the models where they are present. To unravel the nature of such inconsistencies a metamodel was construed by joining the 130 models in a single network. This metamodel was manually curated using the unconnected modules approach, and then, it was used as a reference network to perform a gap-filling on each individual genome-s…
THE MAXWELL–DIRAC EQUATIONS: ASYMPTOTIC COMPLETENESS AND THE INFRARED PROBLEM
1994
In this article we present an announcement of results concerning: a) A solution to the Cauchy problem for the M-D equations, namely global existence, for small initial data at t = 0, of solutions for the M-D equations. b) Arguments from which asymptotic completeness for the M-D equations follows. c) Cohomological interpretation of the results in the spirit of nonlinear representation theory and its connection to the infrared tail of the electron in M-D classical field theory. The full detailed results will be published elsewhere.
¿Qué papel juegan la evitación del daño y la sensación de inacabado en los síntomas obsesivos de orden y comprobación?
2020
Numerosas investigaciones han intentado determinar las variables implicadas en la génesis y mantenimiento del Trastorno Obsesivo-Compulsivo (TOC). Recientemente, se han propuesto la evitación del daño y la sensación de inacabado como dos dimensiones nucleares motivadoras de la sintomatología obsesivo-compulsiva. El objetivo de este estudio fue analizar el papel de la evitación del daño y la sensación de inacabado en su relación con los síntomas obsesivo-compulsivos. Para ello, se realizó un Path analysis en una muestra de 267 personas de la población general (74,5% mujeres; edad media 27,29 años). Los resultados mostraron que la asociación entre evitación del daño y los síntomas de orden y …
Realism, metamathematics, and the unpublished essays
1995
This initial chapter is divided into two sections. The first is devoted to a brief exposition of the intuitive essence and the philosophical motivation of Godel’s main metamathematical results, namely his completeness theorem for elementary logic (1930) and his incompleteness theorems for arithmetic (1931). Thereafter some discussion of the different ways to confront the relationship between those results and Godel’s philosophical realism in logic and mathematics is offered. Thus, mathematical realism will be successively regarded as (i) a philosophical consequence of those results; (ii) a heuristic principle which leads to them; (iii) a philosophical hypothesis which is “verified” by them.…
Geodesic completeness in a wormhole spacetime with horizons
2015
The geometry of a spacetime containing a wormhole generated by a spherically symmetric electric field is investigated in detail. These solutions arise in high-energy extensions of General Relativity formulated within the Palatini approach and coupled to Maxwell electrodynamics. Even though curvature divergences generically arise at the wormhole throat, we find that these spacetimes are geodesically complete. This provides an explicit example where curvature divergences do not imply spacetime singularities.
Accelerated observers and the notion of singular spacetime
2017
Geodesic completeness is typically regarded as a basic criterion to determine whether a given spacetime is regular or singular. However, the principle of general covariance does not privilege any family of observers over the others and, therefore, observers with arbitrary motions should be able to provide a complete physical description of the world. This suggests that in a regular spacetime, all physically acceptable observers should have complete paths. In this work we explore this idea by studying the motion of accelerated observers in spherically symmetric spacetimes and illustrate it by considering two geodesically complete black hole spacetimes recently described in the literature. We…
kq-Representation for pseudo-bosons, and completeness of bi-coherent states
2017
We show how the Zak $kq$-representation can be adapted to deal with pseudo-bosons, and under which conditions. Then we use this representation to prove completeness of a discrete set of bi-coherent states constructed by means of pseudo-bosonic operators. The case of Riesz bi-coherent states is analyzed in detail.