stanford-oval/wikipedia huggingface dataset:
بیت برش
تاریخچه

برش بیتی در گذشته به این نام شناخته نمی‌شد. درگذشته از آی‌سی‌هایی با مقیاس بزرگ در کامپیوتر‌ها استفاده می‌شد. (پردازنده‌های امروزی آی‌سی‌هایی با مقیاس بسیار بزرگ دارند). نخستین بیت برش با نام EDSAC2 در دانشگاه کمبریج، آزمایشگاه ریاضیات در سال ۱۹۵۶ ساخته شد.
از اواسط دهه ۱۹۷۰ تا اواخر دهه ۱۹۸۰، مباحثی در مورد نیاز به پهنای باند مناسب برای اجرای توابع پیچیده در رایانه‌ها مطرح بود. در این دوره، فناوری تراشه‌های سیلیکونی بسیار پرهزینه‌تر از امروز بود و استفاده از واحدهای حساب و منطق چندگانه به‌عنوان راهکاری ساده‌تر و ارزان‌تر برای افزایش کارایی و قدرت محاسباتی در نظر گرفته می‌شد. این بحث‌ها همزمان با معرفی و توسعه معماری‌های ۳۲ بیتی، مانند پردازنده‌ی #تغییرمسیر Motorola 68000 که در سال ۱۹۷۹ عرضه شد، شدت یافت. این پردازنده با وجود استفاده از گذرگاه داده و مسیرهای داخلی ۱۶ بیتی، طراحی ۳۲ بیتی را در مدل برنامه‌نویسی خود معرفی کرد. همچنین، پردازنده‌های دیگری مانند BELLMAC-32A از AT&T و iAPX 432 از Intel، هر یک با قابلیت‌ها و نقاط قوت و ضعف خاص خود، به این تحول کمک کردند و زمینه‌ساز توسعه سیستم‌های محاسباتی پیشرفته‌تری در آن دوران شدند.
مین فریم یونیوک ۱۱۰۰، دارای معماری ۳۶ بیتی بود. مدل ۱۱۰۰/۶۰ که در سال ۱۹۷۹ معرفی شد، از ۹ تراشه موتورولا ۱۰۸۰۰ چهار بیتی استفاده کرد تا پهنایی را که مدارات مجتمع مدرن نیاز داشتند، پشتیبانی کند.
در آن زمان که پردازنده‌های ۱۶ بیتی متداول اما گران‌قیمت بودند پردازنده‌های ۸ بیتی مانند میکروپروسسور z80 به‌صورت گسترده‌ای مورد استفاده قرار می‌گرفتند.
ترکیب مؤلفه‌ها برای تولید محصولات برش بیت، به مهندسان و دانشجویان اجازه داد تا بتوانند کامپیوترهای قدرتمندتر و پیچیده‌تری بسازند که هزینه معقولانه‌تری داشته باشد. آن‌ها با استفاده از مؤلفه‌های off-the-shelf توانستند که پیکربندی سفارشی را بسازند.
زمانی که به‌طور مداوم برش پلاسما پیشرفت می‌کرد، اولین دستگاه برش لیزری فلز برای استفاده در ایالات متحده و تورنتو در سال ۱۹۶۵ طراحی شد. پس از آن مقاله‌ای از طرف شرکت بوئینگ در سال ۱۹۶۹ در رابطه با برش پلاسما منتشر شد.
پیچیدگی ساخت معماری کامپیوتر‌های جدید به صورت چشم‌گیری کاهش پیدا کرد؛ زیرا جزئیات واحدهای حساب و منطق از قبل مشخص شده‌بود. مزیت اصلی برش بیت این بود که از لحاظ اقتصادی باعث شد که بتوان پردازنده‌های کوچک‌تری با استفاده از ترانزیستورهای دوقطبی ساخت؛ همچنین بسیار سریع‌تر از ترانزیستورهای سیماس یا NMOS بود؛ و اجازه می‌داد تا جایی که سرعت نیازمند است نرخ کلاک بالاتر برود.[نیازمند منبع]
استفاده امروزی

واژهٔ برش بیت توسط متیو کوان (Matthew Kwan) ابداع شد؛ این روش از تکنیک‌های اهداف کلی واحد پردازش مرکزی (به انگلیسی:CPU) استفاده می‌کند تا بتوان چندین ماشین مجازی ساده موازی شده را اجرا کرد. این کار به وسیله دستورهای منطقی کلی بر روی ماشین‌های مبتنی بر یک دستور چند داده‌ای انجام می‌گیرد، این تکنیک همچنین با نام SWAR شناخته می‌شود.
جکسون رادبون

| جکسون رادبون | جکسون رادبون |
| --- | --- |
جکسون رادبون، ۲۰۱۳: جکسون رادبون، ۲۰۱۳
نام هنگام تولد: مونرو جکسون رادبون پنجم
زادهٔ: ۱۴ دسامبر ۱۹۸۴ ‏(۳۹ سال) سنگاپور
پیشه(ها): بازیگر، موزیسین
سال‌های فعالیت: ۲۰۰۵-اکنون
وبگاه: jacksonrathbone.com
مونرو جکسون رادبون (به انگلیسی: Monroe Jackson Rathbone) (زاده ۱۴ دسامبر ۱۹۸۴) بازیگر و موزیسین آمریکایی است. او عمده شهرت و محبوبیتش را به خاطر بازی در نقش جاسپر هیل در مجموعه فیلم‌های گرگ و میش و نقش ساکا در فیلم آخرین بادافزار بدست آورد.
زندگی

