• Journal for History of Mathematics
• /
• v.21 no.3
• /
• pp.143-156
• /
• 2008

In this study, we divided the teaching and learning of proof into three steps in the demonstrative geometry of the middle school mathematics. And then we surveyed the student's difficulties in the teaching and learning of proof by using of questionnaire. Results of this survey suggest that students cannot only understand the meaning of proof in the teaching and learning of proof but also they cannot deduce simple mathematical reasoning as judgement for the truth of propositions. Moreover, they cannot follow the hypothesis to a conclusion of the proposition It results from the fact that students cannot understand clearly the meaning and the role of hypotheses and conclusions of propositions. So we need to focus more on teaching students about the meaning and role of hypotheses and conclusions of propositions.

• Journal for History of Mathematics
• /
• v.23 no.1
• /
• pp.79-88
• /
• 2010

G$\ddot{o}$del's proof attempts to establish the existence of God by the definition that God is a being having all positive properties. The proof uses here second order modal logic system $S_5$ with the axiom ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$. We review the G$\ddot{o}$del's own version and prove his ontological theorems.

• Kyungpook Mathematical Journal
• /
• v.25 no.2
• /
• pp.93-96
• /
• 1985

• Kyungpook Mathematical Journal
• /
• v.8 no.2
• /
• pp.63-64
• /
• 1968

• Journal of the Chungcheong Mathematical Society
• /
• v.15 no.2
• /
• pp.25-34
• /
• 2003

We prove a local unique continuation for Schr$\ddot{o}$dinger equations with time independent coefficients. The method of proof combines a technique of Fourier-Gauss transformation and a Carleman inequality for parabolic operator.

• Honam Mathematical Journal
• /
• v.30 no.2
• /
• pp.363-368
• /
• 2008

In this paper, we find some properties of multiplication modules and give an alternative proof of a Theorem of P.F. Smith.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.1
• /
• pp.65-70
• /
• 2000

The purpose of this paper is to apply the extremal length to conformal mappings. We drive an interesting formula of Gr$\ddot{o}$tzsch by an alternative simple method.

• Journal of the Chungcheong Mathematical Society
• /
• v.10 no.1
• /
• pp.87-95
• /
• 1997

In general, the positive solution to biological reaction-diffusion equations is not unique. In this paper, we state the sufficient and necessary conditions of the existence of positive solutions, and give and the proof for the uniqueness of positive solutions for a certain elliptic interacting system.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.3
• /
• pp.455-462
• /
• 2012

The purpose of this paper is to show that the coset bound can be used to prove the floor bound. Our proof provides a natural relation between the floor bound and the order bound.

• Communications of the Korean Mathematical Society
• /
• v.11 no.4
• /
• pp.1061-1066
• /
• 1996

We will give an example which is a normal Hausdorff countable dense homogeneous space but not a densely homogeneous space. Next, we will give a proof for the fact that every nondegenerate component of densely homogenous spaces is open and densely homogeneous.