Dalibor Černocký

111 days ago

Can computers prove theorems?

Can computers prove theorems?

chalkdustmagazine.com

How do we prove that $2 + 2 = 4$? At school, this might have been taught to you in the following way. You were given a box of little plastic cubes, two cubes were put in one of your hands and then two more cubes in the other, and you were challenged to count how many cubes you had in total.