• Journal of Educational Research in Mathematics
• /
• v.24 no.4
• /
• pp.595-605
• /
• 2014

Infinite decimals have an infinite number of digits, chosen arbitrary and independently, to the right side of the decimal point. Since infinite decimals are ambiguous numbers impossible to write them down completely, the infinite decimal representation accompanies unavoidable opaqueness. This article focused the transparent aspect of infinite decimal representation with respect to the completeness axiom of real numbers. Long before the formalization of real number concept in $19^{th}$ century, many mathematicians were able to deal with real numbers relying on this transparency of infinite decimal representations. This analysis will contribute to overcome the double discontinuity caused by the different conceptualizations of real numbers in school and academic mathematics.

• Journal for History of Mathematics
• /
• v.17 no.1
• /
• pp.53-60
• /
• 2004

In this paper, we analyse several number theoretical proofs of the irrationality of $\sqrt{2}$ and reveal that these proofs are implied by The Completeness Axiom of the real number system.

• East Asian mathematical journal
• /
• v.26 no.4
• /
• pp.581-597
• /
• 2010

In this paper, the author focuses on the teaching-level and learning-level of the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics, which is usually introduced in the class of real analysis of university mathematics. Firstly the author considers the properties of the completeness axiom and its 19 equivalent theorems, next he deals with its importances in the school mathematics and finally he suggests the teaching and learning of the concepts on the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics.

• East Asian mathematical journal
• /
• v.27 no.4
• /
• pp.381-389
• /
• 2011

The flexible mathematical thinking - the ability to generate and connect various representations of concepts - is useful in understanding mathematical structure and variation in problem solving. In particular, the flexible mathematical thinking with the inventive mathematical thinking, the original mathematical problem solving ability and the mathematical invention is a core concept, which must be emphasized in all branches of mathematical education. In this paper, the author considered a case of flexible mathematical thinking with an inventive problem solving ability shown by his student via real analysis courses. The case is on the proofs of the equivalences of three different definitions on the concept of limit superior shown in three different real analysis books. Proving the equivalences of the three definitions, the student tried to keep the flexible mathematical thinking steadily.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Journal of Educational Research in Mathematics
• /
• v.25 no.3
• /
• pp.263-279
• /
• 2015

The introduction of real numbers is one of the most difficult steps in the teaching of school mathematics since the mathematical justification of the extension from rational to real numbers requires the completeness property. The author elucidated what questions about real numbers can be unanswered as the "institutional didactic void" in school mathematics defining real numbers as the union of the rational and irrational numbers. The pre-service teachers' explanations on the extension from rational to real numbers and the raison d'$\hat{e}$tre of arbitrary non-recurring decimals showed the superficial and fragmentary understanding of real numbers. Connecting school mathematics to university mathematics via the didactic void, the author discussed how pre-service teachers could break the illusion of transparency about the real number.

• Communications of Mathematical Education
• /
• v.22 no.4
• /
• pp.471-487
• /
• 2008

Inventive mathematical thinking, original mathematical problem solving ability, mathematical invention and so on are core concepts, which must be emphasized in all branches of mathematical education. In particular, Polya(1981) insisted that inventive thinking must be emphasized in a suitable level of university mathematical courses. In this paper, the author considered two cases of inventive problem solving ability shown by his many students via real analysis courses. The first case is about the proof of the problem "what is the derived set of the integers Z?" Nearly all books on mathematical analysis sent the question without the proof but some books said that the answer is "empty". Only one book written by Noh, Y. S.(2006) showed the proof by using the definition of accumulation points. But the proof process has some mistakes. But our student Kang, D. S. showed the perfect proof by using The Completeness Axiom, which is very useful in mathematical analysis. The second case is to show the infinite countability of NxN, which is shown by informal proof in many mathematical analysis books with formal proofs. Some students who argued the informal proof as an unreasonable proof were asked to join with us in finding the one-to-one correspondences between NxN and N. Many students worked hard and find two singled-valued mappings and one set-valued mapping covering eight diagrams in the paper. The problems are not easy and the proofs are a little complicated. All the proofs shown in this paper are original and right, so the proofs are deserving of inventive mathematical thoughts, original mathematical problem solving abilities and mathematical inventions. From the inventive proofs of his students, the author confirmed that any students can develope their mathematical abilities by their professors' encouragements.