او در سنگاپور زاده شد و سپس زندگی در مکان‌های مختلفی، از اندونزی گرفته تا میدلند تگزاس را تجربه کرد. جکسون اولین بار تئاتر موزیکال را از انجمن تئاتر پیکویک پلیرز تگزاس شروع کرد که انجمنی آموزشی برای هنرمندان جوان است. در سال‌های ابتدایی و انتهایی دوران دبیرستان، توجه او به آکادمی هنری اینترلوکن جلب شد، مدرسه ای تخصصی در میشیگان که رادبون دوران حرفه‌ای آموزش تئاتر را در آن گذراند. پس از فراغت از تحصیل او تصمیم گرفت برای پیگیری رشتهٔ مورد علاقه‌اش به آکادمی سلطنتی اسکاتلندی موزیک و فیلم برود، اما در عوض به لس آنجلس رفت تا آزمایشی هیجان انگیز در مورد پردهٔ سینما انجام دهد.
بعد از مدت کوتاهی اقامت در ال ای، جکسون نقشی در برنامهٔ دیزنی ۴۱۱ گرفت که هنرمندانی نظیر هیلاری داف و خواهران آلی و ای جی در آن حضور داشتند. او همچنین در سریالهای o.c. و نزدیک به خانه، به عنوان هنرپیشهٔ مهمان ایفای نقش کرد. از جمله فیلم‌های سینمایی او می‌توان به Molding Clay، دعای صبحگاه، و تراویس و هنری اشاره کرد.
در سال ۲۰۰۸ جکسون نقش ستوده شدهٔ جاسپر هیل خون‌آشام را در فیلم گرگ و میش بازی کرد که اولین قسمت از سری فیلم‌های اقتباسی رمان مشهور استفانی مه یر بود. در سال ۲۰۰۹ رادبون نقش جرمی را در اس دارکو بازی کرد و در دنباله روی از این نقش، او رول قاتلی چند شخصیتی را در سریال ذهنهای جنایتکار ایفا کرد. او برای بازی در نقش ساکا در فیلم آخرین بادافزار قرار داد امضا کرد که در سال ۲۰۱۰ اکران شد، این فیلم اقتباسی از سری برنامه‌های انیمیشنی آواتار: آخرین بادافزار است.
جکسون خود نیز یک موسیقیدان است. او در اوقات فراغتش از فیلم و سینما، به موزیک، نویسندگی، خوانندگی و تهیه کنندگی می‌پردازد. باند موسیقی او که صد میمون نام دارد، تشکیل شده از خودش، دو نفر از دوستان نزدیک و قدیمی اش که در آکادمی اینترلوکن با آن‌ها آشنا شده و چند نفر دیگر. باند صد میمون قصد دارد اولین آلبوم خود را که از ضبط اجراهای زندهٔ گروه ساخته شده، اواخر امسال منتشر کند. از ساخته‌های دست خود جکسون می‌توان به فیلم مستند پشت صحنهٔ اس دارکو، فیلم کمدی درد است، و فیلم تلویزیونی جشنوارهٔ انتخابی هنرمندان نیکلودئون اشاره کرد.
فیلم‌شناسی

| سال | نام فیلم | نقش |
| --- | --- | --- |
| ۲۰۰۵ | River's End | جیمی |
| ۲۰۰۵ | نزدیک به خانه | اسکات فیلدز |
| ۲۰۰۵ | دعای صبحگاهی | کانر |
| ۲۰۰۶ | The O.C. | جاستین ادواردز |
| ۲۰۰۶ | مردم زیبا | نیکلاس فیسک |
| ۲۰۰۷ | درهٔ روشنایی | تراویس |
| ۲۰۰۷ | جنگ در خانه | دیلان |
| ۲۰۰۷ | Big Stan | رابی هیپی |
| ۲۰۰۸ | Senior Skip Day | اسنیپی |
| ۲۰۰۸ | The Cleaner | جویی |
| ۲۰۰۸ | Hurt | کنراد کولتران |
| ۲۰۰۸ | دوباره جوان | اتان |
| ۲۰۰۸ | گرگ و میش | جاسپر هیل |
| ۲۰۰۹ | DaZe: Vol. Too (sic) | جوزفت |
| ۲۰۰۹ | اس دارکو | جرمی |
| ۲۰۰۹ | وحشت | استیفن گریس |
| ۲۰۰۹ | ذهنهای جنایتکار | آدام جکسون |
| ۲۰۰۹ | ماه نو | جاسپر هیل |
| ۲۰۱۰ | آخرین بادافزار | سوکا |
| ۲۰۱۰ | کسوف | جاسپر هیل |
| ۲۰۱۰ | ارباب آشوب | ورگ ویکرنس |
| ۲۰۱۲ | گرگ و میش: سپیده‌دم - قسمت دوم |  |
|  | یقه سفید |  |
|  | فرشتگان و دختران گاوچران | جاستین وود |
|  | سامسون |  |
| ۲۰۲۲ | تا اینکه همدیگه رو ملاقات کنیم | ادی |
:
اد لاتر

