💢 شما را به مطالعه يادنامه تام آپوستل منتشر شده در خبرنامه انجمن رياضی دعوت می كنيم.
#آپوستل
🆔 @Shahed_Math
#آپوستل
🆔 @Shahed_Math
👍6❤1
Mathematics
#همآموزی #نظریه_اعداد 🆔 @Shahed_Math
سلام
با عرض پوزش بنابر پیگیری ها انجام شده برای دکتر شریفی مشکلی پیش آمده و امکان برگزاری کلاس همآموزی نظریه اعداد ندارند.
باتشکر از شکیبایی شما🌹
با عرض پوزش بنابر پیگیری ها انجام شده برای دکتر شریفی مشکلی پیش آمده و امکان برگزاری کلاس همآموزی نظریه اعداد ندارند.
باتشکر از شکیبایی شما🌹
👌3👍2😢2
Constructivism_in_mathematics.pdf
29.7 MB
📌ساختگرایی در ریاضیات
🔺کتابی بسیار مهم در حوزه ریاضیات ساختی
#Constructivism_in_mathematics
#معرفیکتاب
🆔 @Shahed_Math
🔺کتابی بسیار مهم در حوزه ریاضیات ساختی
#Constructivism_in_mathematics
#معرفیکتاب
🆔 @Shahed_Math
👌3
👤دیرک ون دالن
دیرک ون دالن (متولد 20 دسامبر 1932،آمستردام) یک ریاضیدان و مورخ علوم هلندی است.
ون دالن در دانشگاه آمستردام در رشته ریاضیات و فیزیک و نجوم تحصیل کرده است . وی با الهام از کار لویتسن براوئر و آرند هیتینگ، دکترای خود را در سال 1963 از دانشگاه آمستردام، برای پایان نامهاش تحت عنوان مسائل تعمیم در نظریه تصویری مسطحه ی شهودی (Extension problems in intuitionistic plane Projective geometry) دریافت کرد.
ون دالن از سال 1964 تا 1966 در ام آی تی و بعداً آکسفورد به تدریس منطق و ریاضیات پرداخت . او از سال 1967 استاد دانشگاه اوترخت بوده است. در سال 2003 به دیرک ون دالن به خاطر آوردن آثار بروور در معرض دید بینالمللی ، به مدال آکادمی 2003 آکادمی علوم سلطنتی هلند اعطا شد.
📌معرفی کتاب
در فلسفه ریاضیات، ساختگرایی (Constructivism)، بیان میدارد که یافتن (یا «ساختن») یک شیء ریاضیاتی جهت اثبات وجودش ضروری است.
در ریاضیات کلاسیک، میتوان وجود یک شیء ریاضیاتی را بدون «یافتن» آن شیء بهطور صریح اثبات نمود. بدین صورت که عدم وجود آن را فرض گرفته و سپس از فرض به تناقض رسید. این نوع اثبات، یعنی برهان خلف (یا روش غیر-ساختگرا) ممکن است از نظر برخی ساختگرایان مردود در نظر گرفته شود. دیدگاه ساختگرایی از تفسیری استفاده میکند که صحت و سقم سور وجودی را بررسی کرده و با تفسیر کلاسیک مغایرت دارد.
اَشکال متعددی از ساختگرایی موجود اند، که شامل این موارد میشوند: برنامه شهودگرایی براوئر، متناهیگرایی هیلبرت و برنایز، ریاضیات بازگشتی ساختگرایی شانین و مارکوف و برنامه آنالیز ساختگرایی بیشاپ.
ساختگرایی را اغلب با شهودگرایی یکی میگیرند، گرچه که شهودگرایی تنها یکی از برنامههای ساختگرایی است. شهودگرایی مدعی است که بنیانهای ریاضیات در شهود تک تک ریاضیدانان قرار داشته و ازین رو ریاضیات را تبدیل به موضوعی با فعالیت ذهنگرا (سوبژکتیو) میکند.سایر اشکال ساختگرایی براساس این دیدگاه شهودگرایی پایهریزی نشدهاند و بیشتر با دیدگاههای عینیگرایی (ابژکتیو) قابل قیاساند
این کتاب یک کتاب خوب برای یادگیری مقدمات منطق ریاضی می.باشد.
طبق تحقیقات به دست آمده.
این کتاب برای سال ۲۰۲۰ دانشگاه eth زوریخ میباشد و آنجا استفاده میشود. گفتنی است که این دانشگاه ،تنها دانشگاه تک رقمی در رنک جهانی در اتحادیه اروپا است.
#Constructivism_in_mathematics
#معرفیکتاب
🆔 @Shahed_Math
دیرک ون دالن (متولد 20 دسامبر 1932،آمستردام) یک ریاضیدان و مورخ علوم هلندی است.
ون دالن در دانشگاه آمستردام در رشته ریاضیات و فیزیک و نجوم تحصیل کرده است . وی با الهام از کار لویتسن براوئر و آرند هیتینگ، دکترای خود را در سال 1963 از دانشگاه آمستردام، برای پایان نامهاش تحت عنوان مسائل تعمیم در نظریه تصویری مسطحه ی شهودی (Extension problems in intuitionistic plane Projective geometry) دریافت کرد.
ون دالن از سال 1964 تا 1966 در ام آی تی و بعداً آکسفورد به تدریس منطق و ریاضیات پرداخت . او از سال 1967 استاد دانشگاه اوترخت بوده است. در سال 2003 به دیرک ون دالن به خاطر آوردن آثار بروور در معرض دید بینالمللی ، به مدال آکادمی 2003 آکادمی علوم سلطنتی هلند اعطا شد.
📌معرفی کتاب
در فلسفه ریاضیات، ساختگرایی (Constructivism)، بیان میدارد که یافتن (یا «ساختن») یک شیء ریاضیاتی جهت اثبات وجودش ضروری است.
در ریاضیات کلاسیک، میتوان وجود یک شیء ریاضیاتی را بدون «یافتن» آن شیء بهطور صریح اثبات نمود. بدین صورت که عدم وجود آن را فرض گرفته و سپس از فرض به تناقض رسید. این نوع اثبات، یعنی برهان خلف (یا روش غیر-ساختگرا) ممکن است از نظر برخی ساختگرایان مردود در نظر گرفته شود. دیدگاه ساختگرایی از تفسیری استفاده میکند که صحت و سقم سور وجودی را بررسی کرده و با تفسیر کلاسیک مغایرت دارد.
اَشکال متعددی از ساختگرایی موجود اند، که شامل این موارد میشوند: برنامه شهودگرایی براوئر، متناهیگرایی هیلبرت و برنایز، ریاضیات بازگشتی ساختگرایی شانین و مارکوف و برنامه آنالیز ساختگرایی بیشاپ.
ساختگرایی را اغلب با شهودگرایی یکی میگیرند، گرچه که شهودگرایی تنها یکی از برنامههای ساختگرایی است. شهودگرایی مدعی است که بنیانهای ریاضیات در شهود تک تک ریاضیدانان قرار داشته و ازین رو ریاضیات را تبدیل به موضوعی با فعالیت ذهنگرا (سوبژکتیو) میکند.سایر اشکال ساختگرایی براساس این دیدگاه شهودگرایی پایهریزی نشدهاند و بیشتر با دیدگاههای عینیگرایی (ابژکتیو) قابل قیاساند
این کتاب یک کتاب خوب برای یادگیری مقدمات منطق ریاضی می.باشد.
طبق تحقیقات به دست آمده.
این کتاب برای سال ۲۰۲۰ دانشگاه eth زوریخ میباشد و آنجا استفاده میشود. گفتنی است که این دانشگاه ،تنها دانشگاه تک رقمی در رنک جهانی در اتحادیه اروپا است.
#Constructivism_in_mathematics
#معرفیکتاب
🆔 @Shahed_Math
❤3
Nazarie Tahlili Adad 1 (Alam Zadeh).pdf
10 MB
📌مترجم: دکتر علیاکبر عالم زاده و علیاکبر رحیمزاده
🔺جلد اول
#Introduction_to_Analytic_Number_Theory
#نظریه_تحلیلی_اعداد
#معرفیکتاب
🆔 @Shahed_Math
🔺جلد اول
#Introduction_to_Analytic_Number_Theory
#نظریه_تحلیلی_اعداد
#معرفیکتاب
🆔 @Shahed_Math
Nazarie Tahlili Adad 2 (Alam Zadeh) .pdf
5.8 MB
📌مترجم: دکتر علیاکبر عالم زاده و علیاکبر رحیمزاده
🔺جلد دوم
#Introduction_to_Analytic_Number_Theory
#نظریه_تحلیلی_اعداد
#معرفیکتاب
🆔 @Shahed_Math
🔺جلد دوم
#Introduction_to_Analytic_Number_Theory
#نظریه_تحلیلی_اعداد
#معرفیکتاب
🆔 @Shahed_Math