• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.417-446
• /
• 2019

The operation theory of the Wittgenstein's Tractatus Logico-Philosophicus is the essential basis of the philosophy of mathematics of the Tractatus. Wittgenstein presents the definition of cardinal numbers on the basis of operation theory, and suggests the proof of "$2{\times}2=4$" by using the theory of operations in 6.241. Therefore, in order to explicate correctly the philosophy of mathematics, it is required to understand rigorously the theory of operations in the Tractatus. Accordingly in this paper, I will endeavor to explicate operation theory of the Tractatus as a preliminary study for explicating the philosophy of mathematics of the Tractatus. In this process, we can ascertain Frascolla's important contributions and fallacies in his reconstruction of 6.241. In particular, we can understand the background that in 6.241 Wittgenstein made mistakes and that there he dealt with the addition operation of the theory of operations, and on the basis of this, we can reconstruct correctly 6.241.

• Journal of The Korean Association of Information Education
• /
• v.15 no.3
• /
• pp.439-447
• /
• 2011

In this paper, we developed the application for measure an area that it compute a space coordinate of real object to represent through a camera by using the Orientation sensor of smart devices. The application will help to solve a problems of an epistemological obstacles in an area learning. We conducted an expert evaluation for the application of educative usability, educative effect and etc.. The expert group was comprised of elementary school teacher who teach curriculum of an area in mathematics. In result, it was positively evaluated in terms of educative usability.

• The Mathematical Education
• /
• v.32 no.3
• /
• pp.244-255
• /
• 1993

본 연구를 수행하게된 동기는 1994년부터 미국에서 S.A.T.를 개정하고, 한국에서는 대학 수학 능력 시험 제도라는 새로운 제도가 도입되는 것에 있다. 대학 학업 적성 평가 제도로서 미국의 S.A.T. 제도에 대한 유효성이 많은 학자들에 의해서 연구되고 있다. 대학 수학 능력 시험과 S.A.T.는 각각 한국과 미국의 대학에서 학업 적성을 측정한다는 면에서 그 목적이 같다. 한국의 대학 수학 능력 시험의 유효성을 연구하기에는 아직 실시되지 않았으므로 너무 이르다고 본다. 대학 수학 능력 시험 제도 확립이 실험 평가에 근거하기 때문에 대학 수학 능력 시험 실험 평가와 S.A.T.를 비교 연구하는 것은 의미가 있다고 본다. 따라서 본 논문에서는 한국의 대학 수학 능력 시험 실험 평가(수리)와 미국의 S.AT.(수학)와의 상관 관계를 연구한다. 본 연구의 조사 대상으로 선발된 집단으로서 광주시의 3개교 6학급의 고등학교 3학년 283명이 참가하였다. 본 논문에서 다음과 같은 문제가 연구되었다. 1. 7차 실험 평가(수리)와 S.A.T.(수학)의 평균 점수에 대한 남녀 차이의 통계학적 유의성 (statistical significance). 2. 7차 실험 평가(수리)와 S.A.T.(수학)의 평균 점수에 대한 자연계 인문계 차이의 통계학적 유의성 (statistical significance). 3. 한국의 대학 수학 능력 시험 실험 평가(수리)와 미국의 S.A.T.(수학)의 상관 관계.

• Honam Mathematical Journal
• /
• v.10 no.1
• /
• pp.23-30
• /
• 1988

Let C[C, D] and $S^{*}[C,\;D]$ denote the classes of functions g, g(0)=1-g'(0)0=0, analytic in the unit disc E such that $\frac{(zg{\prime}(z)){\prime}}{g{\prime}(z)}$ and $\frac{zg{\prime}(z)}{g(z)}$ are subordinate to $\frac{1+Cz}{1+Dz{\prime}}$ $z{\in}E$, respectively. In this paper, the classes K[A,B;C,D] and $C^{*}[A,B;C,D]$, $-1{\leq}B<A{\leq}1$; $-1{\leq}D<C{\leq}1$, are defined. The functions in these classes are close-to-convex. Using the properties of convolution operators, we deal with some problems for our classes.

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.61-69
• /
• 1991

