• Korean Journal of Logic
• /
• 제3권
• /
• pp.95-113
• /
• 2000

타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

• Journal of the Korea Society of Computer and Information
• /
• 제13권4호
• /
• pp.51-58
• /
• 2008

In this paper, we propose a place modeling based on the distribution of scale-invariant features, and a place recognition method that recognizes places by comparing the place model in a database with the extracted features from input data. The proposed method is based on the assumption that every place can be represented by unique feature distributions that are distinguishable from others. The proposed method uses global information of each place where one place is represented by one distribution model. Therefore, the main contribution of the proposed method is that the time cost corresponding to the increase of the number of places grows linearly without increasing exponentially. For the performance evaluation of the proposed method, the different number of frames and the different number of features are used, respectively. Empirical results illustrate that our approach achieves better performance in space and time cost comparing to other approaches. We expect that the Proposed method is applicable to many ubiquitous systems such as robot navigation, vision system for blind people, wearable computing, and so on.

• Journal for History of Mathematics
• /
• 제25권4호
• /
• pp.53-67
• /
• 2012

Today, it is necessary to calculate orbits with high accuracy in space flight. The key words of Poincar$\acute{e}$ in celestial mechanics are periodic solutions, invariant integrals, asymptotic solutions, characteristic exponents and the non existence of new single-valued integrals. Poincar$\acute{e}$ define an invariant integral of the system as the form which maintains a constant value at all time $t$, where the integration is taken over the arc of a curve and $Y_i$ are some functions of $x$, and extend 2 dimension and 3 dimension. Eigenvalues are classified as the form of trajectories, as corresponding to nodes, foci, saddle points and center. In periodic solutions, the stability of periodic solutions is dependent on the properties of their characteristic exponents. Poincar$\acute{e}$ called bifurcation that is the possibility of existence of chaotic orbit in planetary motion. Existence of near exceptional trajectories as Hadamard's accounts, says that there are probabilistic orbits. In this context we study the eigenvalue problem in early 20th century in three body problem by analyzing the works of Darwin, Bruns, Gyld$\acute{e}$n, Sundman, Hill, Lyapunov, Birkhoff, Painlev$\acute{e}$ and Hadamard.

• International Area Studies Review
• /
• 제15권2호
• /
• pp.77-100
• /
• 2011

The Korean economy have experienced the remarkable decreases in factor prices such as bond yields, real wage since the IMF foreign exchange crisis. This paper investigates the effects of the price changes in the factor markets on determining the level and cyclicality of industrial markups in the manufacturing industry. For this purpose, we construct a markup equation in the small open economy based on the production function including foreign intermediate goods and assuming constant returns to scale technology and AR(1) process of technological coefficient. Empirical results are summarized as the followings. The empirical results shows that the increased markups after the IMF crisis can be explained by the price decreases in the factor markets which result in lowering marginal costs. And we also observed counter cyclicality of markup, labor share and interest rates while real wages, technical coefficients, and production price index proved to be pro-cyclical. In conclusion, the price changes in factor market have contributed to the stickiness in markup fluctuation in the manufacturing industry.