The Mechanization of Mathematics

نویسنده

  • Michael Beeson
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003