# Re: [Hol-info] HOL

```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
```