| اد لاتر | اد لاتر |
| --- | --- |
لاتر، ح. ۱۹۷۵: لاتر، ح. ۱۹۷۵
نام هنگام تولد: Edward Matthew Lauter Jr.
زادهٔ: ۳۰ اکتبر ۱۹۳۸ لانگ بیچ، نیویورک، ایالات متحده آمریکا
درگذشت: ۱۶ اکتبر ۲۰۱۳ (۷۴ سال) لس آنجلس، کالیفرنیا، ایالات متحده آمریکا
آرامگاه: گورستان وست‌وود
محل تحصیل: C.W. Post College, B.A. ۱۹۶۱
پیشه: هنرپیشه
سال‌های فعالیت: ۱۹۶۸–۲۰۱۳
همسر: ۵مین همسر: Mia Roberts Lauter (۲۰۰۹–۲۰۱۳; مرگ اد)
فرزندان: ۴
اد لاتر (انگلیسی: Ed Lauter؛ زاده ۳۰ اکتبر ۱۹۳۸ درگذشته ۱۶ اکتبر ۲۰۱۳) هنرپیشه اهل ایالات متحده آمریکا بود. وی بین سال‌های ۱۹۶۸ تا ۲۰۱۳ میلادی فعالیت می‌کرد.
گزیده فیلمشناسی

از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به آثار زیر اشاره کرد.
هفت سوار دلاور (۱۹۷۲)
بد کمپانی (فیلم ۱۹۷۲) (۱۹۷۲)
طولانی‌ترین فاصله (فیلم ۱۹۷۴) (۱۹۷۴)
ارتباط فرانسوی ۲ (۱۹۷۵)
گذرگاه بریکهارت (۱۹۷۵)
توطئه خانوادگی (۱۹۷۶)
کینگ کونگ (فیلم ۱۹۷۶) (۱۹۷۶)
بوفالوی سفید (۱۹۷۷)
شعبده‌بازی (فیلم ۱۹۷۸) (۱۹۷۸)
شکار مرگ (۱۹۸۱)
آماتور (فیلم ۱۹۸۱) (۱۹۸۱)
یورکا (فیلم) (۱۹۸۳)
کوجو (فیلم) (۱۹۸۳)
لاسیتر (۱۹۸۴)
نابغه واقعی (۱۹۸۵)
دخترها فقط می‌خواهند لذت ببرند (فیلم) (۱۹۸۵)
آرزوی مرگ ۳ (۱۹۸۵)
یانگبلاد (فیلم ۱۹۸۶) (۱۹۸۶)
ستیزه‌جویان (۱۹۸۶)
انتقام منصفانه (۱۹۸۶)
مرد چاق و پسر کوچک (۱۹۸۹)
متولد چهارم جولای (۱۹۸۹)
بهشت آبی من (فیلم ۱۹۹۰) (۱۹۹۰)
موشک‌زن (فیلم) (۱۹۹۱)
روابط مدرسه (۱۹۹۲)
عدالت شدید (۱۹۹۳)
داستان عاشقانه واقعی (۱۹۹۳)
ترک لاس وگاس (۱۹۹۵)
آبشارهای مالهالند (۱۹۹۶)
برترین‌های جهان (فیلم ۱۹۹۷) (۱۹۹۷)
پایتون (فیلم) (۲۰۰۰)
سیزده روز (فیلم) (۲۰۰۰)
نه یه فیلم نوجوانی دیگه (۲۰۰۱)
جنتلمن راهزن (۲۰۰۲)
سیبیسکوت (فیلم) (۲۰۰۳)
کتابداران (فیلم) (۲۰۰۳)
طولانی‌ترین فاصله (۲۰۰۵)
پرپل هارت (فیلم) (۲۰۰۵)
شب‌های تالادگا (۲۰۰۶)
سرافیم فالز (۲۰۰۶)
شماره ۲۳ (۲۰۰۷)
کمیل (فیلم ۲۰۰۸) (۲۰۰۸)
آرتیست (۲۰۱۱)
مشکلی با منحنی (۲۰۱۲)
کنن (۱۹۷۲)
آیرونساید (مجموعه تلویزیونی) (۱۹۷۲)
خیابان‌های سان‌فرانسیسکو (۱۹۷۲–۱۹۷۳)
خانواده والتون (مجموعه تلویزیونی) (۱۹۷۶)
کوجک (مجموعه تلویزیونی) (۱۹۷۶)
باره‌تا (۱۹۷۵)
فرشتگان چارلی (مجموعه تلویزیونی) (۱۹۷۷)
کارآگاه راکفورد (۱۹۷۷)
هاوایی فایو-او (۱۹۸۰)
پرده دو (۱۹۸۶)
ایکوالایزر (مجموعه تلویزیونی) (۱۹۸۷–۱۹۸۸)
پیشتازان فضا: نسل بعدی (۱۹۹۲)
پرونده‌های ایکس (۱۹۹۳)
واکر، رنجر تگزاس (۱۹۹۷)
بخش فوریت‌های پزشکی (مجموعه تلویزیونی) (۱۹۹۸)
هفت دلاور (مجموعه تلویزیونی) (۱۹۹۹)
افسون‌شده (۲۰۰۱)
سی‌اس‌آی (۲۰۰۲)
جاگ (مجموعه تلویزیونی) (۲۰۰۴)
پرونده سرد (۲۰۰۸)
آناتومی گری (مجموعه تلویزیونی) (۲۰۰۸)
غیب‌گو (مجموعه تلویزیونی) (۲۰۰۹–۲۰۱۰)
بی‌شرم (مجموعه تلویزیونی آمریکایی) (۲۰۱۲–۲۰۱۳)
اداره (مجموعه تلویزیونی آمریکایی) (۲۰۱۳)
آروس آزناووریان

آروس آزناووریان (ارمنی: Արուս Միսաքի Ազնավուրյան؛  ۱۶ ژانویهٔ ۱۹۰۴ – ۱۳ فوریهٔ ۱۹۸۹) یک بازیگر اهل ارمنستان بود. وی بین سال‌های - تا - میلادی فعالیت می‌کرد.
زندگی‌نامه

