Saltar al contenido principal
Library homepage
 
LibreTexts Español

Bibliografía

  • Page ID
    103485
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Aspray, William. 1984. La comunidad matemática de Princeton en la década de 1930: Iglesia Alonzo. URL http://www.princeton.edu/mudd/findin...oral/pmc05.htm. Entrevista.

    Baaz, Matthias, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, y Charles L. Harper Jr. 2011. Kurt Gödel y los fundamentos de las matemáticas: horizontes de la verdad. Cambridge: Prensa de la Universidad de Cambridge.

    Benacerraf, Pablo. 1965. Qué números no podían ser. La Revisión Filosófica 74 (1): 47—73.

    Cantor, Georg. 1892. Über eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der deutschen Mathematiker-Vereinigung 1:75—8.

    Cheng, Eugenia. 2004. Cómo escribir pruebas: Una guía rápida. URL http://cheng.staff.shef.ac.uk/proofg...proofguide.pdf.

    Iglesia, Alonzo. 1936a. Una nota sobre el problema Entscheidungsproblem. Diario de Lógica Simbólica 1:40—41.

    Iglesia, Alonzo. 1936b. Un problema irresoluble de la teoría elemental de números. Revista Americana de Matemáticas 58:345—363.

    Corcoran, John. 1983. Lógica, Semántica, Metamatemática. Indianápolis: Hackett, 2a ed.

    Dauben, José. 1990. Georg Cantor: Sus Matemáticas y Filosofía del Infinito. Princeton: Prensa de la Universidad de Princeton.

    Dick, Auguste. 1981. Emmy Noether 1882—1935. Boston: Birkhäuser.

    du Sautoy, Marcus. 2014. Una breve historia de las matemáticas: Georg Cantor. URL http://www.bbc.co.uk/programmes/b00ss1j0. Grabación de audio.

    Duncan, Arlene. 2015. El Centro de Investigación Bertrand Russell. URL http://russell.mcmaster.ca/.

    Ebbinghaus, Heinz-Dieter. 2015. Ernst Zermelo: Una aproximación a su vida y obra. Berlín: Springer-Verlag.

    Ebbinghaus, Heinz-Dieter, Craig G. Fraser, y Akihiro Kanamori. 2010. Ernst Zermelo. Obras Colectadas, vol. 1. Berlín: Springer-Verlag.

    Ebbinghaus, Heinz-Dieter y Akihiro Kanamori. 2013. Ernst Zermelo: Obras Colectadas, vol. 2. Berlín: Springer-Verlag.

    Enderton, Herbert B. 2019. Iglesia Alonzo: Vida y Trabajo. En Las obras colectadas de la iglesia de Alonzo, eds. Tyler Burge y Herbert B. Enderton. Cambridge, MA: Prensa MIT.

    Feferman, Anita y Solomon Feferman. 2004. Alfred Tarski: Vida y lógica. Cambridge: Prensa de la Universidad de Cambridge.

    Feferman, Solomon, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, y Jean van Heijenoort. 1986. Kurt Gödel: Obras Colectadas. Vol. 1: Publicaciones 1929—1936. Oxford: Prensa de la Universidad de Oxford.

    Feferman, Solomon, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, y Jean van Heijenoort. 1990. Kurt Gödel: Obras Colectadas. Vol. 2: Publicaciones 1938—1974. Oxford: Prensa de la Universidad de Oxford.

    Frege, Gottlob. 1884. Die Grundlagen der Arithmetik: Eine logisch matematische Untersuchung über den Begriff der Zahl. Breslau: Wilhelm Koebner. Traducción en Frege (1953).

    Frege, Gottlob. 1953. Fundamentos de la Aritmética, ed. J. L. Austin. Oxford: Basil Blackwell & Mott, 2a ed.

    Frey, Holly y Tracy V. Wilson. 2015. Cosas que te perdiste en la clase de historia: Emmy Noether, pionero de las matemáticas. URL http://www.missedinhistory.com/podca...s-trailblazer/. Audio de podcast.

    Gentzen, Gerhard. 1935a. Untersuchungen über das logische Schließen I. Mathematische Zeitschrift 39:176—210. Traducción al inglés en Szabo (1969), pp. 68—131.

    Gentzen, Gerhard. 1935b. Untersuchungen über das logische Schließen II. Mathematische Zeitschrift 39:176—210, 405—431. Traducción al inglés en Szabo (1969), pp. 68—131.

    Gödel, Kurt. 1929. Über die Vollständigkeit des Logikkalküls [Sobre la integridad del cálculo de la lógica]. Disertación, Universität Wien. Reimpreso y traducido en Feferman et al. (1986), pp. 60—101.

    Gödel, Kurt. 1931. über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I [Sobre proposiciones formalmente indecibles de Principia Mathematica y Sistemas Relacionados I]. Monatshefte für Mathematik und Physik 38:173—198. Reimpreso y traducido en Feferman et al. (1986), pp. 144—195.

    Grattan-Guinness, Ivor. 1971. Hacia una Biografía de Georg Cantor. Anales de la Ciencia 27 (4): 345—391.

    Hammack, Richard. 2013. Libro de Comprobante. Richmond, VA: Universidad de la Commonwealth de Virginia. URL http://www.people.vcu.edu/~rhammack/...ookOfProof.pdf.

    Hodges, Andrew. 2014. Alan Turing: El enigma. Londres: Vintage.

    Hutchings, Michael. 2003. Introducción a los argumentos matemáticos. URL https://math.berkeley.edu/~hutching/teach/proofs.pdf.

    Instituto, Perímetro. 2015. Emmy Noether: Su vida, obra e influencia. URL https://www.youtube.com/watch?v=tNNyAyMRsgE. Videoconferencia.

    Irvine, Andrew David. 2015. Clips sonoros de Bertrand Russell hablando. URL http://plato.stanford.edu/entries/ru...oundclips.html.

    Jacobson, Nathan. 1983. Emmy Noether: Gesammelte Abhandlungen - Papeles Recopilados. Berlín: Springer-Verlag.

    John Dawson, Jr. 1997. Dilemas lógicos: La vida y obra de Kurt Gödel. Boca Ratón: Prensa CRC.

    LibriVox. n.d. Bertrand Russell. URL https://librivox.org/author/1508?pri...rm=get_results. Colección de audiolibros de dominio público.

    Linsenmayer, Marcos. 2014. La vida parcialmente examinada: Gödel sobre matemáticas. URL http://www.partiallyexaminedlife.com...16/ep95-godel/. Audio de podcast.

    MacFarlane, John. 2015. Reseñas de JSL de Alonzo Church. URL http://johnmacfarlane.net/church.html.

    Menzler-Trott, Eckart. 2007. El genio perdido de Logic: La vida de Gerhard Gentzen. Providence: American Mathematical Society.

    Potter, Michael. 2004. La Teoría de Conjuntos y su Filosofía. Oxford: Prensa de la Universidad de Oxford.

    Radiolab, 2012. El problema de Turing. URL http://www.radiolab.org/story/193037-turing-problem/. Audio de podcast.

    Rose, Daniel. 2012. Una canción sobre Georg Cantor. URL https://www.youtube.com/watch?v=QUP5Z4Fb5k4. Grabación de audio.

    Russell, Bertrand. 1905. Al denotar. Mente 14:479—493.

    Russell, Bertrand. 1967. La Autobiografía de Bertrand Russell, vol. 1. Londres: Allen y Unwin.

    Russell, Bertrand. 1968. La Autobiografía de Bertrand Russell, vol. 2. Londres: Allen y Unwin.

    Russell, Bertrand. 1969. La Autobiografía de Bertrand Russell. vol. 3. Londres: Allen y Unwin.

    Russell, Bertrand. n.d. Bertrand Russell sobre fumar. URL https://www.youtube.com/watch?v=80oLTiVW_lc. Video Entrevista.

    Sandstrum, Ted. 2019. Razonamiento Matemático: Escritura y Prueba. Allendale, MI: Universidad Estatal Grand Valley. URL https://scholarworks.gvsu.edu/books/7/.

    Segal, Sanford L. 2014. Matemáticos bajo los nazis. Princeton: Prensa de la Universidad de Princeton.

    Sigmund, Karl, John Dawson, Kurt Mühlberger, Hans Magnus Enzensberger, y Juliette Kennedy. 2007. Kurt Gödel: Das Album—El Álbum. El Inteligente Matemático 29 (3): 73—76.

    Smith, Peter. 2013. Una introducción a los teoremas de Gödel. Cambridge: Prensa de la Universidad de Cambridge.

    Solow, Daniel. 2013. Cómo Leer y Hacer Pruebas. Hoboken, Nueva Jersey: Wiley.

    Steinhart, Eric. 2018. Más Precisamente: Las Matemáticas Que Necesitas Hacer Filosofía. Peterborough, EN: Broadview, 2a ed.

    Sykes, Christopher. 1992. BBC Horizon: La extraña vida y muerte del Dr. Turing. URL https://www.youtube.com/watch?v=gyusnGbBSHE.

    Szabo, Manfred E. 1969. Los Papeles Colectados de Gerhard Gentzen. Ámsterdam: Holanda Septentrional.

    Takeuti, Gaisi, Nicholas Passell, y Mariko Yasugi. 2003. Memorias de un teórico de la prueba: Gödel y otros logísticos. Singapur: Científica mundial.

    Tarski, Alfred. 1981. Las Obras Colectadas de Alfred Tarski, vol. I—IV. Basilea: Birkhäuser.

    Theelen, Andre. 2012. LEGO máquina de turing. URL https://www.youtube.com/watch?v=FTSAiF9AHN4.

    Turing, Alan M. 1937. En números computables, con una aplicación al “Entscheidungsproblem”. Actas de la London Mathematical Society, 2a Serie 42:230—265.

    Tyldum, Morten. 2014. El juego de imitación. Cinematografía.

    Velleman, Daniel J. 2019. Cómo Demostrarlo: Un Enfoque Estructurado. Cambridge: Cambridge University Press, 3a ed.

    Wang, Hao. 1990. Reflexiones sobre Kurt Gödel. Cambridge: Prensa MIT.

    Zermelo, Ernst. 1904. Beweis, daß jede Menge wohlgeordnet werden kann. Mathematische Annalen 59:514—516. Traducción al inglés en (Ebbinghaus et al., 2010, pp. 115—119).

    Zermelo, Ernst. 1908. Untersuchungen über die Grundlagen der Mengenlehre I. Mathematische Annalen 65 (2): 261—281. Traducción al inglés en (Ebbinghaus et al., 2010, pp. 189-229).


    This page titled Bibliografía is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .