Important Notice: Our web hosting provider recently started charging us for additional visits, which was unexpected. In response, we're seeking donations. Depending on the situation, we may explore different monetization options for our Community and Expert Contributors. It's crucial to provide more returns for their expertise and offer more Expert Validated Answers or AI Validated Answers. Learn more about our hosting issue here.

WHAT KIND OF THEOREM DOES THEORYMINE DISCOVER?

April 26, 2017discover Theorem

0

Posted

WHAT KIND OF THEOREM DOES THEORYMINE DISCOVER?

1 Answer

0

Posted

TheoryMine proves properties of functions. For instance, when it comes to addition, it does not matter in which order the numbers are added: 2+3 is equal to 3+2, whereas when it comes to subtraction it does: 2-3 is not equal to 3-2. TheoryMine might discover that some of its functions are like addition; giving equal answers whatever the order of the objects to which they are applied. Some functions are inverses of each other, e.g. addition and subtraction: adding a number and then subtracting it, brings you back to where you started. TheoryMine might also discover that some of its new functions are also inverses. The theorems discovered by TheoryMine typically take this simple form. Click here to view an example of a theorem and a detailed explanation.