Investigación y lecturas adicionales
Todo lo que hay en este sitio descansa sobre décadas de investigación real en educación matemática. Abajo están los artículos y libros detrás de lo que enseñamos — especialmente la evidencia de que las estrategias inventadas y de izquierda a derecha son legítimas, valiosas y a menudo mejores para la comprensión que el algoritmo estándar por sí solo.
Puertas a la literatura de investigación
Estos son los archivos autorizados donde viven los artículos de abajo (y miles más). En caso de duda sobre una afirmación matemática, consulta estos primero:
- arXiv — repositorio de matemáticas e informática · arxiv.org/archive/math — el archivo abierto de preprints. Cada artículo que citamos con un ID de arXiv es gratuito de leer completo allí; la sección math.HO («History and Overview») es la más accesible.
- AMS / MathSciNet · ams.org/journals · mathscinet.ams.org — las revistas de la American Mathematical Society (Notices y Bulletin son de lectura gratuita) y MathSciNet, el índice de reseñas centenario de prácticamente toda la literatura matemática. Cada número MR que citamos se resuelve allí.
- ACM Digital Library · dl.acm.org — la literatura de la computación: RSA, punto flotante, pensamiento computacional. Los resúmenes son gratuitos; muchos clásicos antiguos están abiertos.
- IEEE Xplore · ieeexplore.ieee.org — ingeniería y estándares, incluido IEEE 754 (las reglas de punto flotante que sigue toda computadora) y la teoría de la información de Shannon.
- SIAM · epubs.siam.org — la Society for Industrial and Applied Mathematics. SIAM Review es famosa por sus artículos expositivos legibles sobre matemáticas en el mundo real.
Los niños inventan estrategias de izquierda a derecha
- Fuson, K. C., Wearne, D., Hiebert, J. C., Murray, H. G., Human, P. G., Olivier, A. I., Carpenter, T. P., & Fennema, E. (1997). Children's conceptual structures for multidigit numbers and methods of multidigit addition and subtraction. Journal for Research in Mathematics Education, 28(2), 130–162. — el estudio histórico que muestra que los niños inventan naturalmente métodos de izquierda a derecha y que estos apoyan la comprensión del valor posicional.
- Carpenter, T. P., Franke, M. L., Jacobs, V. R., Fennema, E., & Empson, S. B. (1998). A longitudinal study of invention and understanding in children's multidigit addition and subtraction. Journal for Research in Mathematics Education, 29(1), 3–20. — los niños que inventan estrategias antes de aprender algoritmos muestran una comprensión más fuerte que los niños a los que se enseñaron primero los algoritmos.
- Kamii, C., & Dominick, A. (1998). The harmful effects of algorithms in grades 1–4. En L. J. Morrow & M. J. Kenney (Eds.), The teaching and learning of algorithms in school mathematics (NCTM Yearbook, pp. 130–140). Reston, VA: NCTM. — el clásico provocador que argumenta que los algoritmos prematuros pueden cortocircuitar el sentido numérico.
Los calculistas mentales expertos trabajan de izquierda a derecha
- Hope, J. A., & Sherrill, J. M. (1987). Characteristics of unskilled and skilled mental calculators. Journal for Research in Mathematics Education, 18(2), 98–111. — los calculistas mentales expertos trabajan abrumadoramente desde el dígito más significativo y usan descomposiciones por valor posicional.
- Trachtenberg, J. (1960). The Trachtenberg Speed System of Basic Mathematics. Doubleday. — el clásico sistema de aritmética rápida construido sobre el cálculo de izquierda a derecha; desarrollado por Jakow Trachtenberg mientras estaba prisionero en un campo de concentración.
La comprensión y la destreza van juntas
- National Research Council (2001). Adding It Up: Helping Children Learn Mathematics. J. Kilpatrick, J. Swafford, & B. Findell (Eds.), Mathematics Learning Study Committee. Washington, DC: National Academies Press. Lectura gratuita: nap.nationalacademies.org/catalog/9822 — el informe de consenso sobre la competencia matemática: comprensión y fluidez deben desarrollarse juntas.
- Rittle-Johnson, B., Siegler, R. S., & Alibali, M. W. (2001). Developing conceptual understanding and procedural skill in mathematics: An iterative process. Journal of Educational Psychology, 93(2), 346–362. — la comprensión conceptual y la destreza procedimental se alimentan mutuamente; enseñar una sin la otra se estanca.
- Baroody, A. J. (2006). Why children have difficulties mastering the basic number combinations and how to help them. Teaching Children Mathematics, 13(1), 22–31. — sobre construir fluidez con las operaciones básicas mediante estrategia y razonamiento en lugar de solo ejercicio repetitivo.
La división y los algoritmos estándar — también una defensa
- Klein, D., & Milgram, R. J. (2000). The role of long division in the K–12 curriculum. Disponible en línea (título buscable). Un contrapeso de matemáticos que argumenta que los algoritmos estándar en sí mismos codifican una estructura profunda de valor posicional que vale la pena enseñar — por eso este sitio presenta ambas direcciones honestamente.
- National Council of Teachers of Mathematics (2000). Principles and Standards for School Mathematics. Reston, VA: NCTM. nctm.org/standards — el marco sobre el que se construyen la mayoría de los currículos modernos: la fluidez computacional debe crecer desde la comprensión.
El panorama general
- Dehaene, S. (1997/2011). The Number Sense: How the Mind Creates Mathematics. Oxford University Press. — la ciencia cognitiva de cómo los cerebros realmente hacen aritmética; muy legible para adultos que reaprenden matemáticas.
- Van de Walle, J. A., Karp, K. S., & Bay-Williams, J. M. Elementary and Middle School Mathematics: Teaching Developmentally. (varias ediciones, Pearson). — el manual estándar de formación de docentes; los capítulos sobre cálculo con números enteros cubren tanto las estrategias inventadas como las estándar.
- Verschaffel, L., Greer, B., & De Corte, E. (2007). Whole number concepts and operations. En F. K. Lester (Ed.), Second Handbook of Research on Mathematics Teaching and Learning (pp. 557–628). IAP. — el estudio enciclopédico de la investigación sobre la enseñanza de la aritmética.
Las matemáticas se encuentran con la computación (citado en nuestras páginas temáticas)
- Rivest, R. L., Shamir, A., & Adleman, L. (1978). A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM, 21(2), 120–126. doi:10.1145/359340.359342 — citado en factores y primos.
- Agrawal, M., Kayal, N., & Saxena, N. (2004). PRIMES is in P. Annals of Mathematics, 160(2), 781–793. doi:10.4007/annals.2004.160.781 — citado en factores y primos.
- Goldberg, D. (1991). What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1), 5–48. doi:10.1145/103162.103163 — citado en decimales y porcentajes y matemáticas en la computación.
- IEEE (2019). IEEE Standard for Floating-Point Arithmetic (IEEE 754-2019). doi:10.1109/IEEESTD.2019.8766229 — citado en matemáticas en la computación.
- Shannon, C. E. (1948). A mathematical theory of communication. Bell System Technical Journal, 27(3–4). doi:10.1002/j.1538-7305.1948.tb01338.x — citado en valor posicional y matemáticas en la computación.
- Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3), 33–35. doi:10.1145/1118178.1118215 — citado en matemáticas en la computación.
- Bryan, K., & Leise, T. (2006). The $25,000,000,000 eigenvector: the linear algebra behind Google. SIAM Review, 48(3), 569–581. doi:10.1137/050623280 — citado en datos y gráficas.
- Donoho, D. (2017). 50 years of data science. Journal of Computational and Graphical Statistics, 26(4), 745–766. doi:10.1080/10618600.2017.1384734 · arXiv:1512.04886 — citado en datos y gráficas.
- Thurston, W. P. (1994). On proof and progress in mathematics. Bulletin of the AMS, 30(2), 161–177. arXiv:math/9404236 · doi:10.1090/S0273-0979-1994-00502-6 — citado en problemas de enunciado.
- Tao, T. (2007). What is good mathematics? Bulletin of the AMS, 44(4), 623–634. arXiv:math/0702396 · doi:10.1090/S0273-0979-07-01168-8 · MathSciNet: MR2338369 — citado en orden de las operaciones.
- Siegler, R. S., et al. (2012). Early predictors of high school mathematics achievement. Psychological Science, 23(7), 691–697. doi:10.1177/0956797612440101 — citado en fracciones.
- BIPM (2019). The International System of Units (SI Brochure), 9th ed. Bureau International des Poids et Mesures. bipm.org/en/publications/si-brochure — citado en notación científica.
- Thompson, A., & Taylor, B. N. (2008). Guide for the Use of the International System of Units (NIST SP 811). nist.gov/pml/special-publication-811 — citado en notación científica y medida.
- Hefendehl-Hebeker, L. (1991). Negative numbers: Obstacles in their evolution from intuitive to intellectual constructs. For the Learning of Mathematics, 11(1), 26–32. — citado en números negativos.
- Mahajan, S. (2010). Street-Fighting Mathematics. MIT Press. gratis vía MIT Press — citado en estimación y medida.
- Pólya, G. (1945/2004). How to Solve It. Princeton University Press. — citado en problemas de enunciado.
- Schoenfeld, A. H. (1985). Mathematical Problem Solving. Academic Press. — citado en problemas de enunciado.
Cálculo lambda y computabilidad
- Church, A. (1936). An unsolvable problem of elementary number theory. American Journal of Mathematics, 58(2), 345–363. doi:10.2307/2371045 — el artículo que definió la λ-definibilidad y probó que el Entscheidungsproblem era irresoluble. Citado en cálculo lambda.
- Church, A. (1941). The Calculi of Lambda-Conversion. Princeton University Press. — el propio tratado de Church: riguroso, denso y la fuente primaria de la notación que usamos. Citado en sintaxis lambda.
- Turing, A. M. (1936–7). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2-42(1), 230–265. doi:10.1112/plms/s2-42.1.230 — la contraparte de las máquinas; el apéndice de Turing prueba que sus máquinas son equivalentes a la λ-definibilidad de Church. Citado en cálculo lambda.
- Church, A., & Rosser, J. B. (1936). Some properties of conversion. Transactions of the AMS, 39(3), 472–482. doi:10.2307/1989762 — el teorema de Church–Rosser: el orden de reducción no puede cambiar la respuesta final. Citado en beta reducción.
- Barendregt, H. P. (1984). The Lambda Calculus: Its Syntax and Semantics. North-Holland. — la referencia académica estándar; adónde ir cuando se agote nuestro recorrido amable. Citado en recursión y Y.
- Curry, H. B., & Feys, R. (1958). Combinatory Logic, Vol. I. North-Holland. — el sistema compañero sin variables (combinadores S, K, I) junto al cual creció el cálculo λ. Citado en sintaxis lambda.