En ProofWiki podemos encontrar definiciones (poco más de 3000 hasta el momento de escribir este post) y demostraciones (casi 4000 en el momento en que se escribe esta entrada). Respecto a estas últimas, las hay correspondientes a una gran cantidad de temas: Análisis, Teoría de Números, Teoría de Conjuntos, Topología…
Por poner algunos ejemplos, podemos encontrar demostraciones del teorema del punto fijo de Banach, del pequeño teorema de Fermat, de la paradoja de Banach-Tarski (de la que hablamos por aquí hace ya un tiempo) o del teorema de Bayes. Bueno, y muchas más. Y al estar montado en un wiki, podemos crearnos una cuenta y participar en la elaboración de este catálogo de demostraciones. Si alguien se anima a ello estaría bien que nos lo contara en los comentarios.
Entra en Gaussianos si quieres hacer algún comentario sobre este artículo, consultar entradas anteriores o enviarnos un mensaje.
Construye tú también el poliedro de Császár.
No hay comentarios:
Publicar un comentario