Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ...

article by separate e-mail. However, please look this: [5] *viXra:1902.0240 <http://vixra.org/abs/1902.0240>* *submitted on 2019-02-13 22:57:25*, (0 unique-IP downloads) *Zero and Infinity; Their Interrelation by Means of Division by Zero* *Authors:* *Saburou Saitoh <http://vixra.o

[Hol-info] Division by zero, implimented?!

was implimented to the computer system already. If it is possible, I would like to refer to more details with precise information. Implimented?! With deep thanks, Sincerely yours, Saburou Saitoh 2019.3.3.11.02 ___ hol-info mailing list hol-info

[Hol-info] Question

Question: Who did derive the division by zero 1/0 and the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of a computer? Facts: On February 16, 2019 Professor H. Okumura introduced the surprising news in Research Gate: José Manuel Rodríguez Caballero\\ Added an answer\\

[Hol-info] division by zero

I know this interesting site. I would like to see any situation and suggestions on the division by zero. I attached our basic information: Please kindly give me your kind suggestions and comments. With best regards, Sincerely yours, Saburou Saitoh 2019.3.1.21:06 *José Manuel Rodríguez

Re: [Hol-info] HOL

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

Re: [Hol-info] Fwd: Is there any good web inteface for formally proven mathematical theorems that anyone can contribute to without manual proof review?

lculus and New World With best regards, Sincerely yours, Saburou Saitoh 2019.7.13.18:43 2019年7月13日(土) 16:46 Ciro Santilli : > Hi there, > > I'm looking, for fun, for a website that anyone can publish their > formal proofs to (HOL, Isabelle, Coq, etc.) > > The website would

Re: [Hol-info] ITP 2019: Final Call for Participation

:03:01*, Fundamental of Mathematics; Division by Zero Calculus and a New Axiom With best regards, Sincerely yours, Saburou Saitoh 2019.8.23.10:18 2019年8月23日(金) 9:13 O'Leary, John W : > FINAL CALL FOR PARTICIPATION > > ITP 2019 > > The Tenth International Conference on Interactive

Re: [Hol-info] 0 / 0 = 0 ???

Axiom ? It seems that the problem is very Fundamental for our Mathematics. With best regards, Sincerely yours, Saburou Saitoh 2019.8.9.21:08 2019年8月9日(金) 20:47 Chun Tian (binghe) : > A follow-up of this old topic: > > Finally I found the following definitions of `extreal_inv` and > `

Re: [Hol-info] 0 / 0 = 0 ???

<http://vixra.org/abs/1908.0100>* *submitted on 2019-08-06 20:03:01*, Fundamental of Mathematics; Division by Zero Calculus and a New Axiom With best regards, Sincerely yours, Saburou Saitoh 2019.8.10.9:25 2019年8月10日(土) 9:07 Norrish, Michael (Data61, Acton) < michael.norr...@data61

[Hol-info] Isabelle/HOL and Division by zero

=0 by Isabelle. 2) Why is it conventional? I think for the division by zero, the definition is very essential and important, because in the usual definition we have a contradiction, immediately. I feel that Isabelle/HOL creates many new worlds. With best regards, Sincerely your

[Hol-info] World Congress of Education 2021 (WCE-2021)

conference website via: *https://www.bitcongress.com/wce2021-Japan* <#inbox/_blank> Please kindly forward this announcement to persons who are interested in. Of course, all the decisions are under the organizing committe of the conference. With best regards, Sincerely yours, Saburou