Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent.

STEP 1 - RIGHT TRIANGLE x 4: Take one piece of card and fold it in half, then fold it in half again... Image caption, ... use the ruler and pencil to draw a straight line across the bottom corner of ...

Talia Ringer is in the Siebel School of Computing and Data Science, University of Illinois at Urbana–Champaign, Urbana, Illinois, 61801, USA. Read the paper: Olympiad-level formal mathematical ...