• 논리연구
• /
• 제8권2호
• /
• pp.3-32
• /
• 2005

수론(Number theory)과 수학 전반에 걸쳐 무모순성을 확립하고자 한 힐버트의 합리주의적 열망은 무모순성을 주장하는 진술 자체가 그 체계 내에서 결정 불가능한 진술이라는 괴델의 두 번째 정리에 의해 좌절된다. 수학의 어떤 문제에서도 수학자가 "Ignorabimus!" (우리는 모른다!) 해서는 안된다는 힐버트의 낙관 또한 수학에서 증명도 반증도 안되는 결정불가능한 진술의 존재로 인하여 무너진다. 힐버트 프로그램은 일체의 모호함을 배제하고 기호와 기호열에 대한 기계적 연산에 기초하기 때문에 그 충격도 그만큼 클 수밖에 없다. 이 프로그램의 좌절은 그래서 무엇보다도 형식화의 한계를 분명히 보여준다. 이제 수학에서는 통사론적인 증명가능성의 개념이 의미론적인 참의 개념보다 우위를 갖게 되었다. 그리고 그가 제안한 알고리듬(기계적 절차)의 개념은 프로그래밍 언어의 출현에 직접 기여하였다. 그래서 우리는 그의 기획이 비록 좌절했지만 위대한 실패라고 믿고 싶다.

• 한국방사선학회논문지
• /
• 제4권1호
• /
• pp.11-17
• /
• 2010

요석은 고대 인류부터 지금 현재 인류까지 끊임없이 인간을 괴롭히고 있는 질병중의 하나이다. 하지만 딱히 예방법이 없어 문제가 생기면 비뇨기과적 치료가 절대적으로 필요한 질병이다. 이런 요석의 가장 큰문제점은 상당한 통증 과 구토, 발열등을 유발한다는 것이다. 통증은 요관을 통과 할 때나 요관이 요석으로 인한 심한 경련이 일어날 때 크게 일어난다. 이 통증은 마약성분이 강한 펜타닐 이나 페치딘 같은 강한 진통제에도 잘 잡히지 않는 경향이 있어 신속한 검사와 치료가 요구된다. 본 논문에서는 ESWL(Extracorpereal Shock Wave Lithotripsy)을 이용한 요석 치료시 특히 분쇄율은 낮고 환자의 통증은 심한 Proximal ureteral stone 과 Mid ureteral stone에 대해 각각의 여러 조건을 적용하여 최적의 치료방법과 최고의 분쇄율에 대하여 실험 과 연구를 하여 보았다. 실험결과 Proximal과 Mid ureter에 위치한 stone은 호흡에 의한 충격파의 적중률이 낮아 분쇄율이 distal ureter보다 낮았으나 방전interval을 줄임으로써 분쇄율을 높일 수 있었고, 낮은 방전 Power로 여러번 분쇄하는 것보다는 높은 방전 Power와 적절한 방전횟수로 분쇄를 하였을 때 ureter도 보호하면서 분쇄율이 높다는 것을 알 수 있었다.

• 대한수학회논문집
• /
• 제9권4호
• /
• pp.803-808
• /
• 1994

Since L$\ddot{o}$b's announcement of his solution to Henkin's problem (L$\ddot{o}$b (1954, 1955)) there has been successful and fruitful research on provability logic tied up with modal logic. Specially, L$\ddot{o}$b's Theorem is of far-reaching significance in the following meta-mathematical and philosophical sense.

• 한국의류학회지
• /
• 제42권1호
• /
• pp.183-194
• /
• 2018

This study investigated the characteristics of Omni Channel and examined the influence of them on consumers' perceived functional value and emotional value as well as the effect of perceived functional value and emotional value on user's intention of use through Omni Channel. To verify the research model, the questionnaire survey was conducted on 20's to 40's men and women residing in Seoul and the metropolitan area by convenience sampling. The number of copies used for data analysis was 696. To verify the research model, factor analysis, reliability analysis, and structural equation model analysis were performed using AMOS 20.0. First, Omni Channel characteristics consisted of four factors: instant connectivity, location-based provability, interactivity, and entertainment. Second, the instant connectivity, location-based provability and entertainment positively influenced functional value and emotional value; however, the interactivity was significant only to the emotional value. Third, consumers' perceived value of Omni Channel characteristics had a significant effect on attitude. Fourth, the more favorable the attitude toward Omni Channel is higher for the intention to use Omni Channel.

• 복식문화연구
• /
• 제26권3호
• /
• pp.346-359
• /
• 2018

