As part of a project to make mathematics machine-readable, mathematicians have discovered an error in an important proof.

In an ironic twist, a team of scientists have used cold hard logic to disprove the existence ... the Vulcan homeworld orbits in Star Trek lore. Proof of the planet’s existence came in the ...

I anticipate this approach resonating with students. Fuchs' Chapter 3, which introduces logic and proof strategies, is the most usable presentation of the material I have seen or used. The practice of ...