• Journal for History of Mathematics
• /
• v.22 no.4
• /
• pp.115-128
• /
• 2009

In this paper, we modify the axiom of infinity of von Neumann's axioms modified by Pinter([5]), and then discuss an existence of an unknowable class in the system and a relationship between the unknowable class and the axiom of choice.

• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.3
• /
• pp.107-114
• /
• 1999

Design Axiom proposed by N. P. Such consists of Independence Axiom & Information Axiom. Based on the Independence Axiom, it is very useful specially for early design stage such as conceptual design to generate the design alternatives by considering both functions and structures of product. Since the Information Axiom shows that the design solution should have a least information to be the best one among the many alternatives, this axiom can be used for the best selection purpose during the preliminary design stage. In this paper, the possibility of Design Axiom in marine design application is checked by carrying out three examples of marine design. In the conceptual design of thruster, it is proven to use the Independence Axiom very effective by relating directly functional requirements with design parameters, one by one. In main engine selection example, Information Axiom is used to select best solution among alternatives by choosing the one having the minimum information quantity. For similarity based design in which the selection of changing design variables and the amount of those are important, it is proved that design axiom applied to Barge design case would be very effective and useful. As functional requirements and constrains were not clarified in early design stage, design axiom shows some difficulty for larger system design like ship which is basically carried out by an incremental and iterative process.

• Korean Journal of Logic
• /
• v.8 no.1
• /
• pp.23-46
• /
• 2005

The purpose of the paper Is to discuss and estimate early Popper's theory of probability, which is presented in his book, The Logic of of Scientific Discovery. For this, Von Mises' frequency theory shall be discussed in detail, which is regarded as the most systematic and sophisticated frequency theory among others. Von Mises developed his theory to response to various critical questions such as how finite and empirical collectives can be represented in terms of infinite and mathematical collectives, and how the axiom of randomness can be mathematically formulated. But his theory still has another difficulty, which is concerned with the inconsistency between the axiom of convergence and the axiom of randomness. Defending the objective theory of probability, Popper tries to present his own frequency theory, solving the difficulty. He suggests that the axiom of convergence be given up and that the axiom of randomness be modified to solve Von Mises' problem. That is, Popper introduces the notion of ordinal selection and neighborhood selection to modify the axiom of randomness. He then shows that Bernoulli's theorem is derived from the modified axiom. Consequently, it can be said that Popper solves the problem of inconsistency which is regarded as crucial to Von Mises' theory. However, Popper's suggestion has not drawn much attention. I think it is because his theory seems anti-intuitive in the sense that it gives up the axiom of convergence which is the basis of the frequency theory So for more persuasive frequency theory, it is necessary to formulate the axiom of randomness to be consistent with the axiom of convergence.

• Journal for History of Mathematics
• /
• v.9 no.1
• /
• pp.1-11
• /
• 1996

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.52-52
• /
• 2004

공리적 설계는 미국 매사추세츠 공과대학의 서남표 교수에 의해 창출되고 보급되어 온 설계이론이다. 그러나 좀 더 정확히 말한다면 설계이론 이라기보다는 일반적인 공학적 과정에 적용할 수 있는 원리를 포함하는 설계프레임워크라 할 수 있다. 기계공학에서의 역학과 같이 설계를 하기 위해서는 과학적인 기본원리에 따라 설계해야 한다는 것이다. 그러므로 공리적 설계는 설계과정에서 설계자에게 과학적 원리를 제공하여 설계자가 이성적이고 논리적으로 설계를 진행할 수 있도록 하여, 시행착오를 줄이며, 좀 더 창조적이고 최상의 설계를 선택할 수 있도록 도움을 주는 것이다.(중략)

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.59-76
• /
• 2011

Starting from a collection V as a model which satisfies the axioms of NBG, we call the elements of V as sets and the subcollections of V as classes. We reconstruct the G$\ddot{o}$del's proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory by using Mostowski-Shepherdson mapping theorem, reflection principles in Tarski-Vaught theorem and Montague-Levy theorem and the fact that NBG is a conservative extension of ZF.

• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.1-9
• /
• 1996

This paper is a sequel to [26]. We investigate how the Axiom of Choice has been accepted after Zermelo introduced the Axiom in 1904. The response to the Axiom has divided into two groups of mathematicians, namely idealists and empiricists. We also investigate how the Zorn's lemma (1935) has been emerged. It was originally formulated by Hausdorff in 1909 and then by many other mathematicians independently.

• Proceedings of the KSME Conference
• /
• 2001.06c
• /
• pp.572-579
• /
• 2001

Recent industrial requirements for highly precise shape processing have brought the electric discharge machining (EDM) in great need. High precision in EDM is primarily achieved by high performance controllers. However there exists inherent precision loss due to structural deformation. On this background, we study structural deformation characteristics of wire cut EDM via finite element (FE) analysis and axiomatic design. Two different wire cut EDMs are selected as analysis models. 3D CAD package I-Deas is first used to construct FE models of wire cut EDMs, and then ABAQUS FE code is used for following structural analysis. Pertinency of FE mesh refinement is discussed in terms of ${\eta}-factor$. It is shown that performance accuracy of EDM depends strongly on the structural characteristics. Some design enhancements are suggested in an axiomatic design point of view. Finally we provide weight and temperature induced displacement discrepancies between wire end points as position functions of each subframe.

• Science of Emotion and Sensibility
• /
• v.22 no.4
• /
• pp.15-30
• /
• 2019

The reduction of traffic accidents is a primary potential benefit of autonomous vehicles (AVs). However, the prevalence of AVs also arouses a key question: to what extent should a human wrest control back from AVs? Specifically, in an unavoidable situation of emergency, should an AV be able to decide between the safety of its own passengers and endangered pedestrians? Should AV programming include well-accepted decision rules about actionsto take in hypothetical situations? The current study (N = 103) examined individual/situational variables that could perform critical decision-making roles in AV related traffic accidents. The individual variable of attitudes toward AVs was assessed using the Self-driving Car Acceptance Scale. To investigate situational influences on decisional processes, the study's participants were assigned to one of two groups: the achievement value was activated in one group and the benevolence value was triggered in the other through the use of a sentence completion task. Thereafter, participants were required to indicate who should be protected from injury: the passengers of the concerned AV, or endangered pedestrians. Participants were also asked to record the extent to which they intended to buy an AV programmed to decide in favor of the greater good according to Utilitarian principles. The results suggested that participants in the "achievement value: driver perspective" groupexpressed the lowest willingness to sacrifice themselves to save several pedestrians in an unavoidable traffic accident. This group of participants was also the most reluctant to buy an AV programmed with utilitarian rules, even though there were significant positive relationships between members' acceptance of AVs and their expressed intention to purchase one. These findings highlight the role of the decisional processes involved in the "achievement value" pertaining to AVs. The paper finally records the limitations of the present study and suggests directions for future research.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.17 no.6
• /
• pp.224-239
• /
• 2018

Autonomous vehicles can significantly reduce accidents due to 'driver's carelessness', which occupies the majority of causes for traffic accidents, but they may fail to avoid traffic accidents due to unexpected situations, such as "trolley dilemma", vehicle defects and road defects. Therefore in situations Autonomous vehicles need to be made ethical choices. This study assumes that Autonomous vehicles can not avoid traffic accidents due to unexpected sink holes. In this situation, the traffic accident costs was analyzed for the ethical choices of Autonomous vehicles. In the process, Autonomous vehicles were made to choose one of three ethical choices : (1) Egoism with priority on passenger safety, (2) Deontology for minimizing human damages, (3) Utilitarianism with minimizing traffic accident costs. As a result of the analysis, egoism had the highest traffic accident costs, and deontology for minimizing human damages had the lowest traffic accident costs.