搜索结果: 1-5 共查到“undecidability”相关记录5条 . 查询时间(0.062 秒)
Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
Decision problems infinite Post Correspondence Problem analytical hierarchy high undecidability infinitary rational relations
2011/10/10
Abstract: It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing ...
Uniform Definability and Undecidability in Classes of Structures
Uniform Definability Undecidability Classes of Structures
2011/1/18
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of s...
A realist interpretation of quantum mechanics based on undecidability due to gravity
interpretation quantum based undecidability gravity
2010/11/8
We summarize several recent developments suggesting that solving the problem of time in quantum gravity leads to a solution of the measurement problem in quantum mechanics. This approach has been info...
Undecidability as solution to the problem of measurement: fundamental criterion for the production of events
Undecidability solution problem of measurement fundamental criterion production of events
2010/10/20
In recent papers we put forth a new interpretation of quantum mechanics, colloquially known as “the Montevideo interpretation”. This interpretation is based on taking into account fundamental limits t...
Undecidability and the problem of outcomes in quantum measurements
measurement problem interpretations of quantum mechanics
2009/11/20
We argue that it is fundamentally impossible to recover information about quantum superpositionswhen a quantum system has interacted with a sufficiently large number of degrees of freedom ofthe enviro...