وی در ۲۹ ژانویه [سبک قدیمی: ۱۶ ژانویه] ۱۹۰۴ در تفلیس به دنیا آمد . وی عمه شارل آزناوور بود. وی در تئاتر دراماتیک دولتی وارطان آجمیان گیومریفعالیت می‌کرد. وی همچنین برندهٔ جوایزی همچون هنرمند مردمی ارمنستان شوروی (۱۹۶۷) شده است. وی در در سن سالگی در ایروان درگذشت.
گزیده فیلمشناسی

از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به ترانه ایام گذشته (۱۹۸۲)، آرئویک (۱۹۷۸)، آفتاب پاییزی، اشاره کرد.
جمهوری خلق تووا

جمهوری خلق تووا (تووایی: Тыва Арат Республик؛ ینگه‌الفبا: Tьvа Arat Respuʙlik)، که تا سال ۱۹۲۶ به نام جمهوری خلق توننا تووا شناخته می‌شد، یک دولت سوسیالیستی با رسمیت محدود بود که میان سال‌های ۱۹۲۱ و ۱۹۴۴ وجود داشت. این کشور در همان منطقه تحت‌الحمایه پیشین تووا در امپراتوری روسیه یا جمهوری تووای امروزی در فدراسیون روسیه قرار دارد.
اتحاد شوروی و مغولستان تنها کشورهایی در جهان بودند که این کشور را به رسمیت می‌شناختند (به ترتیب در ۱۹۲۴ و ۱۹۲۶). این کشور بیشتر به عنوان دولت دست‌نشانده شوروی شناخته می‌شد و پس از یک دوره افزایش نفوذ شوروی، سرانجام در اکتبر ۱۹۴۴ به جمهوری روسیه این اتحادیه پیوست.
جمعیت

|  | ۱۹۱۸ | ۱۹۳۱ | ۱۹۴۴ | ۱۹۵۸ |
| --- | --- | --- | --- | --- |
| تووایی | ۴۸٬۰۰۰ | ۶۴٬۹۰۰ | ۸۱٬۱۰۰ | ۹۸٬۰۰۰ |
| روس و سایر | ۱۲٬۰۰۰ | ۱۷٬۳۰۰ | ۱۴٬۳۰۰الف | ۷۳٬۹۰۰ |
| کل | ۶۰٬۰۰۰ | ۸۲٬۲۰۰ | ۹۵٬۴۰۰ | ۱۷۱٬۹۰۰ |
کاهش جمعیت روس به دلیل خدمت وظیفه عمومی ارتش سرخ در زمان جنگ جهانی دوم بود.
خروشتی

| کهروشتی  | کهروشتی  |
| --- | --- |
نوع: ابوگیدا
زبان‌ها: زبان گنداری
دورهٔ زمانی: قرن ۴ پیش از میلاد تا قرن ۳ میلادی
سامانهٔ مادر:  هیروگلیف مصریProto-Sinaitic scriptالفبای فنیقیکهروشتی 
سامانهٔ خواهر: Brahmi script Nabataean alphabet الفبای سریانی الفبای تدمری Mandaic alphabet خط پهلوی الفبای سغدی
ایزو ۱۵۹۲۴: Khar, 305
جهت: راست به چپ
مخفف یونیکد: Kharoshthi
دامنه یونیکد: U+10A00–U+10A5F
کهروشتی نام دبیره باستانی بود که در گنداره باستان استفاده می‌شد. از این نظام نوشتاری برای نوشتن زبان‌های گنداری و سانسکریت استفاده می‌شد. همچنین این خط در بلخ، سغد و امپراتوری کوشان نیز استفاده می‌شد.
اصل موضوع انتخاب

اصل موضوع انتخاب (به انگلیسی: Axiom of choice) از مهم‌ترین و جنجال برانگیزترین اصول موضوع نظریه مجموعه‌ها است. این اصل می‌گوید اگر تعدادی مجموعه ناتهی (متناهی یا نامتناهی) در اختیار داشته باشیم، می‌توان تابعی را تشکیل داد که از هر مجموعه دقیقاً یک عضو خاص را انتخاب کند.
این اصل به‌طور ضمنی بارها توسط جرج کانتور مورد استفاده قرار گرفته بود ولی ارنست تسرملو برای اولین بار به‌طور رسمی آن را جز اصول موضوع نظریه مجموعه‌های تسرملو فرانکل یا همان ZF قرار داد و از آن برای اثبات قضیه شگفت‌آور خود، قضیه خوش‌ترتیبی، استفاده کرد. امروزه این اصل به ویژه در توپولوژی، جبر و آنالیز کاربردهای فراوانی دارد و بدون در نظر گرفتن آن بسیاری از قضایای ریاضی همچون لم زرن قابل اثبات نمی‌باشند.
اصل موضوع انتخاب

