Category:Named Theorems/Clavius

From ProofWiki
Jump to navigation Jump to search

This category contains results named for Christopher Clavius.

German jesuit and logician.

Best known for:

  • Clavius's Law (also written as Clavius' Law), otherwise known as the Consequentia Mirabilis, which states that if by assuming the negation of a proposition you can prove its truth, then that proposition is true.
  • Being instrumental in the development of the Gregorian calendar.
  • Writing highly-acclaimed and well-received text-books.

Pages in category "Named Theorems/Clavius"

This category contains only the following page.