By $C^{(1)}$[0, 1] we denote the Banach algebra of complex valued continuously differentiable functions on [0, 1] with norm given by $${\parallel}f{\parallel}=\sup_{x{\in}[0,1]}({\mid}f(x){\mid}+{\mid}f^{\prime}(x){\mid})\text{ for }f{\in}C^{(1)}$$. By A we denote the sub algebra of $C^{(1)}$ defined by $$A=\{f{\in}C^{(1)}:f(0)=f(1)\text{ and }f^{\prime}(0)=f^{\prime}(1)\}$$. By an isometry of A we mean a norm-preserving linear map of A onto itself. The purpose of this article is to describe the isometries of A. More precisely, we show tht any isometry of A is induced by a point map of the interval [0, 1] onto itself.

• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.2
• /
• pp.211-218
• /
• 2014

In 3-dimensional Euclidean space, the geometric figures of a regular curve are completely determined by the curvature function and the torsion function of the curve, and surfaces are the fundamental curved spaces for pioneering study in modern geometry as well as in classical differential geometry. In this paper, we define parametrizations for surface by using parametric functions whose images are in the normal plane of each point on a given curve, and then obtain some results relating the Gaussian curvature of the surface with curvature and torsion of the given curve. In particular, we find some conditions for the surface to have either nonpositive Gaussian curvature or nonnegative Gaussian curvature.

• East Asian mathematical journal
• /
• v.33 no.2
• /
• pp.199-216
• /
• 2017

A rational number as operator is eventually that it is considered a mapping. Depending on how selecting domain (the target of operation by rational number) and codomain (including the results of operations by rational number), it is possible to see the rational in two aspects. First, rational numbers can be deal with functions if we choose the target of operation by rational number as a number field containing rationals. On the other hand, if we choose the target of operation by rational number as integral domain $\mathbb{Z}$, then rational numbers can be regarded as partial functions on $\mathbb{Z}$. In this paper, we regard the rational numbers with a view of partial functions, we investigate the theoretical background of the relationship between the multiplication of rational numbers and the composition of rational numbers as operators.

• Korean Journal of Child Studies
• /
• v.30 no.1
• /
• pp.109-125
• /
• 2009

This study examined the effects of estimation activities on children's operation and measurement abilities. Subjects were 60 five-year-old children. This experiment used the untreated control group design with pretest and posttest. Instruments used to collect data were the Number and Operation and Measurement tests part of the Test of Mathematics Ability for Young Children (TMAYC) developed by Hong, Lee and Chung (2006). ANCOVA was employed for statistical analysis. Results of the posttest showed that children in the experimental group scored significantly higher on children's operation and measurement abilities than the control group. Results imply that an estimation program can be an effective teaching model for improving children's operation and measurement abilities.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.431-440
• /
• 2013

Let ($M^3$, $g$) be a 3-dimensional closed Sasakian spin manifold. Let $S_{min}$ denote the minimum of the scalar curvature of ($M^3$, $g$). Let ${\lambda}^+_1$ > 0 be the first positive eigenvalue of the Dirac operator of ($M^3$, $g$). We proved in [13] that if ${\lambda}^+_1$ belongs to the interval ${\lambda}^+_1{\in}({\frac{1}{2}},\;{\frac{5}{2}})$, then ${\lambda}^+_1$ satisfies ${\lambda}^+_1{\geq}{\frac{S_{min}+6}{8}}$. In this paper, we remove the restriction "if ${\lambda}^+_1$ belongs to the interval ${\lambda}^+_1{\in}({\frac{1}{2}},\;{\frac{5}{2}})$" and prove $${\lambda}^+_1{\geq}\;\{\frac{S_{min}+6}{8}\;for\;-\frac{3}{2}&lt;S_{min}{\leq}30, \\{\frac{1+\sqrt{2S_{min}}+4}{2}}\;for\;S_{min}{\geq}30$$.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.25-31
• /
• 1999

Let $\nu$ be a positive Borel measure on a space of homogeneous type (X, d, $\mu$), satisfying the doubling property. A condition on a weight $\omega$ for whixh a maximal operator $M\nu f$(x) defined by M$mu$f(x)=supr>0{{{{ { 1} over {ν(B(x,r)) } INT _{ B(x,r)} │f(y)│d mu (y)}}}}, is of weak type (p,p) with respect to (ν, $omega$), is that there exists a constant C such that C $omega$(y) for a.e. y$\in$B(x, r) if p=1, and {{{{( { 1} over { upsilon (B(x,r) } INT _{ B(x,r)}omega(y) ^ (-1/p-1) d mu (y))^(p-1)}}}} C, if 1$infty$.