• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.15-27
• /
• 2012

This paper aims to examine Alan Turing's life at the centenary of his birth and to discuss a philosophical implication of his work by concentrating on halting theorem particularly. Turing negatively solved Hilbert's decision problem by proving impossibility of solving halting problem. In this paper I claim that the impossibility implies limits of reason, and accordingly that the marginality in cognition and/or in action should be recognized.

• Journal of Korean Society of Transportation
• /
• v.23 no.6 s.84
• /
• pp.115-125
• /
• 2005

The line planning problem is to determine the origin and destination stations of the lines with their frequencies so as to meet the OD demands. Since the advent of high speed trains, Korea railway is confronted with the urgent difficulty to reconstruct the line configuration with the frequencies of each line and each fleet type so the demands could be newly created as well as satisfied. Furthermore. the existing trains except the high speed trains suffer from a longer traveling time than before. Now, to reduce the passenger traveling time, the trains with the various halting patterns are run in the same line. Therefore, it is necessary to develop a new line planning model to consider the various halting patterns. Most of studies find the frequencies of each lines which meet the link traffic loads or minimum link frequencies. But these are based on the assumption of all stop patterns. Furthermore, it is not easy to include the actual constraints as like the minimum number of stops at a station, the maximum number of stops or a train, etc. We develop the line planning model considering not only the various halting patterns but also the actual constraints which is based on the multicommodity network flow model with the additional constraints.

• Korean Journal of Construction Engineering and Management
• /
• v.10 no.6
• /
• pp.146-153
• /
• 2009

The year 2008 was a hard year for Korea's construction companies. The real estate downturn resulted in halting new construction and stopping existing work, and inflation of global oil prices caused price hikes in rebar and concrete materials. As a solution to reducing the budget, the newly appointed government announced plans to increase low cost bid contracts from 10 billion to 30 billion won. When such economical and political factors negatively impact the construction market, projects based on low cost contracts are the hardest hit. Many problems already inherent in low cost bid contracts become accentuated. Consequently, this provides an opportune time to actually study and analyze the issues in these projects. This paper introduces the findings made from investigating four projects struggling to make ends meet in the year 2008. Results show that flow of cash (i.e., liquidity), or lack thereof, was the root cause which in turn was hampered by failed mechanisms for design changes, material inflation. Attributing cash flow risk to the bottom of the production structure (i.e., small business subcontractors) was also a problem within the industry. Contractors need a better way to prepare against material price fluctuations, and owners need to assist in expediting payment during times of extreme downturn.