What began as a bonus question in a high school math contest has resulted in a staggering 10 new ways to prove the ancient mathematical rule of Pythagoras' theorem. "There are no trigonometric proofs ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 81, No. 1 (Oct., 2005), pp. 43-59 (17 pages) The Lambek calculus introduced in Lambek [6] is a strengthening of the type reduction ...

The Mathematical Gazette is the original journal of the Mathematical Association and it is now over a century old. Its readership is a mixture of school teachers, college and university lecturers, ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...