Professor Haines specializes in Algebra. Dr. Haines doctoral thesis is “Quasi-orthogonal Completeness in p-rings.” p- rings are generalizations of Boolean rings, used in logic, computer science, ...

Abstract: The paper is about formalization of Set Theory and Elementary Algebra theorems in mathematics and their proofs in a new programming language called LEAN 4 Theorem Prover. The paper describes ...

The incompleteness theorem is accepted as part of the mathematical canon today, but columnist Jacob Aron says it was a ...

Gear-obsessed editors choose every product we review. We may earn commission if you buy from a link. Why Trust Us? Here’s what you’ll learn when you read this story: Because our eyes perceive color ...

A 150-year-old geometry rule has been overturned after mathematicians found two different torus surfaces with identical ...

THERE are several parts of the science of physics which appear very simple when expounded briefly in elementary text-books, but nevertheless present great difficulties when examined more carefully. A ...

Since the launch of the Crossword in 1942, The Times has captivated solvers by providing engaging word and logic games. In 2014, we introduced the Mini Crossword — followed by Spelling Bee, Letter ...

Prime Video's Maa Ka Sum trailer shows a math prodigy who tries to solve love through logic, but emotions may have other plans. A math prodigy’s attempt to decode love using logic takes centre stage ...

This story about math standards was produced by The Hechinger Report, a nonprofit, independent news organization focused on inequality and innovation in education. Sign up for the Hechinger newsletter ...