اصل موضوع انتخاب دارای معادل‌های زیادی است و لذا در بیان این اصل چند روش را می‌توان اتخاذ کرد، اما نکته مهم در همه آن‌ها این است که همه آن‌ها با هم هم ارزاند و با پذیرش هر یک می‌توان سایرین را نتیجه گرفت. ما در اینجا این اصل را به روش‌های مختلفی بیان می‌کنیم و خواننده خود می‌تواند تعریف مناسب و قابل درک را برای خود گزینش کند.
بادقت در چنین تابعی که اصل موضوع انتخاب وجود آن را تضمین می‌کند، می‌توان در یافت چنین تابعی عمل انتخاب دقیقاً یک عضو از هر مجموعه را انجام می‌دهد، و لذا آن را تابع انتخاب می‌گوییم. به این ترتیب اصل موضوع انتخاب بیان می‌کند برای هر دسته ناتهی از مجموعه‌های ناتهی تابع انتخاب وجود دارد.
هچنین فرض کنید X مجموعه‌ای غیر تهی باشد. در این صورت مقصود از یک تابع انتخاب برای X تابعی چون f با دامنه  P(X)-\{\varnothing \} است که برای هر عضو چون A از دامنه f(A)∈A.
حال با کمی تغییر فرض کنید دسته ناتهی  {\mathcal {C}} از مجموعه‌ها را توسط مجموعه I اندیس‌گذاری شده باشد. در این صورت  {\mathcal {C}} را می‌توان به عنوان خانوده‌ای از مجموعه‌های اندیس شده چون  \{A_{i}\}_{i\in I} در نظر گرفت. حال اصل انتخاب را می‌توان به صورت زیر بیان کرد:
f:I\to \cup _{i\in I}A_{i} وجود دارد که برای هر i∈I داشته باشیم  f(i)\in A_{i}.
چنین تابعی نیز عمل انتخاب را انجام می‌دهد و برای هر i∈I عضو (f(i را از Ai انتخاب می‌کند. با کمی تغییر در نمادگذاری اگر برای هر i∈I قرار دهیم f(i)=ai در این صورت اصل موضوع انتخاب وجود خانواده  \{a_{i}\}_{i\in I} را تضمین می‌کند که برای هر ai∈Ai, i∈I.
حال از دیدی دیگر به مسئله نگاه می‌کنیم. فرض کنید  \{A_{i}\}_{i\in I} خانواده‌ای ناتهی از مجموعه‌های ناتهی باشد. در این صورت می‌دانیم حاصل ضرب دکارتی خانواده یادشده عبارت است از مجموعه
یا به بیان فعلی مجموعه همه توابع انتخاب برای خانواده Ai}i∈I}. اصل موضوع انتخاب وجود حداقل یک تابع انتخاب را برای این خانواده تضمین می‌کند، ولذا حاصل ضرب دکارتی این خانواده ناتهی است. اصل موضوع انتخاب را می‌توان چنین بیان کرد:
اگر  \{A_{i}\}_{i\in I} خانواده‌ای ناتهی از مجموعه‌های ناتهی باشد، در این صورت مطابق تعریف، حاصل ضرب دکارتی این خانواده ناتهی است اگر و فقط اگر تابع  f:I\to \cup _{i\in I}A_{i} موجود باشد که برای هر i∈I داشته باشیم  f(i)\in A_{i}. پس این بیان از اصل موضوع انتخاب با آنچه در گذشته بیان کردیم هم ارز است.
نمونه‌ای دیگر از انبوه صورت‌های بیان اصل موضوع انتخاب، اصل تسرملو است.
گویا این مورد را تسرملو بیان کرده‌است و لذا به آن اصل تسرملو یا اصل موضوع انتخاب به بیان تسرملو می‌گویند.
می‌توان ثابت کرد این اصل تسرملو با بیان‌های قبلی از اصل موضوع انتخاب معادل است.
کاربرد اصل موضوع انتخاب و قضایای هم ارز آن

