Related papers: Effective completeness for real computation
In a recent paper we gave a sufficient condition for the strong mixing property of the Levy-transformation. In this note we show that it actually implies a much stronger property, namely exactness.
This paper has been withdrawn by the authors due to numerical problems to get viable results.
This paper has been withdrawn by the author due to a crucial error in the submission action.
This note corrects one serious mistake and several smaller mistakes from arXiv:math/0502404. The main results of that paper are unchanged.
A rapidly convergent series, based on Taylor expansion of the imaginary part of the complex error function, is presented for highly accurate approximation of the Voigt/complex error function with small imaginary argument (Y less than 0.1).…
The methods used to prove the main result must be incorrect, as they can be used to arrive at a contradiction with previously known results. Thus the paper was withdrawn.
This paper has been withdrawn by the author(s). Please refer to quant-ph/0311171.
This paper has been withdrawn by the author. There is an error on page 3 in the last inequality before Lemma 1.1.
This article aims to find explicit congruences between Dirichlet characters and gives various results on how to find some effectively on a computer. It ends with concrete examples putting those ideas in application.
This paper is a natural continuation of paper "On rectifiable spaces and its algebraical equivalents, topological algebraic systems and Mal'cev algebras" published in arxiv:1309.4572. Thus we justify the need to present the entire material…
We show that the protocol recently proposed by Hosten et al. does not allow all possible results of a computation to be obtained counterfactually, as was claimed. It only gives a counterfactual outcome for one of the computer outputs.…
An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…
This paper has been withdrawn by the author, due a crucial error in the main idea.
The earlier paper "Introduction to clarithmetic I" constructed an axiomatic system of arithmetic based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html), and proved its soundness and extensional completeness with respect…
We find it absurd that Walliser [1] essentially used the same analysis and obtained identical results as reported in [3], yet arrived at different conclusions. Namely, based on an incomplete theory and using erroneous arguments, he not only…
We point out an essential gap in the proof of one of main results in \cite{M} and then give a corrected proof for it.
This paper has been withdrawn by the authors, because it has been made obsolete by the detailed expositions in our papers in arXiv:0812.4885 (the mathematics part) and arXiv:0812.4737 (the economics part).
This paper is not ready for public consumption, as the last step (Figure 20) is incorrect.
This paper has been withdrawn, as it is obsolete and incorrect. It has been superceded by arXiv:1204.0484
This paper has been withdrawn by the author(s), due a crucial error in Eqn. 30.