Conversation

Notices

1. 🎓 Dr. Freemo :jpf: 🇳🇱 (freemo@qoto.org)'s status on Tuesday, 10-Dec-2019 17:17:20 UTC 🎓 Dr. Freemo :jpf: 🇳🇱

   I am intrigues by mathematical facts that are very easy to know to be true instinctually or with a verbal explanation but are very difficult to write proofs for.

   A good example of this is the four color theorem.

   • 🎓 Dr. Freemo :jpf: 🇳🇱 (freemo@qoto.org)'s status on Tuesday, 10-Dec-2019 18:56:40 UTC 🎓 Dr. Freemo :jpf: 🇳🇱

     • Shibaprasad B :liverpoolfc:

     @shibaprasad yup

   • 🎓 Dr. Freemo :jpf: 🇳🇱 (freemo@qoto.org)'s status on Friday, 13-Dec-2019 09:33:44 UTC 🎓 Dr. Freemo :jpf: 🇳🇱

     • Zevahs

     @zevahs Its axiomatic not provable. We choose that particular convention simply because it is useful and ensures consistency with other patterns. See the exponent is a defined operator in principle we could define its behavior however we like, it just wont be too useful if we do.

   • 🎓 Dr. Freemo :jpf: 🇳🇱 (freemo@qoto.org)'s status on Friday, 13-Dec-2019 10:11:41 UTC 🎓 Dr. Freemo :jpf: 🇳🇱

     • Shibaprasad B :liverpoolfc:
     • Zevahs

     @shibaprasad
     Yes but my point is the property of exponents is an axiom, we define what an exponent is
     @zevahs

   • 🎓 Dr. Freemo :jpf: 🇳🇱 (freemo@qoto.org)'s status on Friday, 13-Dec-2019 10:12:37 UTC 🎓 Dr. Freemo :jpf: 🇳🇱

     • Shibaprasad B :liverpoolfc:
     • Zevahs

     @shibaprasad
     I was wrong though in aaying it isnt provable. Only that it is provable from the axioms
     @zevahs