Decidability
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Undecidability of the existence of dictator for strongly candidate stable voting procedures in an infinite society and Cantor's diagonal argument
The strong candidate stability theorem by Dutta et al. [ 4], one of the major theoremsof social choice theory, states that, with a finite number of voters, there exists a dictator for any voting procedure which satisfies strong candidate stability, strong unanimity and independence of irrelevant alternatives (IIA). This paper investigates a decidability prob
Computational & Applied Mathematics. Publicado em: 2008
-
2. Estudo do modelo de famÃlias de distribuiÃÃes de probabilidade baseado em programaÃÃo matemÃtica
Since immemorial times, man has learned to deal with uncertainty in trying to prevent losses derived from unexpected factors. Several probability theories were proposed in such a search, KolmogorovÅs having been the most used. However, it fails to serve a number of situations. A great deal has been done in order to work out the situations where the classic
Publicado em: 2007
-
3. "Combinations of non-normal modal logics" / "Combinações de lógicas modais não-normais"
Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a pr
Publicado em: 2004
-
4. Limit, logic, and computation
We introduce “ultrafilter limits” into the classical Turing model of computation and develop a paradigm for interpreting the problem of distinguishing the class P from NP as a logical problem of decidability. We use P(NP) to denote decision problems which can be solved on a (nondeterministic) Turing machine in polynomial time. The concept is that in an a
The National Academy of Sciences.
-
5. Bell's theorem and the problem of decidability between the views of Einstein and Bohr
Einstein, Podolsky, and Rosen (EPR) have designed a gedanken experiment that suggested a theory that was more complete than quantum mechanics. The EPR design was later realized in various forms, with experimental results close to the quantum mechanical prediction. The experimental results by themselves have no bearing on the EPR claim that quantum mecha
The National Academy of Sciences.