دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1st ed.
نویسندگان: Sven Ove Hansson
سری: Philosophy of Engineering and Technology 30
ISBN (شابک) : 9783319937786, 9783319937793
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 373
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب فناوری و ریاضیات: بررسی های فلسفی و تاریخی: فلسفه، فلسفه تکنولوژی، تاریخ علم، منطق، تاریخ علوم ریاضی، تاریخ محاسبات، نظریه محاسبات
در صورت تبدیل فایل کتاب Technology and Mathematics: Philosophical and Historical Investigations به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فناوری و ریاضیات: بررسی های فلسفی و تاریخی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد اولین مطالعه گسترده در مورد پیوندهای تاریخی و فلسفی بین فناوری و ریاضیات است. پوشش شامل استفاده از ریاضیات در فناوری باستان و همچنین مدرن، دستگاهها و ماشینهای محاسباتی، رمزنگاری، ریاضیات در آموزش فنآوری، معرفتشناسی اثباتهای رایانهای و رابطه بین محاسبات فنی و ریاضی است. این کتاب همچنین به بررسی آثار شخصیتهای تاریخی مانند گوتفرید ویلهلم لایبنیتس، چارلز بابیج، آدا لاولیس و آلن تورینگ میپردازد.
This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability. The book also examines the work of such historical figures as Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace, and Alan Turing.
Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Introduction (Sven Ove Hansson)....Pages 3-10
Front Matter ....Pages 11-11
Mathematics and Technology Before the Modern Era (Sven Ove Hansson)....Pages 13-31
Computation in Medieval Western Europe (Sara L. Uckelman)....Pages 33-46
Leibniz and the Calculus Ratiocinator (Wolfgang Lenzen)....Pages 47-78
Mathematics and Mechanical Computation (Doron Swade)....Pages 79-106
The Mathematical Origins of Modern Computing (Mark Priestley)....Pages 107-135
Cryptology, Mathematics, and Technology (Sandy Zabell)....Pages 137-161
Front Matter ....Pages 163-163
The Epistemology of Computer-Mediated Proofs (Selmer Bringsjord, Naveen Sundar Govindarajulu)....Pages 165-183
Mathematical and Technological Computability (Sven Ove Hansson)....Pages 185-234
On Explaining Non-dynamically the Quantum Correlations Via Quantum Information Theory: What It Takes (Mauro Dorato, Laura Felline)....Pages 235-251
Universality, Invariance, and the Foundations of Computational Complexity in the Light of the Quantum Computer (Michael E. Cuffaro)....Pages 253-282
Front Matter ....Pages 283-283
Mathematical Models of Technological and Social Complexity (Ronald Kline)....Pages 285-303
The Rise and Fall of the Anti-Mathematical Movement (Sven Ove Hansson)....Pages 305-323
Reflections on the Empirical Applicability of Mathematics (Tor Sandqvist)....Pages 325-343
What the Applicability of Mathematics Says About Its Philosophy (Phil Wilson)....Pages 345-373