搜索结果: 1-4 共查到“理学 Undecidability”相关记录4条 . 查询时间(0.047 秒)
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...