Some thoughts about mathematics as a cultural and social technology.
Why Math is an Art, Not a Science
Mathematics is usually classed with the sciences, both in official catalogs and in the popular imagination. People who are good at science…
zach lieberman on Twitter / X
Today I was able to weave a line from Myron Krueger in a talk I gave : Computation is the medium of our lifetimes - it’s not just a technical medium but a cultural medium as well. We should explore the culture of computation.— zach lieberman (@zachlieberman) April 10, 2024
Phillip M. Alday
I was a struggling mathematician, then a linguist and now a (cognitive) neuroscientist, but will probably always be a hacker. I also moonlight as an applied statistician. These are some of the things I’ve done along the way.
My Journey Back to Math: A Short Review of MathAcademy
Personal journey of rediscovering math through MathAcademy and learning in public
Artificial intelligence in mathematics education: The good, the bad, and the ugly
Integrating Artificial Intelligence [AI] into mathematics education offers promising advancements and potential pitfalls. Striking a balance between AI-driven developments and preserving core pedagogical principles is critical in the teaching and learning environment. AI has emerged as a transformative force in various fields, including education. In the realm of mathematics education, AI technologies offer a spectrum of potential benefits (including personalize instruction, adaptive assessment, interactive learning environments, and real-time feedback, among others) and challenges (such as lack of creativity and problem-solving skills, inability to explain reasoning, bias in data and algorithms, absence of emotional intelligence and data privacy and security concern etc). This conceptual study used autoethnography as the methodology and qualitative content approach to analyze data. The study discussed historical background of AI and considered ethical issues around AI. It was concluded that the journey to harness the full potential of AI in mathematics education requires careful navigation of the good, the bad, and the ugly aspects inherent in this technological evolution.
What it Means to Be a Mathematician When AI Does the Math
Researchers debate motivation, purpose, and the field’s future
Kill Math
The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.
A Fuller Statement About My Bluesky Posts
Let me paint a picture of what it was like to be a woman math major at the University of Chicago circa 2004.
Mathematics in type theory.
An explanation of how to set up mathematics using universes, types, and terms
Mathematics in the Library of Babel — Daniel Litt
Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mostly being stuck. It's about clinging to a giant edifice and feeling it out until you understand som
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
Thoughtful and relevant outside math. A partial summary: Gowers thinks it’s important to sustain a human mathematical culture, but is unconvinced by the Leiden Declaration’s attempt to do that by reaffirming human ownership of specific *discoveries*.
tachikoma
an interesting blog post by Timothy Gowers on the Leiden declaration (on AI and Math), on why he didn't sign. it gets to a subtler aspect of control over AI and our future.
