Basics

Did Turing prove the undecidability of the halting problem?

Joel David Hamkins and Theodor Nenu, “Did Turing prove the undecidability of the halting problem?”, 18 pages, 2024, Mathematics arXiv:2407.00680. Abstract. We discuss the...
Basics

Did Turing prove the undecidability of the halting problem?

Joel David Hamkins and Theodor Nenu, “Did Turing prove the undecidability of the halting problem?”, 18 pages, 2024, Mathematics arXiv:2407.00680. Abstract. We discuss the...

Enhancing Geometry Skills Working with Angles Color by Number

 Are you searching for a fun and effective way to reinforce special angle relationships in your geometry lessons?  Look no further...I'm thrilled to introduce...

How the continuum hypothesis could have been a fundamental axiom

Joel David Hamkins, “How the continuum hypothesis could have been a fundamental axiom,” Journal for the Philosophy of Mathematics (2024), DOI:10.36253/jpm-2936, arxiv:2407.02463. Abstract. I...

Double Maths First Thing: Issue A

Double Maths First Thing is where there area 10 kinds of people: those who understand hexadecimal, and F others. Hello! My name is Colin and...

Boost Critical Thinking Skills in Algebra Class – Use Logic Puzzles

In today's fast-paced and technology-driven world, developing critical thinking skills is more important than ever. As educators, we strive to provide engaging and effective...

Infinite-time computable analogues of the universal algorithm, Generalized Computability Theory Workshop, Spain, August 2024

This will be a talk at the Generalized Computability Theory workshop in Castro Urdiales, Spain, a beautiful setting on the sea near Bilbao, 19-23...

Measuring Mass & Weight in 3rd Grade

Young children experience the measurable attribute of mass and weight as “heavy” or “light.” Learning how to measure in standard units in the 3rd...

First Day of School Digital Escape Room

I recently learned about using google forms to make an escape room.  I thought I'd give it a try on the first day of...

The covering reflection theorem, Madison Logic Seminar, October 2024

This will be a talk at the UW Madison Logic Seminar on 22 October 2024. Abstract. The principle of covering reflection holds of a...

Compose & Decompose 4-Digit Numbers in 3rd Grade

We have a base-10 number system. That means we can use 9 digits plus place-holder zeros to represent any quantity. In standard form, numbers...