Abstract
En este artículo analizamos conceptos fundamentales que sirven para entender mejor Das Kontinuum. Asimismo, defendemos la interpretación de Feferman —sobre todo, en lo referente al tratamiento de los conjuntos aritméticos, y al alcance del sistema que Weyl introdujo en el libro— como la más apropiada para entender la idea original, frente a la interpretación que Arnon Avron propuso recientemente.
Publisher
Universidad Nacional Autonoma de Mexico
Reference11 articles.
1. Adams, Robin, y Zhaohui Luo, 2010, “Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory”, ACM Transactions on Computational Logic, vol. 11, no. 2, pp. 1–29.
2. Avron, Arnon, 2020, “Weyl Reexamined: ‘Das Kontinuum’ 100 Years Later”, The Bulletin of Symbolic Logic, vol. 26, no. 1, pp. 26–79.
3. Crosilla, Laura, 2017, “Predicativity and Feferman”, en Gerhard Jäger y Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy, Springer International Publishing, Cham, pp. 423–448.
4. Feferman, Solomon, 1998, “Weyl Vindicated: Das Kontinuum Seventy Years Later”, en In the Light of Logic, Oxford University Press, Nueva York, pp. 249–283.
5. Weyl, Hermann, 1987, The Continuum. A Critical Examination of the Foundation of Analysis, trans. Stephen Pollard y Thomas Bole, Dover Publications, Inc., Nueva York.