• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Journal of the Korean Society of Radiology
• /
• v.4 no.1
• /
• pp.11-17
• /
• 2010

A urolithiasis, also called calculus, is one of the brutal illnesses, which has constantly harassed humanbeings from time immemorial. However, there is no appropriate method of prevention so far. So, Urological therapy must be followed upon those patients. The biggest problem of urolithiasis is usually causing harsh pain, fever, and throw up. The pain would be more intensified when something came through the ureter or the moment of convulsion caused beyond transmission of urinary calculus. Even strong painkillers, such as fentanyl and Pethidine, can not handle those harshly pain easily. Therefore, a prompt action of medical check up and its therapy must be required to those patients. This thesis paper has put the accent on the specific therapy, known as ESWL (Extracorpereal Shock Wave Lithotripsy), which have generated quite optimum resolution to patients, who received harsh pain from Proximal ureteral stone and Mid ureteral stone and because of its low provability of pulverization. The results of the experiment confirmed that the stone, located between Proximal and Mid ureter, has lower provability of pulverization than distal ureter, because its accuracy rate on shock wave, in respect of breathing, are low. However, decrease in discharge interval have enhanced provability of pulverization. it can also intensify probability of pulverization and its safety by discharging high power with appropriate intervals, and that is more efficient than discharging low power with frequent time.

• Communications of the Korean Mathematical Society
• /
• v.9 no.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.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.42 no.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.

• The Research Journal of the Costume Culture
• /
• v.26 no.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.

• Journal of the Korean Mathematical Society
• /
• v.51 no.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$.

• Journal of the Korean Mathematical Society
• /
• v.54 no.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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.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.

• Journal of Distribution Science
• /
• v.10 no.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.

• Journal of the Korean Society for Marine Environment & Energy
• /
• v.3 no.1
• /
• pp.3-24
• /
• 2000

The provability of major oil spill acidents around Korean coast is very high due to increase of sea traffic and decrease of quality of ships crews and increase of the old-ship. The Strategies of establishment of a advanced response management system against this mass pollution incident are as follows;. 1. Development of Regional Contingency Plan, which is scientifically illuminated, in order to implement the National Contingency Plan efficiently. 2. Early completion of a national response capability twenty thousand tons. 3. To strengthen training and exorcise specialized in the field of marine pollution response. 4. Establishment of a system of response cooperation among neighbor countries by promoting the NOWPAP tasks etc. The response policy in the 21th century should be concentrated to promote a practicle response capability through response operation scientifically specialized and internationalized by establishing the advanced response system early.