A Beautiful Theorem

  • Francisco Antonio DoriaEmail author
  • Carlos A. Cosenza
Part of the Intelligent Systems Reference Library book series (ISRL, volume 110)


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.


Maymin’s theorem Efficient markets O’Donnell’s algorithm Almost efficient markets 



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 CoppeUFRJ and of the Logic Group, HCTEUFRJ. We thank Profs. R. Bartholo, S. Fuks (in memoriam), S. Jurkiewicz, R. Kubrusly, and F. Zamberlan for support.


  1. 1.
    Baker, T., Gill, J., Solovay, R.: Relativizations of the \(P=?NP\) question. SIAM J. Comput. 4, 431–442 (1975)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Ben–David, S., Halevi, S.: On the independence of \(P\ vs.\ NP\). Technical Report # 699, Technion (1991)Google Scholar
  3. 3.
    da Costa, N.C.A., Doria, F.A.: On the O’Donnell algorithm for \(NP\)–complete problems. Rev. Behav. Econ. (2016)Google Scholar
  4. 4.
    Maymin, P.Z.: Markets are efficient if and only If \(P=NP\). Algorithmic Finance, 1(1), 1 (2011)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Post, E.L.: Introduction to a general theory of elementary propositions. Am. J. Math. 43, 163 (1921)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Advanced Studies Research Group, HCTE, Fuzzy Sets Laboratory, Mathematical Economics Group, Production Engineering ProgramCOPPE, UFRJRio RjBrazil

Personalised recommendations