در حقیقت استفاده از اصل موضوع انتخاب در همه موارد ضروری نیست. به عبارت دیگر تا جایی که بتوان عمل انتخاب و نحوه انتخاب را صریحاً بیان کرد نیازی به استفاده از این اصل نیست.
به عنوان مثال مجموعه همه زیرمجموعه‌های ناتهی، مجموعه اعداد طبیعی را در نظر بگیرید. بنا به اصل خوشترتیبی اعداد طبیعی، هر زیرمجموعه از اعداد طبیعی داری عضو ابتدا(مینیمم) است. حال می‌توان عمل انتخاب یک عضو از هر زیرمجموعه N را بدون استفاده از اصل موضوع انتخاب صریحاً با تعریف تابع f، با دامنه مجموعه همه زیرمجموعه‌های ناتهی اعداد طبیعی، به صورت کوچک‌ترین عضو مجموعه f(A)= A، انجام داد.
مشکل زمانی رخ می‌دهد که نتوان قانونی خاص برای انجام انتخاب معرفی کرد به عنوان مثال عمل مشابه را نمی‌توان برای زیرمجموعه‌های ناتهی اعداد حقیقی انجام داد چرا که دیگر مجموعه اعداد حقیقی خوش‌ترتیب نمی‌باشد.
اصل موضوع انتخاب امکان انجام چنین انتخاب‌هایی را تضمین می‌کند. آنچه این اصل بیان می‌کند صرفاً وجود چنین امکانی است، وجود یک تابع انتخاب، ولی هیچ روشی برای مشخص کردن آن‌ها ارائه نمی‌کند. بنابراین اثبات‌هایی که به‌وسیله اصل موضوع انتخاب انجام می‌گیرند همگی وجودی محض و نه سازنده هستند. همه آن‌ها از وجود یک تابع انتخاب سخن می‌گویند و وجود آن را تضمین می‌کنند ولی آن را معرفی نمی‌کنند و روشی برای این کار هم پیشنهاد نمی‌کند.
همین امر از دلایل عمده جنجالی بودن این اصل است. برخی در ابتدا آن را نفی می‌کردند و علیه آن مقالات انتقادی زیادی نوشته‌اند. علت این امر این است که معمولاً در قضایای وجودی برای اثبات قضیه، نمونه‌ای از آنچه قضیه مدعی وجود آن است را می‌سازند و به این ترتیب حکم ثابت می‌شود، اما اثبات‌هایی که به کمک این اصل انجام می‌گیرند همگی غیرسازنده هستند و روشی برای تعیین دقیق آنچه قضیه مدعی وجود آن است را ارائه نمی‌کند. معروف‌ترین این قضایا قضیه خوشترتیبی است که با اصل موضوع انتخاب هم ارز نیز هست. این قضیه مدعی است هر مجموعه را می‌توان خوشترتیب کرد اما روشی برای خوشترتیب کردن آن ارائه نمی‌کند. بر این اساس مجموعه اعداد حقیقی قابل خوش ترتیب شدن است ولی تاکنون کسی چنین خوش ترتیبی را پیدا نکرده‌است.
در مورد استفاده از این اصل رسم بر این است که هنگام استفاده از آن بر خلاف سایر اصول موضوع استفاده از آن ذکر شود.
نکته جالب این است که همان‌طور که اصل موضوع انتخاب، قضیه خوشترتیبی را ثابت می‌کند، با در نظر گرفتن قضیه خوشترتیبی به عنوان فرض، می‌توان اصل موضوع انتخاب را به عنوان یک قضیه ثابت کرد. این امر نشان می‌دهد اصل موضوع انتخاب با قضیه خوشترتیبی هم ارز است، اما این تنها صورت هم ارز این اصل نیست.
در زیر فهرستی از برخی قضایای هم ارز با اصل موضوع انتخاب را می‌بینید که البته اثبات هم ارز بودن آن‌ها با اصل انتخاب فنی است و می‌توانید برخی از آن‌ها را در مقاله مخصوص خودشان بیابید:
اصل ماکسیمال هاوسدورف
لم زرن
قضیه خوشترتیبی
اصل تسرملو
همچنین در زیر فهرستی از برخی قضایا را که از اصل انتخاب نتیجه می‌شوند را می‌بینید:
قضیه کونیگ
اصل تثلیث برای اعداد اصلی، هر دو عدد اصلی مقایسه پذیر اند.
هر مجموعه نامتناهی دارای زیرمجموعه‌ای شمارای نامتناهی است.
هر فضای برداری یک پایه دارد.
هر حلقه یکدار و غیر بدیهی دارای ایدآل(جبر) ماکسیمال سره‌است.
تاریخچه و سازگاری اصل موضوع انتخاب

اصل موضوع انتخاب در اوایل ۱۸۸۰، به‌طور ضمنی توسط جرج کانتور مورد استفاده قرار می‌گرفت. در حقیقت او در اثبات بسیاری از قضایا از استدلال‌هایی استفاده کرده بود که معادل با اصل موضوع انتخاب بودند، اما او آگاه نبود که در حقیقت یک اصل موضوع قوی و جدید را بکار می‌برد.
در سال ۱۹۰۴، ارنست تسرملو، بعد از انجام مطالعاتی دقیق، اصل انتخاب را رسماً وارد اصول موضوع نظریه مجموعه‌ها یعنی همان ZF کرد و از آن برای اثبات قضیه خوش ترتیبی استفاده کرد.
قرار دادن این اصل در فهرست اصول موضوع نظریه مجموعه‌ها از یک سو و نتایجی و قضایایی که از آن حاصل می‌شوند از سوی دیگر موجب بروز بحث‌های زیادی در مورد این اصل شد.
اولین گروه از ریاضیدانان که شاید مشهورترین آن‌ها پئانو بود، این اصل را رد کردند چرا که به عنوان مثال قضیه خوشترتیبی بیان می‌کند مجموعه اعداد حقیقی خوشترتیب شدنی است، در حالی که روشی برای تعیین آن ارائه نمی‌دهد و تاکنون ما نمی‌دانیم این خوش‌ترتیبی چیست. اما با این وجود اگر اصل موضوع انتخاب را می‌پذیرفتند هیچ اشتباهی در برهان تسرملو یافت نمی‌شد.
به این ترتیب دو راه در مورد این اصل وجود دارد:
مبنا را براین قرار دهیم که فقط نتیجه‌ها و قضایای ساخته شدند را بپذیریم و نتیجه‌های وجودی محض را نپذیریم. در این صورت روش‌ها و عرصه ریاضیات آنقدر محدود خواهند شد که خارج از حساب، نتها زمینه بسیار کوچکی را می‌توان بررسی کرد.
نتیجه‌های ساخته شدند و وجودی محض، از جمله اصل موضوع انتخاب را بپذیریم و در نتیجه به حل مسائل بیشتر و توسعه ریاضیات بپردازیم.
برای تعیین پاسخ این سؤال ابتدا باید به این پرسش پاسخ داد که:
آیا اصل موضوع انتخاب مستقل از سایر اصول موضوع نظریه مجموعه‌ها است یا به‌وسیله آن‌ها قابل اثبات است؟
آیا این اصل با سایر اصول موضوع نظریه مجموعه‌ها که از قبل وجود داشته‌اند سازگار است؟
همانند فرضیه پیوستار، ریاضیدانان برای یاقتن پاسخ این سؤال کوشش‌های فراوانی کردند. چندین سال بعد در سال ۱۹۳۸، کورت گودل با اثبات اینکه اصل موضوع انتخاب با دیگر اصول موضوع نظریه مجموعه‌ها سازگار است به سؤال دوم پاسخ مثبت داد. یعنی نشان داد افزودن اصل موضوع انتخاب به دیگر اصول موضوع نظریه مجموعه‌ها هیچ تناقضی ایجاد نمی‌کند.
کشف گودل به جامعه ریاضی و ریاضیدانانی که از این اصل استفاده می‌کردند اطمینان زیادی بخشید. اما سؤال اول همچنان بی‌پاسخ باقی‌ماند. بالاخره در سال ۱۹۶۳، ریاضیدانی به نام پل کوهن، به سؤال اول پاسخ گفت. او ثابت کرد که اصل موضوع انتخاب در حقیقت مستقل از سایر اصول موضوع نظریه مجموعه‌ها است. یعنی نمی‌توان آن را به عنوان یک قضیه به‌وسیله سایر اصول موضوع نظریه مجموعه‌ها اثبات کرد.
از این حیث، وضعیت اصل موضوع انتخاب همانند اصل توازی اقلیدس است. می‌توان آن را درست در نظر گرفت یا آن را رد کرد و در هر صورت دستگاهی سازگار از اصول موضوع را خواهیم داشت.
بهروز کمالوندی

