توضیحات
A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.
Topics include the place of problems in the development of theories of logic and logic’s relation to computer science. Specific attention is given to Gdel’s incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor’s continuum hypothesis, proof theory and Hilbert’s program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.
————————————————————–
ترجمه ماشینی :
یک منطقدان و فیلسوف مشهور به اشکال مختلف منطق ریاضی میپردازد و هم در زمینههای نظری و هم کاربردهای عملی را مورد بحث قرار میدهد. نویسنده هائو وانگ مفاهیم و نظریههای اصلی این رشته را در یک زمینه تاریخی و توسعه بررسی میکند و سپس بر چهار حوزه اصلی منطق ریاضی معاصر تمرکز میکند: نظریه مجموعهها، نظریه مدل، نظریه بازگشت و سازهگرایی، و نظریه اثبات.
موضوعات شامل جایگاه مشکلات در توسعه نظریه های منطق و ارتباط منطق با علوم کامپیوتر است. توجه ویژه ای به قضایای ناتمام بودن گلدل، منطق محمول و مسائل تصمیم گیری و کاهش آن، ساخت پذیری و فرضیه پیوستار کانتور، نظریه اثبات و برنامه هیلبرت، سلسله مراتب و یکسان سازی، اثبات مسئله چهار رنگ، مسئله دیوفانتین، مسئله توتولوژی، و بسیاری موضوعات دیگر سه ضمیمه مفید متن را پایان می دهند.
tag : دانلود کتاب سخنرانی های محبوب در مورد منطق ریاضی , Download سخنرانی های محبوب در مورد منطق ریاضی , دانلود سخنرانی های محبوب در مورد منطق ریاضی , Download Popular Lectures on Mathematical Logic Book , سخنرانی های محبوب در مورد منطق ریاضی دانلود , buy سخنرانی های محبوب در مورد منطق ریاضی , خرید کتاب سخنرانی های محبوب در مورد منطق ریاضی , دانلود کتاب Popular Lectures on Mathematical Logic , کتاب Popular Lectures on Mathematical Logic , دانلود Popular Lectures on Mathematical Logic , خرید Popular Lectures on Mathematical Logic , خرید کتاب Popular Lectures on Mathematical Logic ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.