Copyright © 2011 Przemysław Tkacz and Marian Turzański. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In 1883–1884, Henri Poincaré announced the result about the structure of the set of zeros of function , or alternatively the existence of solutions of the equation . In the case the Poincaré Theorem is well known Bolzano Theorem. In 1940 Miranda rediscovered the Poincaré Theorem. Except for few isolated results it is essentially a non-algorithmic theory. The aim of this article is to introduce an algorithmical proof of the Theorem “On the existence of a chain” and for an algorithmical proof of the Bolzano-Poincaré Theorem and to show the equivalence of Poincaré, Brouwer and “On the existence of a chain” theorems.