| بهروز کمالوندی | بهروز کمالوندی |
| --- | --- |
سفیر ایران در اندونزی: سفیر ایران در اندونزی
دوره مسئولیت ۱۳ اردیبهشت ۱۳۸۵ – دی ۱۳۸۸: دوره مسئولیت ۱۳ اردیبهشت ۱۳۸۵ – دی ۱۳۸۸
رئیس‌جمهور: محمود احمدی‌نژاد
پس از: شبان شهیدی مؤدب
پیش از: محمد خوش‌هیکل آزاد (کاردار موقت)
سفیر ایران در زیمبابوه: سفیر ایران در زیمبابوه
دوره مسئولیت ۲۸ مرداد ۱۳۷۷ – ۱۵ مرداد ۱۳۸۱: دوره مسئولیت ۲۸ مرداد ۱۳۷۷ – ۱۵ مرداد ۱۳۸۱
رئیس‌جمهور: سید محمد خاتمی
پس از: احمد ادریسیان
پیش از: حمید معیر
 :  
اطلاعات شخصی: اطلاعات شخصی
زاده: ۱۳۳۴ ‏(۶۸–۶۹ سال) تهران، ایران
تحصیلات: علوم سیاسی
محل تحصیل: دانشگاه تهران
جایزه‌ها: نشان خدمت (درجهٔ ۳)
بهروز کمالوندی دیپلمات ایرانی است که از مرداد سال ۱۳۹۲ مسئولیت معاونت روابط راهبردی و امور مجلس سازمان انرژی اتمی  را برعهده دارد.
وی در گذشته سفیر ایران در زیمبابوه و اندونزی بوده و علاوه بر خدمت در کشورهای سوئد اسپانیا قبرس و ایتالیا، سابقه مدیریت ادارات کل ارزیابی و نظارت، اداره کل امور اداری وزارت خارجه و معاونت اداره کشورهای آمریکای لاتین را نیز دارد.
کمالوندی از سال ۱۳۸۹ بمدت ۱۴ ماه معاون آمریکای وزارت امورخارجه بود و در خرداد ماه ۱۳۹۰ از سوی علی اکبر صالحی به عنوان معاون اداری و مالی وزارت امور خارجه منصوب شد و تا مرداد ۱۳۹۲ در همین پست فعالیت می کرد. در شهریور ۱۳۹۲ با حکم محمد جواد ظریف، وزیر امور خارجه ایران، مهدی دانش یزدی جایگزین وی گردید. کمالوندی پس از ریاست مجدد علی‌اکبر صالحی در سازمان انرژی اتمی به عنوان معاون روابط راهبردی منصوب شد و اندکی بعد این معاونت به معاونت امور بین الملل، حقوقی و مجلس تغییر نام یافت چند ماه پس از این انتصاب طی حکمی مسئولیت سخنگوئی سازمان انرژی اتمی ایران نیز از جانب دکتر صالحی به عهده کمالوندی محول گردید که تا کنون نیز ادامه دارد  . وی در ۲۱ سپتامبر ۲۰۲۰ توسط دولت آمریکا تحریم شد.
تحریم

روز دوشنبه ۲۱ سپتامبر ۲۰۲۰ در یکسری تحریمات جدید دولت آمریکا، تعدادی از نهادهای جمهوری اسلامی و بعضی از مسئولین این نهادها از جمله بهروز کمالوندی، معاون و سخنگوی سازمان انرژی اتمی ایران را در لیست تحریم‌شدگان قرار داد.
حادثه ۱۴۰۰ نطنز

در ۲۲ فروردین ۱۴۰۰، کمالوندی در هنگام بازدید از تأسیسات هسته‌ای نطنز بعد از وقوع حادثه در آن از ارتفاع چند متری سقوط کرد و دچار شکستگی‌های سطحی از ناحیه پا و سر شد. وی پس از بروز حادثه به یک بیمارستان در کاشان منتقل شد و تحت مراقبت و درمان قرار گرفت.
سد جگین

