ویدیو زیر توسط گروه کلاین در Northwestern University اجرا شده است. این دانشجویان آهنگی با مزمون "Finite Simple Group (of Order Two)" که ترانه متن هم در زیر قرار میدم که پر از اصطلاحات ریاضی می باشد.
The path of love is never smooth
But mine's continuous for you
You're the upper bound in the chains of my heart
You're my Axiom of Choice, you know it's true
But lately our relation's not so well-defined
And I just can't function without you
I'll prove my proposition and I'm sure you'll find
We're a finite simple group of order two
I'm losing my identity
I'm getting tensor every day
And without loss of generality
I will assume that you feel the same way
Since every time I see you, you just quotient out
The faithful image that I map into
But when we're one-to-one you'll see what I'm about
'Cause we're a finite simple group of order two
Our equivalence was stable,
A principal love bundle sitting deep inside
But then you drove a wedge between our two-forms
Now everything is so complexified
When we first met, we simply connected
My heart was open but too dense
Our system was already directed
To have a finite limit, in some sense
I'm living in the kernel of a rank-one map
From my domain, its image looks so blue,
'Cause all I see are zeroes, it's a cruel trap
But we're a finite simple group of order two
I'm not the smoothest operator in my class,
But we're a mirror pair, me and you,
So let's apply forgetful functors to the past
And be a finite simple group, a finite simple group,
Let's be a finite simple group of order two
(Oughter: "Why not three?")
I've proved my proposition now, as you can see,
So let's both be associative and free
And by corollary, this shows you and I to be
Purely inseparable. Q.E.D.
(lyrics by Matt Salomone)
@infinitymath
The path of love is never smooth
But mine's continuous for you
You're the upper bound in the chains of my heart
You're my Axiom of Choice, you know it's true
But lately our relation's not so well-defined
And I just can't function without you
I'll prove my proposition and I'm sure you'll find
We're a finite simple group of order two
I'm losing my identity
I'm getting tensor every day
And without loss of generality
I will assume that you feel the same way
Since every time I see you, you just quotient out
The faithful image that I map into
But when we're one-to-one you'll see what I'm about
'Cause we're a finite simple group of order two
Our equivalence was stable,
A principal love bundle sitting deep inside
But then you drove a wedge between our two-forms
Now everything is so complexified
When we first met, we simply connected
My heart was open but too dense
Our system was already directed
To have a finite limit, in some sense
I'm living in the kernel of a rank-one map
From my domain, its image looks so blue,
'Cause all I see are zeroes, it's a cruel trap
But we're a finite simple group of order two
I'm not the smoothest operator in my class,
But we're a mirror pair, me and you,
So let's apply forgetful functors to the past
And be a finite simple group, a finite simple group,
Let's be a finite simple group of order two
(Oughter: "Why not three?")
I've proved my proposition now, as you can see,
So let's both be associative and free
And by corollary, this shows you and I to be
Purely inseparable. Q.E.D.
(lyrics by Matt Salomone)
@infinitymath
همانطور که میدانید، اگر میخواستید با استفاده از کلاس beamer به همراه xepersian اسلاید درست کنید، این کلاس اصلاً قابل استفاده نبود. اما چند وقتی است که با تلاشهای آقای دکتر وفا خلیقی، رفتار کلاس beamer در متون راست به چپ با استفاده از xepersian بهبود یافته است.
@infinitymath
برای استفاده از کلاس بیمر و تولید اسلایدهای فارسی باید ابتدا تکلایو 2015 خودتون رو بروز کنید. بعد از بروز کردن تکلایو، اگر کد زیر را اجرا کنید خروجی مناسب را دریافت خواهید کرد.
\documentclass{beamer}
\usetheme{Warsaw}
\usefonttheme{serif}
\usepackage{xepersian}
\settextfont{Yas}
\setdigitfont{Yas}
\noscript{یک اسلاید نمونه}
\subnoscript{زیرعنوان اسلاید}
\author{نام نویسنده}
\providetranslation{Example}{مثال}
\providetranslation{Definition}{تعریف}
\begin{document}
\begin{frame}
\makenoscript
\end{frame}
\begin{frame}{عنوان اسلاید این صفحه که در اینجا قرار میگیرد}
\begin{example}
این یک مثال است.
\end{example}
\begin{definition}
این یک تعریف است.
\end{definition}
\begin{proof}
این یک اثبات است که در اینجا نوشته میشود و فقط مقدار بیشتر متن و متن که نوشته میشود تا بتوانیم به سطر بعدی برویم.
\end{proof}
\end{frame}
\end{document}
@infinitymath
برای استفاده از کلاس بیمر و تولید اسلایدهای فارسی باید ابتدا تکلایو 2015 خودتون رو بروز کنید. بعد از بروز کردن تکلایو، اگر کد زیر را اجرا کنید خروجی مناسب را دریافت خواهید کرد.
\documentclass{beamer}
\usetheme{Warsaw}
\usefonttheme{serif}
\usepackage{xepersian}
\settextfont{Yas}
\setdigitfont{Yas}
\noscript{یک اسلاید نمونه}
\subnoscript{زیرعنوان اسلاید}
\author{نام نویسنده}
\providetranslation{Example}{مثال}
\providetranslation{Definition}{تعریف}
\begin{document}
\begin{frame}
\makenoscript
\end{frame}
\begin{frame}{عنوان اسلاید این صفحه که در اینجا قرار میگیرد}
\begin{example}
این یک مثال است.
\end{example}
\begin{definition}
این یک تعریف است.
\end{definition}
\begin{proof}
این یک اثبات است که در اینجا نوشته میشود و فقط مقدار بیشتر متن و متن که نوشته میشود تا بتوانیم به سطر بعدی برویم.
\end{proof}
\end{frame}
\end{document}
ابوتمام شاعر عرب قرن سوم متهم به تعقید کلام بود و سبک سخن دور از دسترس داشت. گویند باری به او گفتند: «چرا آنچه توان دریافت و فهمید نگویی؟ » گفت: «چرا آنچه گفته شود نتوان دریافت و فهمید؟»
ویتکنشتاین در دورهای معتقد بود «هر چه را اصلا بتوان اندیشید میتوان به روشنی اندیشید و هر چه را اصلا بتوان گفت میتوان به روشنی گفت».
اینکه این حکم با کلیت درست باشد جای گفتگو دارد، اما گمان میکنم در مورد ریاضیات، بیشتر ما معتقد باشیم که واقعاً هر چه را اصلا بتوان گفت، میتوان به روشنی گفت. از طرف دیگر، کمابیش همه ما دیدهایم که در مقالات (و حتی در کتابهای) ریاضی این توانایی همیشه به فعلیت نمیرسد. چرا چنین است؟
جواب به این سوال را در مقاله «نگارش ریاضیات: الف، ب، پ» در ذیل این مطلب ببینید.
ویتکنشتاین در دورهای معتقد بود «هر چه را اصلا بتوان اندیشید میتوان به روشنی اندیشید و هر چه را اصلا بتوان گفت میتوان به روشنی گفت».
اینکه این حکم با کلیت درست باشد جای گفتگو دارد، اما گمان میکنم در مورد ریاضیات، بیشتر ما معتقد باشیم که واقعاً هر چه را اصلا بتوان گفت، میتوان به روشنی گفت. از طرف دیگر، کمابیش همه ما دیدهایم که در مقالات (و حتی در کتابهای) ریاضی این توانایی همیشه به فعلیت نمیرسد. چرا چنین است؟
جواب به این سوال را در مقاله «نگارش ریاضیات: الف، ب، پ» در ذیل این مطلب ببینید.
آلن تورینگ یکی از بزرگترین یا می توان گفت نابغه ترین ریاضیدانان بریتانیایی بود که به پدر علم محاسبه نوین و هوش مصنوعی معروف است. « بازی تقلید » را می توان یکی از ده ها دستاورد مهم تورینگ در دوران کاری اش به حساب آورد.
https://fa.wikipedia.org/wiki/%D8%A2%D9%84%D9%86_%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF
https://fa.wikipedia.org/wiki/%D8%A2%D8%B2%D9%85%D9%88%D9%86_%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF
بازی تقلید (به انگلیسی: The Imitation Game) فیلمی مهیج تاریخ درباره زندگی آلن تورینگ و محصول مشترک بریتانیا و ایالات متحده در سال ۲۰۱۴ میباشد. "بازی تقلید"برنده "جایزه انتخاب مردم"، مهمترین جایزه سی و نهمین دوره جشنواره فیلم تورنتو شد.
@infinitymath
دیدن این فیلم را به همه دوستداران ریاضی پیشنهاد میکنم.
https://fa.wikipedia.org/wiki/%D8%A2%D9%84%D9%86_%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF
https://fa.wikipedia.org/wiki/%D8%A2%D8%B2%D9%85%D9%88%D9%86_%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF
بازی تقلید (به انگلیسی: The Imitation Game) فیلمی مهیج تاریخ درباره زندگی آلن تورینگ و محصول مشترک بریتانیا و ایالات متحده در سال ۲۰۱۴ میباشد. "بازی تقلید"برنده "جایزه انتخاب مردم"، مهمترین جایزه سی و نهمین دوره جشنواره فیلم تورنتو شد.
@infinitymath
دیدن این فیلم را به همه دوستداران ریاضی پیشنهاد میکنم.
