Category Archives: Technology & Math

Machine-Checked Proof

“In my view, the choice between the conventional process by a human referee and computer verification is as evident as the choice between a sundial and an atomic clock in science.” – Tom Hales (from [4]) “The rapid advance of … Continue reading

Posted in Math, Technology & Math | Tagged , , , | Leave a comment

Shedding light on AI’s black boxes

A recent special issue in Science highlights the increasingly important role that artificial intelligence (AI) plays in science and society. Providing a small but compelling sample of the types of challenges AI is equipped to tackle—from aiding chemical synthesis efforts … Continue reading

Posted in Mathematics in Society, Statistics, Technology & Math | Tagged , , , , | Leave a comment

The Evolution of Navigating the Sea

Guest Author: Tyler Padera Have you ever been asked to hang out with a new friend, but maybe you didn’t know where they lived? Maybe you were going to an interview for your new job but needed directions. The solution … Continue reading

Posted in Math History, Mathematics in Society, Technology & Math | Tagged | Leave a comment

The Role of Generalization in Advanced Mathematical Thinking

Generalization and abstraction both play an important role in the minds of mathematics students as they study higher-level concepts. In the second chapter of the Springer book Advanced Mathematical Thinking, Tommy Dreyfus defines generalization as the derivation or induction from something particular to something … Continue reading

Posted in Advice, General, Math Education, Math Teaching, Teaching, Technology & Math | Tagged , , , | Leave a comment

Infinity Elephants and Gabriel’s Horn

Guest Author: Brian Hook Vi Hart’s Doodling in Math Class: Infinity Elephants is a fun little video that brushes over many mathematical concepts without getting bogged down in technical jargon. Vi, a prolific recreational mathematician who also contributes heavily to Khan Academy, … Continue reading

Posted in Math Education, Math Teaching, Mathematics Online, Technology & Math | 1 Comment