Improving Embedded Systems Code Quality Using Static ... Embedded Computing Design-3 時間前
Improving Embedded Systems Code Quality Using Static ...
Embedded Computing Design-3 時間前
Division by the radiation rate which in some cases lead to the division by zero error and a corresponding increase in radiation rate to the maximum possible one. · Boolean (one-byte) variable setting in 'true' value was done ...
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? \\ (
カテゴリ：カテゴリ未分類
\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 [email protected]}\\
}
\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. https://www.scirp.org/journal/alamt
\\ https://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. https://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. https://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
#4
#0
#tangent二分のパイはゼロ
#5年目を超えたゼロ除算の発見と重要性を指摘した
#欧米は0を忌み避け嫌っている
#2014年2月2日ゼロ除算発見記念日
#0割る0は0ブラーマグプタはできていた
#座標
#Descartes
#1割る0は0はブラーマグプタは分からなかった
#Descartes負の数を悪魔
#数学者でも
#1割る0は0 0割る0は0再生核研究所
The Institute of Reproducing Kernels：再生核研究所
ysaitoh2019/11/24 15:51
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 in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotelēs (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta (598 - 668 ?).
Black holes are where God divided by 0
ゼロ除算（division by zero）1/0=0/0=z/0=\tan(\pi/2)=0、log0=0
#再生核研究所2014年2月2日ゼロ除算の発見と重要性を指摘した
#更新#2019年#再生核研究所ゼロ除算の発見#628年インドゼロ発見#2014年2月2日ゼロ除算の発見#2014年3月8日ゼロ除算算法の発見#ゼロ除算#令和革新ゼロ除算#2000年来の発見ゼロ除算再生核研究所ゼロ除算#新世界ゼロ除算
#更新
#2014年2月2日ゼロ除算の発見
#ブラックホールは神が0で割ったところにある
#再生核研究所ゼロ除算の発見
#2014
#2000年来の発見再生核研究所ゼロ除算
#令和革新ゼロ除算
#2000
#新世界ゼロ除算
#ゼロ除算算法
#2014年3月8日ゼロ除算算法
2014年3月8日ゼロ除算算法の発見
2014年2月2日ゼロ除算の発見 2000年来の発見ゼロ除算は ビッグバンとブラックホールと特異点 数学物理学天文学コンピュータサイエンス 2014年3月8日ゼロ除算算法の発見
JBDrakyll
I was bothered that we were calling division by zero undefined. No one told me we have a better answer. After drafting the paper, I was 100% sure I'll open a new chapter in mathematics or at least get a Fields Medal.
https://twitter.com/rakyll/status/1163381334015795200
#ゼロ除算#０÷０#2019年#÷0#1÷0#令和革新ゼロ除算#mathematics#ゼロ除算÷0#再生核研究所#更新
AD
CEO
5 年Ok
CEO
5 年Ok
CEO
5 年OK
CEO
5 年OK
CEO
5 年Ok