سد در روستای جگین، ۱۰۷ کیلومتری شمـال شرقی بندر جاسک، استان هرمزگان
| سد جگین | سد جگین |
| --- | --- |
موقعیت سد جگین در ایران: موقعیت سد جگین در ایران
نام رسمی: سد جگین
کشور: ایران 
محل: روستای جگین، ۱۰۷ کیلومتری شمـال شرقی بندر جاسک، استان هرمزگان
مختصات: ۲۶°۰۹′۵۱″شمالی ۵۷°۵۳′۴۹″شرقی﻿ / ﻿۲۶٫۱۶۴۰۶۹°شمالی ۵۷٫۸۹۶۹۴۹°شرقی﻿ / 26.164069; 57.896949
آغاز ساخت: ۱۳۶۹
گشایش: آبگیری در سال ۱۳۸۴
سد و سرریزها: سد و سرریزها
گونه سد: بتنی غلطکی (RCC)
بر روی رود: رودخانه جگین
ارتفاع از پی: ۷۸ متر
طول تاج: ۲۵۳ متر
عرض تاج: ۶ متر
مخزن: مخزن
حجم کل مخزن: ۳۰۰ میلیون متر مکعب
سد پایین‌دست و سرریزها: سد پایین‌دست و سرریزها
گونه سد: بتنی غلطکی (RCC)
سد جگین در ۱۰۷ کیلومتری شمـال شرقی بندر جاسک استان هرمزگان و بر روی رودخانه جگین در محلی موسوم به تنگه دهنه مرنگ قرار گرفته‌است.
تاریخچه طرح

مطالعات اولیه این طرح در سال ۱۳۶۰ توسط دفتر فنی آب وزارت نیروی انجام شده و مراحل بعدی آن توسط شرکت مهاب قدس و هزینه اجرا توسط بانگ بانک توسعه اسلامی تأمین شد. در این مرحله کارفرمای طرح آب منطقه هرمزگان بود. حجم کل مخزن سد ۳۰۰ میلیون متر مکعب و حجم مفید قابل کنترل مخزن سد ۱۳۵ میلیون متر مکعب می‌باشد.
مشخصات و اهداف سد

رودخانه جگین از دامنه جنوبی کوه‌های بشاگرد سرچشمه گرفته و پس از عبور از تنگـه دهنه مرنگ و پیوستن به سرشاخه عمده دیگری به نام شریفی به دریای عمان منتهی می‌شود. اهداف ساخت سد جگین بر روی این رودخانه بدین صورت بوده‌است:
- تأمین آب آبیاری ۴۵۰۰ هکتار اراضی کشاورزی پایین دست سد به میزان ۵۰ میلیون متر مکعب در سالِ
- تأمین آب شرب به میزان ۹۱/۲ میلیون متر مکعب در سال برای شهرستان جاسک (و شهرستان بشاگرد با اضافه شدن خط انتقال آب به این شهرستان).
- کنترل سیل‌های فصلی رودخانه جگین و کاهش خسارات سیل در پایین دست سد.
پاینده‌باد ایتالیا

| پاینده‌باد ایتالیا | پاینده‌باد ایتالیا |
| --- | --- |
کارگردان: ماسیمیلیانو برونو
تهیه‌کننده: فولویو لوچیزانو
نویسنده: ماسیمیلیانو برونو ادواردو ماریا فالکونه
بازیگران: رائول بووا آمبرا آنجولینی
موسیقی: جولیانو تاویانی کارملو تراویا
فیلم‌بردار: آلساندرو پشی
تاریخ‌های انتشار:  ۲۵ اکتبر ۲۰۱۲ (۲۰۱۲-10-۲۵)  
مدت زمان: ۱۰۰ دقیقه
کشور: ایتالیا
زبان: ایتالیایی 
پاینده‌باد ایتالیا (ایتالیایی: Viva l'Italia) یک فیلم کمدی ایتالیایی به کارگردانی ماسیمیلیانو برونو است که در سال ۲۰۱۲ منتشر شد.
بازیگران

رائول بووا
آمبرا آنجولینی
میکله پلاچیدو
آلساندرو گاسمان
روکو پاپالئو
ادواردو لئو
مائوریتسیو ماتیولی
رونالدو راولو
سارا فلبربام
ایزابل آدریانی
کامیلیا فیلیپی
نیکولا پیستویا
ایزا بارزیتزا
سرجو فیورنتینی
رمو رموتی
ماسیمیلیانو برونو
پاتریتسیا پلگرینو
نینی بروسکتا
پائولو میناچونی
ادواردو پشه
النا کوچی
لوچیا اوکونه
استفانو فرزی
چن جی یانبین

چن جی یانبین (انگلیسی: Chen Jianbin؛ زادهٔ ۲۷ ژوئن ۱۹۷۰) بازیگر، کارگردان و آموزشگر اهل چین است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به سه پادشاهی و ۲۴ شهر اشاره کرد.
ماروسیا تامرازیان

ماروسیا زاکاری تامرازیان (ارمنی: Մարուսյա Զաքարի Թամրազյան؛ انگلیسی: Marusya Tamrazyan؛ ۱۷ فوریهٔ ۱۹۲۷ – ۸ مهٔ ۱۹۶۸) یک بازیگر اهل ارمنستان بود. وی بین سال‌های - تا - میلادی فعالیت می‌کرد.
زندگی‌نامه

وی در ۱۷ فوریه ۱۹۲۷ در ایروان به دنیا آمد و از آکادمی دولتی هنرهای زیبای ارمنستان فارغ‌التحصیل شد. وی خواهر وارتوش تامرازیان بود. وی در تئاتر کمدی موزیکال پارونیان و تئاتر مخاطبان نوجوان فعالیت می‌کرد. وی همچنین برندهٔ جوایزی همچون هنرمند شایسته ارمنستان شوروی شده است. وی در ۸ مه ۱۹۶۸ در سن ۴۱ سالگی در ایروان درگذشت.