Open problems
Questions Dear Jose M: In addition: We have many and may problems, for example, could you derive the values of the Gamma function at the singular points? With best, SS 2019.3.20.10:35 Dear Jose M. I was able to know some about Isabelle HO/L from my colleague who knows some. I am very interested in why you was able to derive many results about the division by zero calculus. Why you was able to derive many results? Your results may be historical as I stated. We have many and many problems for the division by zero calculus results. So, I am very interested in the details. With deep thanks, Sincerely yours, Saburou Saitoh 2019.3.20.8:40 Dear Saitoh, The system Isabelle/HOL uses that x/0 = 0 for all x. HOL stands for Higher Order Logic. So, the higher order logic agrees with your definition of division by zero. https://en.wikipedia.org/wiki/HOL_(proof_assistant) Kind Regards, Jose M. 2019年3月20日(水) 7:08 Saburou Saitoh <saburou.sai...@gmail.com>: > Dear Jose M. > > I was able to know some about Isabelle HO/L from my colleague who knows > some. > > I am very interested in why you was able to derive many results about the > division by zero calculus. > > Why you was able to derive many results? > Your results may be historical as I stated. > We have many and many problems for the division by zero calculus results. > > So, I am very interested in the details. > > I missed one sheet as in the attached way. > > With deep thanks, > Sincerely yours, > > Saburou Saitoh > 2019.3.20.8:40 > > > 2019年3月20日(水) 8:20 Jose Manuel Rodriguez Caballero < > jose.manuel.rodriguez.caball...@ut.ee>: > >> Dear Saitoh, >> The system Isabelle/HOL uses that x/0 = 0 for all x. HOL stands for >> Higher Order Logic. So, the higher order logic agrees with your definition >> of division by zero. >> >> https://en.wikipedia.org/wiki/HOL_(proof_assistant) >> >> Kind Regards, >> Jose M. >> >>
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
