۴۰٪ از دانشجوهای کارشناسی ظاهرا دچار مشکل brain fog شدند.(کاهش تمرکز، فراموشی، بیخوابی و یه سری چیزهای دیگه...) ظاهرا تاثیر کووید بوده.می گند بعد از کووید توانایی نوشتن دانشجویان هم پایین اومده! بعضی ها گفتند که حتی این کاهش کیفیت در نوشتار رو، در مقالاتی که برای داوری دریافت می کنند متوجه شدند. ساختار جملات ضعیف تر شده، استدلال ها ناقص تر...
👍20🤔5🫡2
Mathematical Musings
۴۰٪ از دانشجوهای کارشناسی ظاهرا دچار مشکل brain fog شدند.(کاهش تمرکز، فراموشی، بیخوابی و یه سری چیزهای دیگه...) ظاهرا تاثیر کووید بوده.می گند بعد از کووید توانایی نوشتن دانشجویان هم پایین اومده! بعضی ها گفتند که حتی این کاهش کیفیت در نوشتار رو، در مقالاتی…
حالا من در این مورد خاص تخصصی ندارم، ولی این قضیه کووید هم توی بعضی رشته ها خیلی هم بد نشد برای مقاله بازان و مقاله سازان اون رشته! یعنی هر مفهومی رو که قبلا درباره اش کار کرده بودند یه مقاله کوویدی هم در رابطه اش منتشر کردند!(طبیعتا بعضی رشته ها مثل ریاضی و... این امکان رو نداشتند)
کووید و ریسک، کووید و زنجیره تامین، عدم قطعیت در دوره کووید، تحلیل سیستم دینامیکی از وضعیت کووید، روش های احتمالی و کووید، ما و کووید و...
کووید و ریسک، کووید و زنجیره تامین، عدم قطعیت در دوره کووید، تحلیل سیستم دینامیکی از وضعیت کووید، روش های احتمالی و کووید، ما و کووید و...
🤣23👍4
اگر اون زمان که جبر پیشرفته می خوندم کسی بود همچین نموداری رو نشونم بده، خیلی روی دیدم تاثیر می ذاشت.
به هر حال گذشت...
به کسی که در زمینه نظریه رسته ها کار می کنه، احترام بذارید!
درباره abstract nonsense
به هر حال گذشت...
به کسی که در زمینه نظریه رسته ها کار می کنه، احترام بذارید!
درباره abstract nonsense
❤26
Mathematical Musings
اگر اون زمان که جبر پیشرفته می خوندم کسی بود همچین نموداری رو نشونم بده، خیلی روی دیدم تاثیر می ذاشت. به هر حال گذشت... به کسی که در زمینه نظریه رسته ها کار می کنه، احترام بذارید! درباره abstract nonsense
1102.1313v1.pdf
724.6 KB
Introduction to Categories and Categorical Logic
منبع زیاد هست طبیعتا، این هم خوبه...معرفی مقدماتی و با حداقل پیش نیازها
منبع زیاد هست طبیعتا، این هم خوبه...معرفی مقدماتی و با حداقل پیش نیازها
🔥11👌1
This media is not supported in your browser
VIEW IN TELEGRAM
0.999...=1
یه جوکی هم هست در این رابطه:
سوال: چند تا ریاضیدان لازمه تا یک لامپ رو ببندند؟
جواب: ...۰٫۹۹۹۹۹۹
البته، با همه این توضیحات بازهم بحث های جالبی درباره این تساوی وجود داره.
یه جوکی هم هست در این رابطه:
سوال: چند تا ریاضیدان لازمه تا یک لامپ رو ببندند؟
جواب: ...۰٫۹۹۹۹۹۹
البته، با همه این توضیحات بازهم بحث های جالبی درباره این تساوی وجود داره.
🔥11🤣1
Mathematical Musings
امروز تولد Peter Lax از معدود بازمانده های اون نسل طلایی از ریاضیدان ها که چند دهه پیش به آمریکا مهاجرت کردند. به مناسبت تولدش دوتا قضیه معروف از درس ریاضی عمومی (که شکل کلی ترش رو در آنالیز هم می بینند بچه های ریاضی) از یکی از کتاب هاش آوردم. دو نکته: ۱)…
Peter David Lax (1 May 1926 – 16 May 2025)
🫡15❤5
Mathematical Musings
Peter David Lax (1 May 1926 – 16 May 2025)
Interview with Peter D. Lax.pdf
343.1 KB
ظاهرا اولین ریاضیدان در زمینه ریاضیات کاربردی بوده که جایزه آبل رو در سال ۲۰۰۵ گرفته...
🔥7
فیلم "مرگ یک ریاضیدان ناپلی" به زندگی
Renato Caccioppoli
ریاضیدان ایتالیایی می پردازه. زمینه کلی کاری اش آنالیز بود، در زمینه های مختلف اون. در سال ۱۹۵۹ دست به خودکشی زد.
Renato Caccioppoli
ریاضیدان ایتالیایی می پردازه. زمینه کلی کاری اش آنالیز بود، در زمینه های مختلف اون. در سال ۱۹۵۹ دست به خودکشی زد.
❤10
آقای
Nicușor Dan
هستند، یکی از کاندیداهای ریاست جمهوری در رومانی. رقیبش سیاست های ضد اتحادیه اروپا داره ظاهرا.
خود آقای Dan دکتری ریاضی داره و دوبار در سال های ۱۹۸۷ و ۱۹۸۸ در المپیاد ریاضی مدال طلا گرفته.
https://www.theguardian.com/world/2025/may/17/between-a-mathematician-and-a-trump-loving-hooligan-romania-stark-presidential-choice
Nicușor Dan
هستند، یکی از کاندیداهای ریاست جمهوری در رومانی. رقیبش سیاست های ضد اتحادیه اروپا داره ظاهرا.
خود آقای Dan دکتری ریاضی داره و دوبار در سال های ۱۹۸۷ و ۱۹۸۸ در المپیاد ریاضی مدال طلا گرفته.
https://www.theguardian.com/world/2025/may/17/between-a-mathematician-and-a-trump-loving-hooligan-romania-stark-presidential-choice
🔥19
ظاهرا کانال یوتیوب تائو هم راه افتاده...
https://youtu.be/cyyR7j2ChCI?si=vRW8Wu0iO4ae51z-
https://youtu.be/cyyR7j2ChCI?si=vRW8Wu0iO4ae51z-
YouTube
Formalizing a proof in Lean using Github copilot and canonical
In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-page human proof of, and set the task of formalizing the proof in a very low-level, "line by line"…
🔥14
طرف CS کار بوده، زمینه کاری اش هم
metaheuristic and bioinspired algorithms
رفته یکی از دانشگاه های تاپ مسکو توی یکی از این به اصطلاح AI lab ها. از فساد و مشکلاتی که دیده نوشته، چند تاش رو می نویسم:
+گفته از شش نفر که تو Lab بودند سه نفر برنامه نویسی بلد نبودند.
+هیچ مقاله ای در زمینه هوش مصنوعی منتشر نکردند، با اینکه کارشون همین بوده.
+دوتا از آدم های اونجا با رئیس اونجا فامیل بودند و هیچ وقت سروکله شون اونجا پیدا نشده!
+مقاله فروشی ظاهرا رواج داره اونجا.
+دست آخر هم گفته: حقوقش ساعتی ۳ دلار بوده!
metaheuristic and bioinspired algorithms
رفته یکی از دانشگاه های تاپ مسکو توی یکی از این به اصطلاح AI lab ها. از فساد و مشکلاتی که دیده نوشته، چند تاش رو می نویسم:
+گفته از شش نفر که تو Lab بودند سه نفر برنامه نویسی بلد نبودند.
+هیچ مقاله ای در زمینه هوش مصنوعی منتشر نکردند، با اینکه کارشون همین بوده.
+دوتا از آدم های اونجا با رئیس اونجا فامیل بودند و هیچ وقت سروکله شون اونجا پیدا نشده!
+مقاله فروشی ظاهرا رواج داره اونجا.
+دست آخر هم گفته: حقوقش ساعتی ۳ دلار بوده!
👏14👍4❤1
Forwarded from CafeInfinity
The Early (and Peculiar) History of the Mobius Function.pdf
940.2 KB
دومین مقاله برنده جایزه شاونت ۲۰۲۲، مقالهای از ویلیام دونهام است که با عنوان «تاریخچه اولیه تابع موبیوس» در مجله ریاضیات چاپ شدهاست. ویلیام دونهام یک متخصص مشهور تاریخ ریاضیات است. چکیده مقاله را در زیر میبینید.
Summary. The Möbius function is a fxture of modern courses in number theory. It is usually traced back to an 1832 paper by August Ferdinand Möbius where the function unexpectedly arose in answer to an analytic, rather than a number theoretic, question. But perhaps more unexpected is that the function can be found in Leonhard Euler’s classic text, Introductio in analysis infnitorum, from 1748. Besides presenting the origins of what might be called the “Euler/ Möbius” function, this article is a reminder that the history of mathematics holds its share of surprises.
اطلاعات کتابشناسی مقاله دونهام به شرح زیر است:
William Dunham (2018) The Early (and Peculiar) History of the Möbius
Function, Mathematics Magazine, 91:2, 83-91, DOI: 10.1080/0025570X.2017.1413921
@CafeInfinity
Summary. The Möbius function is a fxture of modern courses in number theory. It is usually traced back to an 1832 paper by August Ferdinand Möbius where the function unexpectedly arose in answer to an analytic, rather than a number theoretic, question. But perhaps more unexpected is that the function can be found in Leonhard Euler’s classic text, Introductio in analysis infnitorum, from 1748. Besides presenting the origins of what might be called the “Euler/ Möbius” function, this article is a reminder that the history of mathematics holds its share of surprises.
اطلاعات کتابشناسی مقاله دونهام به شرح زیر است:
William Dunham (2018) The Early (and Peculiar) History of the Möbius
Function, Mathematics Magazine, 91:2, 83-91, DOI: 10.1080/0025570X.2017.1413921
@CafeInfinity
👍6
Mathematical Musings
Photo
به مناسبت تولد Bertrand Russell:
اون اصل سوم رو اگر وسوسه بشیم برداریم و به جاش اصل بالا رو بذاریم چه اتفاقی می افته؟
فرق شون در اینه که اون بالایی یعنی اصل سوم می گه یه P داریم به اسم property و بعد یک X هم داریم و بعد به کمک اون اصل، اون P رو روی اون X اعمال می کنیم و به مجموعه جدیدی می رسیم. مثلا P باشه "بچه هایی که نمره ریاضی شون ۲۰ شده" و X رو می گیریم بچه های یه مدرسه مثلا. حالا مجموعه Y می شه بچه هایی از اون مدرسه که نمره ریاضی شون ۲۰ شده.
در اصل بالا یعنی Comprehension دیگه X ایی وجود نداره، یعنی همین طوری با یه property مثل P، مجموعه می سازیم.
حالا P رو بگیرید "عضو خود نبودن"، به کمک اصل بالا مجموعه ای مثل Y هست که
Y={A:A∉A}
حالا Y عضو خودش هست یا نه؟
چه جواب مثبت بدیم به این سوال و چه جواب منفی به تناقض می رسیم و این به پارادوکس راسل معروفه.
برای اینکه به این تناقض نرسیم همون ورژن ضعیف ترش رو در نظر می گیریم(اصل ۳) یعنی حتما باید اون property رو، روی یک مجموعه اعمال کنیم. به قول هالموس بی مایه فطیره!
حالا پارادوکس بالا با وجود اصل ۳، یعنی ورژن ضعیف تر نه تنها پارادوکس نیست بلکه این رو به ما می گه که مجموعه همه مجموعه ها وجود نداره.
اون اصل سوم رو اگر وسوسه بشیم برداریم و به جاش اصل بالا رو بذاریم چه اتفاقی می افته؟
فرق شون در اینه که اون بالایی یعنی اصل سوم می گه یه P داریم به اسم property و بعد یک X هم داریم و بعد به کمک اون اصل، اون P رو روی اون X اعمال می کنیم و به مجموعه جدیدی می رسیم. مثلا P باشه "بچه هایی که نمره ریاضی شون ۲۰ شده" و X رو می گیریم بچه های یه مدرسه مثلا. حالا مجموعه Y می شه بچه هایی از اون مدرسه که نمره ریاضی شون ۲۰ شده.
در اصل بالا یعنی Comprehension دیگه X ایی وجود نداره، یعنی همین طوری با یه property مثل P، مجموعه می سازیم.
حالا P رو بگیرید "عضو خود نبودن"، به کمک اصل بالا مجموعه ای مثل Y هست که
Y={A:A∉A}
حالا Y عضو خودش هست یا نه؟
چه جواب مثبت بدیم به این سوال و چه جواب منفی به تناقض می رسیم و این به پارادوکس راسل معروفه.
برای اینکه به این تناقض نرسیم همون ورژن ضعیف ترش رو در نظر می گیریم(اصل ۳) یعنی حتما باید اون property رو، روی یک مجموعه اعمال کنیم. به قول هالموس بی مایه فطیره!
حالا پارادوکس بالا با وجود اصل ۳، یعنی ورژن ضعیف تر نه تنها پارادوکس نیست بلکه این رو به ما می گه که مجموعه همه مجموعه ها وجود نداره.
👍7🔥4❤1👎1🤔1