The Institute for Advanced Study is deeply saddened by the passing of Vladimir Voevodsky, Professor in the School of Mathematics.
Voevodsky, a truly extraordinary and original mathematician, made many contributions to the field of mathematics, earning him numerous honors and awards, including the Fields Medal.
Celebrated for tackling the most difficult problems in abstract algebraic geometry, Voevodsky focused on the homotopy theory of schemes, algebraic K-theory, and interrelations between algebraic geometry, and algebraic topology. He made one of the most outstanding advances in algebraic geometry in the past few decades by developing new cohomology theories for algebraic varieties. Among the consequences of his work are the solutions of the Milnor and Bloch-Kato Conjectures.
More recently he became interested in type-theoretic formalizations of mathematics and automated proof verification. He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories. His new "Univalence Axiom" has had a dramatic impact in both mathematics and computer science.
A gathering to celebrate Voevodsky’s life and legacy is being planned and more information will be available soon.
@infinitymath
👆👆👆👆👆👆👆👆
Voevodsky, a truly extraordinary and original mathematician, made many contributions to the field of mathematics, earning him numerous honors and awards, including the Fields Medal.
Celebrated for tackling the most difficult problems in abstract algebraic geometry, Voevodsky focused on the homotopy theory of schemes, algebraic K-theory, and interrelations between algebraic geometry, and algebraic topology. He made one of the most outstanding advances in algebraic geometry in the past few decades by developing new cohomology theories for algebraic varieties. Among the consequences of his work are the solutions of the Milnor and Bloch-Kato Conjectures.
More recently he became interested in type-theoretic formalizations of mathematics and automated proof verification. He was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Löf type theories. His new "Univalence Axiom" has had a dramatic impact in both mathematics and computer science.
A gathering to celebrate Voevodsky’s life and legacy is being planned and more information will be available soon.
@infinitymath
👆👆👆👆👆👆👆👆
فریدون شهیدی ریاضی دان برجسته و متخصص L-توابع هستند. پی در اف زیر که پیشگفتار شماره اختصاصی بولتن انجمن ریاضی ایران به مناسبت تولد 70 سالگی او میباشد مقدمه ای کوتاه بر زندگی علمی او میباشد.
@infinitymath👇👇👇👇👇👇
@infinitymath👇👇👇👇👇👇
http://bims.iranjournals.ir/issue_89_93_Volume+43%2C+Issue+4+%28Special+Issue%29%2C+August+2017%2C+Page+1-433.html
@infinitymath
شماره اختصاصی بولتن انجمن ریاضی به افتخار فریدون شهیدی.
@infinitymath
شماره اختصاصی بولتن انجمن ریاضی به افتخار فریدون شهیدی.
bims.iranjournals.ir
Bulletin of the Iranian Mathematical Society - Articles List
The Bulletin of the Iranian Mathematical Society (BIMS) is a publication of the Iranian Mathematical Society in English. It is published in six issues per year.
Forwarded from IUT Students
اعتماد يا تقلب؟
به لینک زیر برید و با حوصله بازی کنید
این بازی ( و به نوعی روایت از جنگ جهانی) به شما کمک می کنه بفهمید اعتماد کردن به دیگران یا متقلب بودن در بلندمدت چقدر به نفع شماست
https://hamed.github.io/trust/
بازی حدود ده - بیست دقیقه از شما زمان میبره
پیشنهاد میکنم این لینک رو برای دوستانتون بفرستید و تجربیاتتون رو بعد از انجام بازی به اشتراک بگذارين
به لینک زیر برید و با حوصله بازی کنید
این بازی ( و به نوعی روایت از جنگ جهانی) به شما کمک می کنه بفهمید اعتماد کردن به دیگران یا متقلب بودن در بلندمدت چقدر به نفع شماست
https://hamed.github.io/trust/
بازی حدود ده - بیست دقیقه از شما زمان میبره
پیشنهاد میکنم این لینک رو برای دوستانتون بفرستید و تجربیاتتون رو بعد از انجام بازی به اشتراک بگذارين
hamed.github.io
تکامل اعتماد
یک راهنمای تعاملی برای نظریه بازی درباره اینکه چرا به یکدیگر اعتماد میکنیم
Forwarded from سخنرانیهای تد TED talks
This media is not supported in your browser
VIEW IN TELEGRAM
فرمول آرتور بنجامین برای تغییر آموزش ریاضی (۲۰۰۹)
#Persuasive, #Inspiring
برای دیدن سخنرانیهای بیشتر TED میتوانید به کانال زیر مراجعه کنید:
@TEDPersianSubnoscript
#Persuasive, #Inspiring
برای دیدن سخنرانیهای بیشتر TED میتوانید به کانال زیر مراجعه کنید:
@TEDPersianSubnoscript
Forwarded from سخنرانیهای تد TED talks
This media is not supported in your browser
VIEW IN TELEGRAM
در منطق ریاضی جنگ (۲۰۰۹)
#Informative, #Fascinating
برای دیدن سخنرانیهای بیشتر TED میتوانید به کانال زیر مراجعه کنید:
@TEDPersianSubnoscript
#Informative, #Fascinating
برای دیدن سخنرانیهای بیشتر TED میتوانید به کانال زیر مراجعه کنید:
@TEDPersianSubnoscript
دو فایل زیرین ( با حجم و کیفیت مختلف ) از ویدیو مراسم یادبود مریم میرزاخانی در دانشگاه استانفورد میباشد که در روز 21 اکتبر برگزار شده است. توجه اینکه هر دو یکی هستند.
@infinitymath👇👇👇👇👇👇👇
@infinitymath👇👇👇👇👇👇👇
Forwarded from Infinity
Mirzakhani.pdf
56 KB
شجرهنامه علمی پروفسور میرزاخانی که به خواجه نصیرالدین طوسی میرسد.
| @infinitymath |
| @infinitymath |
مجله رشد آموزش ریاضی، شماره ۱۲۷. پاییز ۹۶ (ویژهنامه مریم میرزاخانی)
http://www.roshdmag.ir/fa/magazine2/showmagazine/26
http://www.roshdmag.ir/fa/magazine2/showmagazine/26
Forwarded from کانال پارسیلاتک
۴۰ ٪ تخفیف برای خرید محصولات غیرفیزیکی فروشگاه پارسیلاتک با وارد کردن کد تخفیف kermanshah
۶۰ ٪ باقیمانده عيناً به زلزلهزدگان اهدا میشود:
www.parsilatex.com/site/shop
@parsilatex
۰۸۳۳۷۲۳۵۲۲۹
۶۰ ٪ باقیمانده عيناً به زلزلهزدگان اهدا میشود:
www.parsilatex.com/site/shop
@parsilatex
۰۸۳۳۷۲۳۵۲۲۹