Andy Ellis
@csoandy
PSA: The difference in prep time for an hour podcast/chat on a topic I know well, and an hour structured talk with slides on a topic I know well but don’t have a hip pocket slide deck is about 100 hours.
I can’t express it as a ratio because division by zero is hard.
午前4:56 · 2020年1月30日·Tweetbot for Mac
1
件のリツイート
7
件のいいね
Brian Sniffen
@BrianSniffen
·
1月30日
返信先:
@csoandy
さん
Would the chats go better with a few hours of background research on the interviewer, conducted by one of your staff and provided as a four page summary?
Andy Ellis
@csoandy
·
1月30日
For many of the chats, I do actually get that; PR does that research if it’s a reporter. And those do help at the margin.https://twitter.com/csoandy/status/1222609504665247750
カテゴリ：カテゴリ未分類
\documentclass[12pt]{article}
\usepackage{latexsym,amsmath,amssymb,amsfonts,amstext,amsthm}
\numberwithin{equation}{section}
\begin{document}
\title{\bf Announcement 478: Who did derive first 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? \\
(2019.3.4)}
\author{{\it Institute of Reproducing Kernels}\\
Kawauchi-cho, 5-1648-16,\\
Kiryu 376-0041, Japan\\
{\bf saburou.saitoh@gmail.com}\\
}
\date{\today}
\maketitle
The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus and declares that the division by zero was discovered as $0/0=1/0=z/0=0$ {\bf in a natural sense} on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotele (BC384 – BC322) and Euclid (BC 3 Century – ), and the division by zero is since Brahmagupta (598 – 668 ?).
For the details, see the references.
A simple and essential introduction of the division by zero is given by the {\bf division by zero calculus}:
For any Laurent expansion around $z=a$,
\begin{equation} \label{dvc5.1}
f(z) = \sum_{n=-\infty}^{-1} C_n (z – a)^n + C_0 + \sum_{n=1}^{\infty} C_n (z – a)^n,
\end{equation}
we define
\begin{equation}\label{dvc5.2}
f(a) = C_0,
\end{equation}
as a value of the function $f$ at the singular point $z=a$.
For the importance of this definition, the division by zero calculus may be considered as a new axiom. This was discovered on May 8, 2014.
In particular, for the function $W= f(z) =1/z$, we have $f(0)=0$. We will write this result as
$$
\frac{1}{0}=0,
$$
from the form.
Here, the definition of $\frac{1}{0}$ is given by this sense by means of the division by zero calculus. Of course, $\frac{1}{0}$ is not a usual sense that $\frac{1}{0} =X$ if and only if $1=0 \times X$; this means a contradiction. See \cite{saitohzi} for the details.
On February 16, 2019 Professor H. Okumura introduced the surprising news in Research Gate:
\medskip
José Manuel Rodríguez Caballero\\
Added an answer\\
In the proof assistant Isabelle/HOL we have $x/0 = 0$ for each number $x$. This is advantageous in order to simplify the proofs. You can download this proof assistant here: {\bf https://isabelle.in.tum.de/}.
\medskip
J.M.R. Caballero kindly showed surprisingly several examples by the system that
$$
\tan \frac{\pi}{2} =0,
$$
$$
\log 0 =0,
$$
$$
\exp \frac{1}{x} (x=0) =1,
$$
and others. Precisely:
\medskip
Dear Saitoh,
In Isabelle/HOL, we can define and redefine every function in different ways. So, logarithm of zero depend upon our definition. The best definition is the one which simplify the proofs the most. According to the experts, z/0 = 0 is the best definition for division by zero.
$$
\tan(\pi/2) = 0
$$
$$
\log 0 =
$$
is undefined (but we can redefine it as $0$)
$$
e ^0 = 1
$$
(but we can redefine it as $0$)
$$
0^0= 1
$$
(but we can redefine it as $0$).
In the attached file you will find some versions of logarithms and exponentials satisfying different properties. This file can be opened with the software Isabelle/HOL from this webpage: https://isabelle.in.tum.de/
Kind Regards,
José M.
(2017.2.17.11:09).
\medskip
At 2019.3.4.18:04 for my short question, we received:
\medskip
It is as it was programmed by the HOL team.
Jose M.
On Mar 4, 2019, Saburou Saitoh wrote:
Dear José M.
I have the short question.
For your outputs for the division by zero calculus, for the input, is it some direct or do you need some program???
With best regards,
Sincerely yours,
Saburou Saitoh
2019.3.4.18:00
\medskip
As we stated in \cite{os1811}, the important point in the division by zero problem is on its definition (meaning of division.), because in the usual sense, we can not consider the division by zero.
L. C. Paulson stated that I would guess that Isabelle has used this {\bf convention} $1/0=0$ since the 1980s and introduced his book \cite{npw} referred to this fact.
However, in his group the importance of this fact seems to be entirely ignored at this moment as we see from the book.
The result $1/0=0$ has a long tradition of Isabelle, however, the result has not been accepted by the world.
Indeed, S. K. Sen and R. P. Agarwal \cite{sa16} referred to the paper \cite{kmsy} in connection with division by zero, however, their understandings on the paper seem to be not suitable (not right) and their ideas on the division by zero seem to be traditional, indeed, they stated as a conclusion of the introduction of the book that:
\medskip
{\bf “Thou shalt not divide by zero” remains valid eternally.}
\medskip
However, in \cite{saitohpo} we stated simply based on the division by zero calculus that
\medskip
{\bf We Can Divide the Numbers and Analytic Functions by Zero with a Natural Sense.}
\medskip
In these situations, the results of J.M.R. Caballero will be very interested. For some precise information, we would like to ask for the question that
\medskip
{\bf Who did derive first 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? }
\medskip
If it is possible, we would like to know the related details.
\bibliographystyle{plain}
\begin{thebibliography}{10}
\bibitem{boyer}
C. B. Boyer, An early reference to division by zero, The Journal of the American Mathematical Monthly, {\bf 50} (1943), (8), 487- 491. Retrieved March 6, 2018, from the JSTOR database.
\bibitem{kmsy}
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on $100/0=0$ and on $0/0=0$,
Int. J. Appl. Math. {\bf 27} (2014), no 2, pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
\bibitem{ms16}
T. Matsuura and S. Saitoh,
Matrices and division by zero $z/0=0$,
Advances in Linear Algebra \& Matrix Theory, {\bf 6}(2016), 51-58
Published Online June 2016 in SciRes. http://www.scirp.org/journal/alamt
\\ http://dx.doi.org/10.4236/alamt.2016.62007.
\bibitem{mms18}
T. Matsuura, H. Michiwaki and S. Saitoh,
$\log 0= \log \infty =0$ and applications. Differential and Difference Equations with Applications. Springer Proceedings in Mathematics \& Statistics. {\bf 230} (2018), 293-305.
\bibitem{msy}
H. Michiwaki, S. Saitoh and M.Yamada,
Reality of the division by zero $z/0=0$. IJAPM International J. of Applied Physics and Math. {\bf 6}(2015), 1–8. http://www.ijapm.org/show-63-504-1.html
\bibitem{mos}
H. Michiwaki, H. Okumura and S. Saitoh,
Division by Zero $z/0 = 0$ in Euclidean Spaces,
International Journal of Mathematics and Computation, {\bf 2}8(2017); Issue 1, 1-16.
\bibitem{npw}
T. Nipkow, L. C. Paulson and M. Wenzel, Isabelle/HOL
A Proof Assistant for Higher-Order Logic,
Lecture Notes in Computer Science, Springer E E002 E E.
\bibitem{osm}
H. Okumura, S. Saitoh and T. Matsuura, Relations of $0$ and $\infty$,
Journal of Technology and Social Science (JTSS), {\bf 1}(2017), 70-77.
\bibitem{os}
H. Okumura and S. Saitoh, The Descartes circles theorem and division by zero calculus. https://arxiv.org/abs/1711.04961 (2017.11.14).
\bibitem{o}
H. Okumura, Wasan geometry with the division by 0. https://arxiv.org/abs/1711.06947 International Journal of Geometry. {\bf 7}(2018), No. 1, 17-20.
\bibitem{os18april}
H. Okumura and S. Saitoh,
Harmonic Mean and Division by Zero,
Dedicated to Professor Josip Pe\v{c}ari\'{c} on the occasion of his 70th birthday, Forum Geometricorum, {\bf 18} (2018), 155—159.
\bibitem{os18}
H. Okumura and S. Saitoh,
Remarks for The Twin Circles of Archimedes in a Skewed Arbelos by H. Okumura and M. Watanabe, Forum Geometricorum, {\bf 18}(2018), 97-100.
\bibitem{os18e}
H. Okumura and S. Saitoh,
Applications of the division by zero calculus to Wasan geometry.
GLOBAL JOURNAL OF ADVANCED RESEARCH ON CLASSICAL AND MODERN GEOMETRIES” (GJARCMG), {\bf 7}(2018), 2, 44–49.
\bibitem{os1811}
H. Okumura and S. Saitoh,
Wasan Geometry and Division by Zero Calculus,
Sangaku Journal of Mathematics (SJM), {\bf 2 }(2018), 57–73.
\bibitem{ps18}
S. Pinelas and S. Saitoh,
Division by zero calculus and differential equations. Differential and Difference Equations with Applications. Springer Proceedings in Mathematics \& Statistics. {\bf 230} (2018), 399-418.
\bibitem{romig}
H. G. Romig, Discussions: Early History of Division by Zero,
American Mathematical Monthly, {\bf 3}1, No. 8. (Oct., 1924), 387-389.
\bibitem{s14}
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra \& Matrix Theory. {\bf 4} (2014), no. 2, 87–95. http://www.scirp.org/journal/ALAMT/
\bibitem{s16}
S. Saitoh, A reproducing kernel theory with some general applications,
Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and Applications – Plenary Lectures: Isaac 2015, Macau, China, Springer Proceedings in Mathematics and Statistics, {\bf 177}(2016), 151-182.
\bibitem{s17}
S. Saitoh, Mysterious Properties of the Point at Infinity, arXiv:1712.09467 [math.GM](2017.12.17).
\bibitem{saitohpo}
S. Saitoh, We Can Divide the Numbers and Analytic Functions by Zero with a Natural Sense, viXra:1902.0058 submitted on 2019-02-03 22:47:53.
\bibitem{saitohzi}
S. Saitoh, Zero and Infinity; Their Interrelation by Means of Division by Zero,
viXra:1902.0240 submitted on 2019-02-13 22:57:25.
\bibitem{sa16}
S.K.S. Sen and R. P. Agarwal, ZERO A Landmark Discovery, the Dreadful Volid, and the Unitimate Mind, ELSEVIER (2016).
\bibitem{ttk}
S.-E. Takahasi, M. Tsukada and Y. Kobayashi, Classification of continuous fractional binary operations on the real and complex fields, Tokyo Journal of Mathematics, {\bf 38}(2015), no. 2, 369-380.
\bibitem{ann179}
Announcement 179 (2014.8.30): Division by zero is clear as z/0=0 and it is fundamental in mathematics.
\bibitem{ann185}
Announcement 185 (2014.10.22): The importance of the division by zero $z/0=0$.
\bibitem{ann237}
Announcement 237 (2015.6.18): A reality of the division by zero $z/0=0$ by geometrical optics.
\bibitem{ann246}
Announcement 246 (2015.9.17): An interpretation of the division by zero $1/0=0$ by the gradients of lines.
\bibitem{ann247}
Announcement 247 (2015.9.22): The gradient of y-axis is zero and $\tan (\pi/2) =0$ by the division by zero $1/0=0$.
\bibitem{ann250}
Announcement 250 (2015.10.20): What are numbers? – the Yamada field containing the division by zero $z/0=0$.
\bibitem{ann252}
Announcement 252 (2015.11.1): Circles and
curvature – an interpretation by Mr.
Hiroshi Michiwaki of the division by
zero $r/0 = 0$.
\bibitem{ann281}
Announcement 281 (2016.2.1): The importance of the division by zero $z/0=0$.
\bibitem{ann282}
Announcement 282 (2016.2.2): The Division by Zero $z/0=0$ on the Second Birthday.
\bibitem{ann293}
Announcement 293 (2016.3.27): Parallel lines on the Euclidean plane from the viewpoint of division by zero 1/0=0.
\bibitem{ann300}
Announcement 300 (2016.05.22): New challenges on the division by zero z/0=0.
\bibitem{ann326}
Announcement 326 (2016.10.17): The division by zero z/0=0 – its impact to human beings through education and research.
\bibitem{ann352}
Announcement 352(2017.2.2): On the third birthday of the division by zero z/0=0.
\bibitem{ann354}
Announcement 354(2017.2.8): What are $n = 2,1,0$ regular polygons inscribed in a disc? — relations of $0$ and infinity.
\bibitem{362}
Announcement 362(2017.5.5): Discovery of the division by zero as $0/0=1/0=z/0=0$
\bibitem{380}
Announcement 380 (2017.8.21): What is the zero?
\bibitem{388}
Announcement 388(2017.10.29): Information and ideas on zero and division by zero (a project).
\bibitem{409}
Announcement 409 (2018.1.29.): Various Publication Projects on the Division by Zero.
\bibitem{410}
Announcement 410 (2018.1 30.): What is mathematics? — beyond logic; for great challengers on the division by zero.
\bibitem{412}
Announcement 412(2018.2.2.): The 4th birthday of the division by zero $z/0=0$.
\bibitem{433}
Announcement 433(2018.7.16.): Puha’s Horn Torus Model for the Riemann Sphere From the Viewpoint of Division by Zero.
\bibitem{448}
Announcement 448(2018.8.20): Division by Zero;
Funny History and New World.
\bibitem{454}
Announcement 454(2018.9.29): The International Conference on Applied Physics and Mathematics, Tokyo, Japan, October 22-23.
\bibitem{460}
Announcement 460(2018.11.06): Change the Poor Idea to the Definite Results For the Division by Zero – For the Leading Mathematicians.
\bibitem{461}
Announcement 461(2018.11.10): An essence of division by zero and a new axiom.
\bibitem{471}
Announcement 471(2019.2.2): The 5th birthday of the division by zero $z/0=0$.
\end{thebibliography}
\end{document}
2019.3.4.
ゼロ除算（division by zero）1/0=0/0=z/0= tan (pi/2)=0
rkernel 
コメントを残す