عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0521118018
شابک
0521133777
شابک
9780521118019
شابک
9780521133777
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Computation, proof, machine :
نام عام مواد
[Book]
ساير اطلاعات عنواني
mathematics enters a new age /
نام نخستين پديدآور
Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman
وضعیت ویراست
وضعيت ويراست
First English edition
مشخصات ظاهری
نام خاص و کميت اثر
viii, 152 pages :
ساير جزييات
illustrations ;
ابعاد
22 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (pages 149-152)
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Computation is revolutionizing our world, even the inner world of the "pure" mathematician. Mathematical methods - especially the notion of proof - that have their roots in classical antiquity have seen a radical transformation since the 1970s, as successive advances have challenged the priority of reason over computation. Like many revolutions, this one comes from within. Computation, calculation, algorithms - all have played an important role in mathematical progress from the beginning - but behind the scenes, their contribution was obscured in the enduring mathematical literature. To understand the future of mathematics, this fascinating book returns to its past, tracing the hidden history that follows the thread of computation. Along the way it invites us to reconsider the dialog between mathematics and the natural sciences, as well as the relationship between mathematics and computer science. It also sheds new light on philosophical concepts, such as the notions of analytic and synthetic judgment. Finally, it brings us to the brink of the new age, in which machine intelligence offers new ways of solving mathematical problems previously inaccessible
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
Mathematics enters a new age
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Mathematics-- History
موضوع مستند نشده
Mathematics-- History-- 20th century
موضوع مستند نشده
Mathematics, Ancient
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Dowek, Gilles
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Guillot, Pierre,1978-
مستند نام اشخاص تاييد نشده
Roman, Marion
مبدا اصلی
تاريخ عمليات
20170223110544.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
