Abstract
We first present Maymin’s Theorem on the existence of efficient markets; it is a result that connects mathematical economics and computer science. We then introduce O’Donnell’s algorithm for the solution of NP-complete problems and the concept of almost efficient markets; we state the main result, which is: given a metamathematical condition, there will be almost efficient markets. We then briefly discuss whether changing the underlying logical framework we would be able to change the preceding results.
Dedicated to Jair Minoro Abe for his 60th birthday
A thing of beauty is a joy for ever:
Its loveliness increases; it will never
Pass into nothingness
John Keats, Endymion
Partially supported by CNPq, Philosophy Section; the first author is a member of the Brazilian Academy of Philosophy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Actually we know very little.
- 2.
Actually we deal with a slightly larger class of Boolean expressions.
- 3.
Conjunctive normal form.
- 4.
The BGS machine set is a set of time-polynomial Turing machines which includes algorithms that mimic all time-polynomial Turing machines. See above and check [1].
References
Baker, T., Gill, J., Solovay, R.: Relativizations of the \(P=?NP\) question. SIAM J. Comput. 4, 431–442 (1975)
Ben–David, S., Halevi, S.: On the independence of \(P\ vs.\ NP\). Technical Report # 699, Technion (1991)
da Costa, N.C.A., Doria, F.A.: On the O’Donnell algorithm for \(NP\)–complete problems. Rev. Behav. Econ. (2016)
Maymin, P.Z.: Markets are efficient if and only If \(P=NP\). Algorithmic Finance, 1(1), 1 (2011)
O’Donnell, M.: A programming language theorem which is independent of Peano arithmetic. In: Proceedings of 11th Annual ACM Symposium on the Theory of Computation, pp. 176–188 (1979)
Post, E.L.: Introduction to a general theory of elementary propositions. Am. J. Math. 43, 163 (1921)
Acknowledgments
This paper was supported in part by CNPq, Philosophy Section Grant no. 4339819902073398. It is part of the research efforts of the Advanced Studies Group, Production Engineering Program, at Coppe–UFRJ and of the Logic Group, HCTE–UFRJ. We thank Profs. R. Bartholo, S. Fuks (in memoriam), S. Jurkiewicz, R. Kubrusly, and F. Zamberlan for support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Doria, F.A., Cosenza, C.A. (2016). A Beautiful Theorem. In: Akama, S. (eds) Towards Paraconsistent Engineering. Intelligent Systems Reference Library, vol 110. Springer, Cham. https://doi.org/10.1007/978-3-319-40418-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-40418-9_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-40417-2
Online ISBN: 978-3-319-40418-9
eBook Packages: EngineeringEngineering (R0)