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}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)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).