The Mechanization of Mathematics
نویسنده
چکیده
The mechanization of mathematics refers to the use of computers to find, or to help find, mathematical proofs. Turing showed that a complete reduction of mathematics to computation is not possible, but nevertheless the art and science of automated deduction has made progress. This paper describes some of the history and surveys the state of the art.
منابع مشابه
Application of an integrated decision-making approach based on FDAHP and PROMETHEE for selection of optimal coal seam for mechanization; A case study of the Tazareh coal mine complex, Iran
Increasing the production rate and minimizing the related costs, while optimizing the safety measures, are nowadays’ most important tasks in the mining industry. To these ends, mechanization of mines could be applied, which can result in significant cost reductions and higher levels of profitability for underground mines. The potential of a coal mine mechanization depends on some important fact...
متن کاملPromoters and Deterrents of Developing Mechanization of Peanut Cultivation In North of Iran
The increasing cost of peanut production is a major concern in Iran. Therefore, developing the mechanization of peanut production is a necessity. In this regard, a three-phase Delphi study was conducted to identify the promoting and deterring factors affecting peanut cultivation mechanization in Guilan Province, the main peanut-producing region in Iran. After preliminary studies, 26 experts wer...
متن کاملA Survey on the Current Status of Mechanization of Paddy Cultivation in Iran: Case of Guilan Province
This study investigated the status of mechanized power and self-propelled rice cultivation machinery in Guilan Province in northern Iran. The raw data was obtained from 2013 statistics of the Agricultural Jihad Organization of Guilan province. Power per unit of area, mechanization level, area per unit of self-propelled machinery, and mechanization requirement were calculated for eastern, wester...
متن کاملEconomic and social consequences of agricultural mechanization in rural settlements Case: rural district of South Astarābād in Gorgan County
Introduction Todays, the importance of agricultural development and putting more value on it, unlike past days, is concluded from the fact that in the process of economic development program, an increasing attention is given to social welfare goals in addition to other goals of increasing revenue. In every society, at times of population increase, the increase of agricultural products, which...
متن کامل