توضیحاتی در مورد کتاب On Hilbert's Sixth Problem
نام کتاب : On Hilbert's Sixth Problem
عنوان ترجمه شده به فارسی : در مورد ششمین مسئله هیلبرت
سری : Synthese Library, 441
نویسندگان : Newton C. A. da Costa, Francisco Antonio Doria
ناشر : Springer
سال نشر : 2022
تعداد صفحات : 204
[191]
ISBN (شابک) : 3030838366 , 9783030838362
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب این فرض را بررسی می کند که یک نظریه فیزیکی تفسیری از فرمالیسم تحلیلی- متعارف است. در سراسر متن، تحقیق تاکید می کند که مکانیک کلاسیک در فرمول لاگرانژی آن، ستون فقرات رسمی فیزیک نظری است. نویسندگان از ارائه فرمالیسم تحلیلی- متعارف برای مکانیک کلاسیک و کاربردهای آن در الکترومغناطیس، مکانیک کوانتومی شرودینگر و نظریههای میدانی مانند نسبیت عام و نظریههای میدان سنج تا مکانیسم هیگز شروع میکنند.تحلیل از معیار اصلی مورد استفاده فیزیکدانان برای یک نظریه استفاده می کند: برای تدوین یک نظریه فیزیکی، ما یک لاگرانژی برای آن می نویسیم. یک نظریه فیزیکی نمونه خاصی از عملکرد لاگرانژی است. بنابراین، در حال حاضر یک نظریه فیزیکی یکپارچه وجود دارد. فقط باید لاگرانژی (یا چگالی لاگرانژی) مربوطه را مشخص کرد. معادلات دینامیکی معادلات اویلر-لاگرانژ مرتبط هستند. تئوری محمول های سوپس به عنوان ابزار اصلی در بدیهی سازی و مثال هایی از نظریه های معمول در فیزیک. برای کاربردها، انبوهی از نتایج منطقی است که منجر به عواقب جالب و گاهی غیرمنتظره می شود.این جلد به این می پردازد که فیزیک ما کجا اتفاق می افتد و به کدام جهان ریاضی برای توصیف رویدادهای فیزیکی ملموس خود نیاز داریم. . همچنین بررسی میکند که آیا از جهان سازنده استفاده میکنیم یا به فضازمانهای مجموعهای از نظر نظری عمومی نیاز داریم.
توضیحاتی در مورد کتاب به زبان اصلی :
This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico–canonical formalism for classical mechanics, and its applications in electromagnetism, Schrödinger's quantum mechanics, and field theories such as general relativity and gauge field theories, up to the Higgs mechanism.The analysis uses the main criterion used by physicists for a theory: to formulate a physical theory we write down a Lagrangian for it. A physical theory is a particular instance of the Lagrangian functional. So, there is already an unified physical theory. One only has to specify the corresponding Lagrangian (or Lagrangian density); the dynamical equations are the associated Euler–Lagrange equations. The theory of Suppes predicates as the main tool in the axiomatization and examples from the usual theories in physics. For applications, a whole plethora of results from logic that lead to interesting, and sometimes unexpected, consequences.This volume looks at where our physics happen and which mathematical universe we require for the description of our concrete physical events. It also explores if we use the constructive universe or if we need set–theoretically generic spacetimes.