Currently, dramatic change had led to the growth of the distribution environment and the retailer's distribution channel. This change had shifted the 'single channel' to 'multi channel', and from 'cross channel' to 'omni channel'. While fashion companies using omni channel are rapidly growing, few research regarding omni channel had been done in academic field. In this study, we examined the influence of omni channel characteristics on consumers' perceived risk as well as consumers' perceived risk toward attitude and intention to use omni channel. We surveyed 696 male and female respondents aged 20 to 40 who lived in Seoul and the metropolitan area. Using AMOS 20.0, factor analysis, reliability analysis, and structural equation model analysis were performed to verify the model of this study. The results were as follows. First, omni channel's instant connectivity, location-based provability, interactivity, and entertainment factors did not decrease impacts on the perceived risk related to privacy and annoyance. Second, omni channel's instant connectivity and entertainment did not increase effects on the perceived financial risk, and location-based provability and interactivity did not increase effect on perceived financial risk. Third, the perceived risk concerning omni channel did not decrease on consumer attitude toward omni channel. Fourth, consumer attitude toward omni channel influenced the intention to use omni channel significantly.

• 대한수학회지
• /
• 제51권2호
• /
• pp.383-402
• /
• 2014

We expose a pattern for establishing Friedman-Weiermann style independence results according to which there are thresholds of provability of some parameterized variants of well-partial-ordering. For this purpose, we investigate an ordinal notation system for ${\vartheta}{\Omega}^{\omega}$, the small Veblen ordinal, which is the proof-theoretic ordinal of the theory $({\prod}{\frac{1}{2}}-BI)_0$. We also show that it sometimes suffices to prove the independence w.r.t. PA in order to obtain the same kind of independence results w.r.t. a stronger theory such as $({\prod}{\frac{1}{2}}-BI)_0$.

• 대한수학회지
• /
• 제54권5호
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.

• 제어로봇시스템학회논문지
• /
• 제19권2호
• /
• pp.87-94
• /
• 2013

UKF (Unscented Kalman Filter) has been used in the nonlinear systems without initial accurate state estimates instead of EKF (Extended Kalman Filter) of the last decade because the UKF has robustness to the large initial estimation error. In the multirate integrated system such as INS (Inertial Navigation System)/GPS (Global Positioning System) integrated navigation system, however, it is difficult to implement the UKF based navigation algorithm in the mid-grade micro-processor due to the large computational burden. To overcome this problem, this paper proposes a MUKF (Modified UKF) that has a reduced computation burden using the basic idea that the change of the provability distribution for the state variables between measurement updates is small in the multi-rate INS/GPS integrated navigation filter. The performance of the proposed MUKF is verified by numerical simulations.

• 유통과학연구
• /
• 제10권10호
• /
• pp.11-16
• /
• 2012

Purpose - This study focused on consumer perceptions of service quality in organic food shops, the innovativeness of organic products, and which SERVQUAL sub-dimensions increase purchase intentions. Another purpose of this study was to explore the relationship between consumer perceptions of organic food shops, their direct interest in organic food, and their purchase intentions. Research design, data, and methodology - We tested our hypothesized model within a structural equation modeling (SEM) framework, utilizing path-analysis implementation. The AMOS 18.0 software was used, and we found that it fit very well with the observed data. Results - The results of the full model (structural and measurement models) indicated the following fit indices: χ²=39.492, degree of freedom=25, provability level=0.033, RMR=0.047, GFI=0.948, AGFI=0.906, NNFI=0.958, CFI=0.984, and RMSEA=0.060. The effects of service quality on purchase intention, service quality on innovativeness, and innovativeness on purchase intention we resignificant. We also examined the statistical significance of the mediation effects using the Sobeltest and found further evidence to support service quality and purchase intention through innovation. Conclusions - These results suggest that, if organic food shops want to achieve a greater level of competitiveness, they must try to raise the quality of their service and actively promote the innovativeness of organic food.

• 한국해양환경ㆍ에너지학회지
• /
• 제3권1호
• /
• pp.3-24
• /
• 2000

한국연안도 해상교통량 증가, 선원자질저하 및 노후선박증가로 수만톤을 초과하는 기름유출사고의 위험이 상존하고 있다. 이러한 대형 오염사고 발생에 효과적으로 대응하기 위한 선진 방제체제의 구축방안은 다음과 같다. 1. 범국가적 차원의 국가긴급계획을 효율적으로 실행하기 위한 과학적인 지역긴급계획의 수립 2. 2만톤의 축가방제능력 조기 확보 3. 해양오염방제 전문교육ㆍ훈련의 강화 4. NOWPAP사업 추진등 인접국가간 방제협력체제의 구축 21세기 방제정책은 선진 방제체제를 조기에 구축하여 방제작업의 과학적ㆍ전문화ㆍ국제화를 동한 실행적 방제능력 향상에 주력하여야 할 것이다.