stanford-oval/wikipedia huggingface dataset:
ئی‌تی‌بی

| 0 | 1 |
| --- | --- |
نوع: شرکت سهامی عام
صنعت: مخابرات
بنا نهاده: ۱۹۴۷
بنیانگذاران: خوزه رایموندو مارتینز
دفتر مرکزی:  بوگوتا، کلمبیا
مدیر عامل اجرایی: آندرس پرز ولاسکو
رئیس هیئت مدیره: فرناندو کاریزوسا راش-ایسلا
محصولات: تلفن ثابت تلفن همراه دسترسی به اینترنت تلویزیون کابلی
درآمد:  ۸۴۱ $ میلیون دلار (۲۰۱۱)
سود خالص:  ۱۲۱ $ میلیون دلار (۲۰۱۱)
تعداد کارکنان: ۴٫۳۲۹ نفر (۲۰۱۳)
وبگاه: www.etb.com.co
ساختمان مرکزی شرکت ئی‌تی‌بی در شهر بوگوتا
ئی‌تی‌بی (به انگلیسی: ETB) شرکت مخابرات کلمبیایی است، که در زمینه ارائه خطوط تلفن ثابت، شبکه تلفن همراه، دسترسی به اینترنت و سرویس‌های تلویزیون کابلی فعالیت می‌کند.
شرکت ئی‌تی‌بی در سال ۱۹۴۷ توسط خوزه رایموندو مارتینز تأسیس شد و در حال حاضر دومین شرکت مخابراتی کلمبیا می‌باشد.
دفتر مرکزی این شرکت در شهر بوگوتا، کلمبیا قرار دارد و بخشی از سهام آن در بازار بورس کلمبیا معامله می‌شود.
مسئله تناظر پست

مسئلهٔ تناظر پست (به انگلیسی: Post correspondence problem) یک مسالهٔ تصمیم‌ناپذیر بر روی رشته‌ها است که در سال ۱۹۴۶ میلادی به‌وسیلهٔ امیل پست معرفی و اثبات شد. با نگاشت این مسئله بر روی مسائل تصمیم‌ناپذیر دیگر می‌توانیم تصمیم‌ناپذیری آن‌ها را نیز اثبات کنیم (مانند تصمیم‌ناپذیری ماشین‌های تورینگ).
علاوه بر این که یکی از دلایل اهمیت این مسئله اثبات دیگر مسائل تصمیم‌ناپذیر به‌وسیلهٔ آن است، می‌توان به این موضوع نیز اشاره نمود که درک و اثبات این مسئله بسیار ساده‌تر از دیگر مسائل تصمیم‌ناپذیر، مانند مسالهٔ توقف در ماشین تورینگ است.
تعریف مسئله

یک نمونه از مسئلهٔ تناظر پست را این‌گونه تعریف می‌کنیم:
هر نمونه از این مسئله شامل دو لیست از رشته‌هایی است که بر روی الفبای  \Sigma  تعریف شده‌اند. فرض کنید این دو لیست  A و  B نام دارند که برای یک مقدار  k این‌گونه تعریف می‌شوند:
A=x_{1},x_{2},...,x_{k}
B=y_{1},y_{2},...,y_{k}
برای هر  i جفت  (x_{i},y_{i}) را یک جفت تناظر می‌گویند.
جواب مسئلهٔ تناظر پست را نیز این‌گونه تعریف می‌کنیم:
برای یک نمونه از مسئله جواب وجود دارد اگر دنباله‌ای از اعداد صحیح مانند  i_{1}،  i_{2}، … و  i_{n} وجود داشته باشد که شرط زیر را ارضاء کند:
x_{i_{1}}x_{i_{2}}..x_{i_{n}}=y_{i_{1}}y_{i_{2}}..y_{i_{n}}
پس به‌طور کلی مسئلهٔ تناظر پست این‌گونه تعریف می‌شود:
«آیا برای یک نمونه از مسئلهٔ تناظر پست جوابی وجود دارد یا خیر؟»
مثال

فرض کنید  \Sigma =\{a,b\} و دو لیست  A و  B را این‌گونه در نظر بگیرید:
مایکل سیمونز

مایکل سیمونز (۱۹۴۹-) ستاره‌شناس آمریکایی است. او در سازماندهی بایگانی تصویرهای تلسکوپ اشمیت  ۱٫۲ متری اوشین در رصدخانه پالومار کوشش بسیاری کرد. همچنین او در زمینه ترویج دانش ستاره‌شناسی در آمریکا و در جهان نیز بسیار کوشا است و به این منظور چند سفر به ایران و دیگر کشورهای خاورمیانه کرده است.
سیارک ۲۲۲۹۴ به نام او نام‌گذاری شده است.
هربرت جانستون

هربرت جانستون (انگلیسی: Herbert Johnston؛ ۱۶ آوریل ۱۹۰۲ – ۵ آوریل ۱۹۶۷ (aged 64)) ورزشکار دو و میدانی اهل بریتانیا بود.
تله‌کیبل

| 0 | 1 |
| --- | --- |
نوع: شرکت سهامی خاص
صنعت: مخابرات
بنا نهاده: ۱۹۹۵
دفتر مرکزی: خیخن، آستوریاس
مالک: یوسکلتل
وبگاه: www.telecable.es
تله‌کیبل (انگلیسی: Telecable) شرکت مخابرات اسپانیایی است، که در سال ۱۹۹۵ تأسیس شد.
۴۱۷ (میلادی)

| 0 | 1 |
| --- | --- |
سده:: سده ۴ - سده ۵ - سده ۶
دهه:: ۳۸۰  ۳۹۰  ۴۰۰  ۴۱۰  ۴۲۰  ۴۳۰  ۴۴۰ 
سال:: ۴۱۴ ۴۱۵ ۴۱۶ - ۴۱۷ - ۴۱۸ ۴۱۹ ۴۲۰
| 0 | 1 |
| --- | --- |
گاه‌شماری ایرانی: ۲۰۵ پیش از هجرت – ۲۰۴ پیش از هجرت
گاه‌شماری میلادی: ۴۱۷ CDXVII
گاه‌شماری اتیوپیایی: ۴۰۹–۴۱۰
گاه‌شماری ارمنی: نامعلوم
گاه‌شماری اسلامی: ۲۱۱ پیش از هجرت – ۲۱۰ پیش از هجرت
گاه‌شماری ایگبو: −۵۸۳ – −۵۸۲
گاه‌شماری آشوری: ۵۱۶۷
گاه‌شماری بربری: ۱۳۶۷
گاه‌شماری بنگالی: −۱۷۶
گاه‌شماری بهائی: −۱۴۲۷ – −۱۴۲۶
گاه‌شماری بودایی: ۹۶۱
گاه‌شماری بیزانسی: ۵۹۲۵–۵۹۲۶
گاه‌شماری جوچه: نامعلوم
گاه‌شماری چینی: 丙辰年 (آتش اژدها) ۳۱۱۳ یا ۳۰۵۳     — تا — 丁巳年 (آتش مار) ۳۱۱۴ یا ۳۰۵۴
گاه‌شماری خورشیدی تایلندی: ۹۶۰
گاه‌شماری دیسکوردیان: ۱۵۸۳
گاه‌شماری ژاپنی: نامعلوم
گاه‌شماری ژولینی: ۴۱۷ CDXVII
گاه‌شماری سنتی برمه‌ای: −۲۲۱
گاه‌شماری عبری: ۴۱۷۷–۴۱۷۸
گاه‌شماری قبطی: ۱۳۳–۱۳۴
گاه‌شماری کره‌ای: ۲۷۵۰
گاه‌شماری مینگو: ۱۴۹۵ پیش از گاه‌شماری جمهوری چین 民前۱۴۹۵年
گاه‌شماری هولوسن: ۱۰۴۱۷
گاه‌شماری‌های هندو: 
 - ویکرم سموت: ۴۷۳–۴۷۴
 - شاکا ساموات: ۳۳۹–۳۴۰
 - کالی یوگا: ۳۵۱۸–۳۵۱۹
از تاریخ پیدایش رم: ۱۱۷۰
سال سلطنت انگلیس: نامعلوم
این جعبه:  نمایش بحث ویرایش: این جعبه:  نمایش بحث ویرایش
۴۱۷ (میلادی) چهارصد  و هفدهمین سال تقویم میلادی است.
درگذشتگان

‎
| ن ب ودهه‌ها و سال‌ها | ن ب ودهه‌ها و سال‌ها |
| --- | --- |
۳۹۰:  ۳۹۹  ۳۹۸  ۳۹۷  ۳۹۶  ۳۹۵  ۳۹۴  ۳۹۳  ۳۹۲  ۳۹۱  ۳۹۰ 
۴۰۰:  ۴۰۹  ۴۰۸  ۴۰۷  ۴۰۶  ۴۰۵  ۴۰۴  ۴۰۳  ۴۰۲  ۴۰۱  ۴۰۰ 
۴۱۰:  ۴۱۹  ۴۱۸  ۴۱۷  ۴۱۶  ۴۱۵  ۴۱۴  ۴۱۳  ۴۱۲  ۴۱۱  ۴۱۰ 
۴۲۰:  ۴۲۹  ۴۲۸  ۴۲۷  ۴۲۶  ۴۲۵  ۴۲۴  ۴۲۳  ۴۲۲  ۴۲۱  ۴۲۰ 
۴۳۰:  ۴۳۹  ۴۳۸  ۴۳۷  ۴۳۶  ۴۳۵  ۴۳۴  ۴۳۳  ۴۳۲  ۴۳۱  ۴۳۰ 
۴۴۰:  ۴۴۹  ۴۴۸  ۴۴۷  ۴۴۶  ۴۴۵  ۴۴۴  ۴۴۳  ۴۴۲  ۴۴۱  ۴۴۰ 
۴۵۰:  ۴۵۹  ۴۵۸  ۴۵۷  ۴۵۶  ۴۵۵  ۴۵۴  ۴۵۳  ۴۵۲  ۴۵۱  ۴۵۰ 
۴۶۰:  ۴۶۹  ۴۶۸  ۴۶۷  ۴۶۶  ۴۶۵  ۴۶۴  ۴۶۳  ۴۶۲  ۴۶۱  ۴۶۰ 
۴۷۰:  ۴۷۹  ۴۷۸  ۴۷۷  ۴۷۶  ۴۷۵  ۴۷۴  ۴۷۳  ۴۷۲  ۴۷۱  ۴۷۰ 
۴۸۰:  ۴۸۹  ۴۸۸  ۴۸۷  ۴۸۶  ۴۸۵  ۴۸۴  ۴۸۳  ۴۸۲  ۴۸۱  ۴۸۰ 
۴۹۰:  ۴۹۹  ۴۹۸  ۴۹۷  ۴۹۶  ۴۹۵  ۴۹۴  ۴۹۳  ۴۹۲  ۴۹۱  ۴۹۰ 
۵۰۰:  ۵۰۹  ۵۰۸  ۵۰۷  ۵۰۶  ۵۰۵  ۵۰۴  ۵۰۳  ۵۰۲  ۵۰۱  ۵۰۰
هشتاد و چهارمین دوره جوایز اسکار

هشتاد و چهارمین دوره مراسم اسکار در تاریخ ۲۶ فوریه ۲۰۱۲ در سالن کوداک برگزار شد. در این مراسم بهترین فیلم‌های سال ۲۰۱۱ جهان به انتخاب آکادمی علوم و هنرهای تصاویر متحرک جایزه گرفتند.
شبکه ای‌بی‌سی پخش‌کننده این مراسم در آمریکا می‌باشد. بیلی کریستال مجری این مراسم بود و پیش از این هشت بار مجری مراسم اسکار بوده‌است.
۲۴ ژانویه، نامزدهای جوایز اسکار سال ۲۰۱۲ اعلام شدند. فیلم ایرانی جدایی نادر از سیمین در دو بخش فیلمنامه تألیفی (اوریژینال) و بخش بهترین فیلم غیر زبان انگلیسی نامزد شد. فیلم سه بعدی هیوگو ساخته مارتین اسکورسیزی با نامزدی در ۱۱ رشته، از جمله بهترین فیلم و بهترین کارگردانی در صدر فهرست نامزدهای قرار گرفت. همچنین فیلم آرتیست که روایتی است از گذار سینمای هالیوود از دوره فیلم‌های صامت به فیلم‌های ناطق، در ۱۰ رشته نامزد جایزه اسکار شده‌است. اجرای مراسم اسکار امسال را بیلی کریستال، بازیگر کمدی، بر عهده داشت.
فیلم‌های با چندین جایزه یا نامزدی

۵ جایزه: آرتیست و هوگو
۲ جایزه: بانوی آهنی
۱۱ نامزدی: هوگو
۱۰ نامزدی: آرتیست
۶ نامزدی: مانیبال و اسب کارزار
۵ نامزدی: زادگان و دختری با خالکوبی اژدها
۴ نامزدی: خدمتکاران و نیمه‌شب در پاریس
۳ نامزدی: آلبرت نابز, هری پاتر و یادگاران مرگ - قسمت دوم, تعمیرکار خیاط سرباز جاسوس, تغییرشکل‌دهندگان: تاریکی ماه, و درخت زندگی
۲ نامزدی: ساقدوش‌ها, فوق‌العاده بلند و بیش از حد نزدیک, بانوی آهنی, هفته من با مریلین, و جدایی نادر از سیمین
ما سانیی

| ما سانیی | ما سانیی |
| --- | --- |
زادهٔ: ۱ ژوئن ۱۹۸۲ آن‌هوئی
ملیت: چین
ما سانیی (انگلیسی: Ma Sanyi؛ زادهٔ ۱ ژوئن ۱۹۸۲) کشتی‌گیر اهل چین بود. وی در بازی‌های المپیک تابستانی ۲۰۰۸ شرکت کرده‌است.
گون‌باتان (پوسوف)

| گون‌باتان | گون‌باتان |
| --- | --- |
روستا: روستا
کشور:  ترکیه
استان: استان اردهان
شهرستان: پوسوف
منطقهٔ زمانی: یوتی‌سی +۲ (زمان اروپای شرقی)
 • تابستانی (DST): یوتی‌سی +۳ (ساعت تابستانی اروپای شرقی)
گون‌باتان (به ترکی استانبولی: Günbatan) یک منطقهٔ مسکونی در ترکیه است که در پوسوف واقع شده‌است.
هرمینا پیپینیچ

| هرمینا پیپینیچ | هرمینا پیپینیچ |
| --- | --- |
زادهٔ: ۱ مهٔ ۱۹۲۸ زاگرب
درگذشت: ۱۹ دسامبر ۲۰۲۰ (۹۲ سال) زاگرب
پیشه: بازیگر
سال‌های فعالیت: ۱۹۴۸–۱۹۹۷
هرمینا پیپینیچ (کرواتی: Hermina Pipinić؛ ۱ مهٔ ۱۹۲۸ – ۱۹ دسامبر ۲۰۲۰) بازیگر بود.
همه جا با تو

همه جا تو (به ترکی استانبولی: Her Yerde Sen) یک سریال کمدی ساخت ترکیه به کارگردانی اندر میلار است، که توسط دنیز یشیلگن و اسرا چتک ییلمازر نوشته شده‌است. قسمت اول آن در ۱۴ ژوئن ۲۰۱۹ اکران شده‌است. موسیقی عمومی این سریال متعلق به زینب باستیک است. این سریال در ۲۳ نوامبر ۲۰۱۹ پایان یافت. سریال جایزه بهترین سریال کمدی رمانتیک را در بیست و چهارمین مراسم جوایز لنز طلایی از آن خود کرد. در چهل و ششمین دوره جوایز پروانه طلایی در سال ۲۰۲۰، زوج دمیر و لروکس (سلین) با بازی فورکان آندیچ و ایبوکه پوسات  جایزه بهترین زوج سریال را از آن خود کردند.
این سریال از شبکه‌های جم با نام لروکس پخش شد.
بازیگران

| بازیگر | نقش | قسمت‌ها |
| --- | --- | --- |
| فورکان آندیچ | Demir Erendil | ۱–۲۳ |
| ایبوکه پوسات | Selin Sever Erendil | ۱–۲۳ |
| Ali Yağcı | Burak Yangel | ۱–۲۳ |
| Aslıhan Malbora | Ayda Akman | ۱–۲۳ |
| Ali Gözüşirin | İbrahim Tunç / İbo | ۱–۲۳ |
| Deniz Işın | Merve Mutlu | ۱–۲۳ |
| Eylül Su Sapan | Alara Giritli | ۱–۲۳ |
| Ali Barkın | Bora Duru | ۱–۲۳ |
| Cem Cücenoğlu | Muharrem Usta | ۱–۲۳ |
| Fatih Özkan | Ferruh Özerdim | ۱–۲۳ |
| Ayfer Tokatlı | Azmiye Boşgeçmez | ۱–۲۳ |
| Aziz Caner İnan | Vedat Ayhan | ۱–۲۳ |
| Ayşe Tunaboylu | Leyla Günebakan | ۱–۲۳ |
| Binnur Şerbetçioğlu | Firuze Günebakan | ۱–۲۳ |
| Beste Kökdemir | Eylül Gündüzeli | ۱۴–۲۳ |
:
زمان پخش

| فصل | روز و ساعت پخش | آغاز فصل | قسمت پایانی | تعدا قسمت‌ها | فاصلهٔ قسمت‌ها | سال | شبکه |
| --- | --- | --- | --- | --- | --- | --- | --- |
| فصل ۱ | جمعه/شنبه ۲۰:۰۰ | ۱۴ ژوئن ۲۰۱۹ | ۲۳ نوامبر ۲۰۱۹ | ۲۳ | ۲۳–۱ | ۲۰۱۹ | فاکس |
:
مام-ایبرا آن

مام-ایبرا آن (انگلیسی: Mame-Ibra Anne؛ زادهٔ ۷ نوامبر ۱۹۸۹) ورزشکار دو و میدانی اهل فرانسه است.
شیهومی فوکوشیما

شیهومی فوکوشیما (انگلیسی: Shihomi Fukushima؛ زادهٔ ۱۹ ژوئن ۱۹۹۵) شمشیرباز زن اهل ژاپن است.
تاکام

| تاکام تاکوم | تاکام تاکوم |
| --- | --- |
روستا: روستا
مختصات: ۳۶°۲۲′ شمالی ۵۳°۱۲′ شرقی﻿ / ﻿۳۶٫۳۶۷°شمالی ۵۳٫۲۰۰°شرقی﻿ / 36.367; 53.200: مختصات: ۳۶°۲۲′ شمالی ۵۳°۱۲′ شرقی﻿ / ﻿۳۶٫۳۶۷°شمالی ۵۳٫۲۰۰°شرقی﻿ / 36.367; 53.200
کشور: ایران
استان: مازندران
شهرستان: ساری
بخش: کلیجان‌رستاق
دهستان: تنگه سلیمان
جمعیت: ۱۵۳ نفر (سرشماری ۹۵)
تاکام، روستایی است از توابع بخش کلیجان‌رستاق شهرستان ساری در استان مازندران ایران و مشرف به رودخانه تجن و زمین های کشاورزی
چسبیده به جنگل های سرسبز و انبوه.
شغل اهالی روستا اکثرا کشاورزی و دامداری است.
تاریخ تاکام
تاکام، تاکوم و یا همان تام‌کوم نام روستایی از توابع بخش کلیجان‌رستاق شهرستان ساری در استان مازندران است. تاکام که نام این روستا است، در حقیقت تام‌کوم یا تان‌کوم می‌باشد که به تدریج در تلفظ محلی به تاکوم تغییر یافته و در زبان فارسی به تاکام تبدیل شده است. این روستا در دهستان تنگه سلیمان قرار داشته و براساس آخرین سرشماری مرکز آمار ایران که در سال 1395 صورت گرفته، جمعیت آن 153 نفر بوده است. در کتیبه قرن هشتمی امام‌زاده آقمشهد، که توسط استاد دانشگاه تهران خوانده شده، بیان شده که قریه آقمشهد از شمال وصل به تان‌کوه می‌باشد. تام یا تان به معنی عالی می‌باشد و هنوز به غذایی که خوشمزه و عالی شده، تام می‌گویند، هم‌چنین اصطلاح تان به شکل نوشتاری طان هم در منطقه رایج می‌باشد.
روستای تاکام بر روی بلندیی با موقعیت استراتژیک و نقطه اتصال ساری به دودانگه و چهاردانگه واقع شده است که دید و منظر مناسبی به اطراف خود دارد. روستای تاکام بنابر قرائن و شواهد و آثار تاریخی موجود به زمان پیش از اسلام بر می گردد. قبرستان معروف به پیرسر قبرستانی است که متعلق به گبریان یا زرتشتیان است. اهِ سر که در ضلع شرقی روستا واقع شده است متعلق به دوران ساسانیان است اگرچه گفته ها و داستانهای محلی سالخوردگان می گوید که اینجا متعلق به دوران میترائیسم در ایران است.
.
جمعیت

این روستا در دهستان تنگه سلیمان قرار داشته و براساس آخرین سرشماری مرکز آمار ایران که در سال ۱۳۸۵ صورت گرفته، جمعیت آن ۱۷۱نفر (۵۳خانوار) بوده‌است.
تز چرچ-تورینگ

در نظریهٔ محاسبات، تز چرچ-تورینگ (Church–Turing thesis) پیرامون مفهوم یک روش مؤثر یا مکانیکی در منطق و ریاضیات شکل یافته‌است.

در اویل قرن ۲۰ تلاش‌های فراوانی برای فرمول سازی  محاسبات انجام شد.
ریاضیدان آمریکایی آلونزو چرچ برای تعریف تابع روشی به نام جبر لاندا ابداع کرد.
ریاضیدان انگلیسی آلن تورینگ مدلی تئوری که حالا به نام ماشین جهانی تورینگ شناخته می‌شود ابداع کرد.
چرچ همراه با یک ریاضیدانی به نام استفان کل کلین و منطقدانی به نام جان بارکلی روزر تعریفی رسمی از گروهی از توابع که با کمک آنها می‌توان مقدارشان را به طور بازگشتی محاسبه کرد ارائه دادند.
هر سه روش محاسبات بالا هم ارز یکدیگرند و هر سه نگرش یک گروه از توابع را تعریف می‌کنند. همین باعث این شد که ریاضیدانان و محققین علم کامپیوتر به این  نتیجه برسند که   نظریه محاسبات به وسیله همین سه روش مشخص و تعریف می‌شود. به عبارتی تز چرچ-تورینگ بیان می‌کند اگر الگوریتمی برای انجام محاسبات وجود داشته باشد، آنگاه همان الگوریتم توسط ماشین تورینگ انجام می‌شود.

تز چرچ-تورینگ بیانکننده طبیعت محاسبات است و نمی‌توان آن را اثبات کرد. حتی اگر  هم اثبات شود سه روش فوق معادل یکدیگرند، اما یک اصل اساسی  است که آن حس مبهمی که این تز دارد بنابراین این تز همچنان به شکل فرضیه باقی می‌ماند.

علیرغم اینکه تز چرچ-تورینگ هنوز اثبات نشده‌است , ولی تقریباً به طور جهانی پذیرفته شده‌است.
بیان رسمی

سخرانی روزر در سال ۱۹۳۶ در مورد مفهوم شمارش پذیری مؤثر بدین صورت بود که: واضح است که وجود  CC و RC (اثبات  چرج و روزر) مستلزم تعریف دقیق از " مؤثر بودن " است.روش مؤثر بودن در اینجا در مفهوم نسبتاً خاصی از یک روش که در آن هر مرحله دقیقاً از پیش تعیین شده و مسلم است به تولید پاسخ در تعداد متناهی مرحله، استفاده می‌شود. بنابراین صفت و قید "مؤثر بودن "در اینجا به یک معنا است و آن," گرفتن یک تصمیم مطمئن یا اثر مطمئن است " و " توانایی رسیدن به نتیجه ".

همچنین در ادامه کلمه شمارش پذیری مؤثر به معنای "  به هر طریقی به طور مستقیم مؤثر تولید کردن " و محاسبه پذیری مؤثر به معنای " توسط ماشین تورینگ یا هر ماشین مکانیکی معادل تولید شدن " است. تعریف "تورینگ" در پاورقی رساله دکتری خود به نام " سیستم‌های منطقی برحسب ترتیب" که زیر نظر چرچ در سال ۱۹۳۹تهیه کرده بود، تقریباًَ یکسان اند.

"ما باید از عبارت "توابع قابل محاسبه" به منظور تابعی که با ماشین محاسبه شده است استفاده کنیم، و عبارت "شمارش پذیر مؤثر" را برای اشاره به ایده‌هایحسی که با توجه به این تعاریف هیچ هویتی ندارند، استفاده کنیم."

همچین در این پایان‌نامه عبارت زیر وجود دارد که:

"تمام توابع شمارش پذیر مؤثر همان توابع قابل محاسبه‌اند."
تاریخچه و اهمیت

مسئله تصمیمداوید هیلبرت یکی از مسائل مهم منطق در سال‌های ۱۹۳۶ بود که بیان می‌کرد: یک روش مکانیکی برای جداسازی حقایق ریاضی از دروغ‌های ریاضی وجود دارد.
برای این کار لازم است که مفهوم "الگوریتم" و "شمارش پذیری" از هم جدا شوند. بنابراین قید و صفت مؤثر بودن در اینجا به یک معنا است که آن," تصمیم گرفتن یا اثر مورد دلخواه و توانایی تولید نتیجه" است.
تز چرچ-تورینگ را آلونزو چرچ در سال ۱۹۳۶ میلادی پیشنهاد نموده‌است. این تز بیان می‌دارد که هر محاسبهٔ مؤثر صورت‌یافته، در هر سیستم الگوریتمی را می‌توانیم با استفاده از یک ماشین تورینگ به انجام برسانیم. چنانچه بخواهیم این تز بسیار اساسی در تئوری محاسبات را تنها به‌عنوان تعریفی از محاسبات الگوریتمی به حساب بیاوریم، آن‌را فقط از منظری فوق‌العاده محدود ملاحظه کرده‌ایم.
پانوشته‌ها

↑  Alonzo Church
↑  Lambda calculus
↑  Universal Turing machine
↑  Stephen Cole Kleene
↑  J. Barkley Rosser
↑  Effective method
↑  Systems of Logic Based on Ordinals
↑  Gandy (Gandy 1980 in Barwise 1980:123) states it this way: What is effectively calculable is computable. He calls this "Church's Thesis", a peculiar choice of moniker.
↑  Entscheidungsproblem
↑  Effective computation
آواره مجنون دیوانه

| آواره مجنون دیوانه | آواره مجنون دیوانه |
| --- | --- |
کارگردان: ویکرام بات
بازیگران: آکشی کومار سونیل شتی آفتاب شیودسانی پارش راوال پریتی جانگیانی آرتی چهابریا آمریتا ارورا
موسیقی: آنو ملک
تاریخ‌های انتشار:  ۲۱ ژوئن ۲۰۰۲ (۲۰۰۲-06-۲۱)  
مدت زمان: ۱۶۴ دقیقه
کشور: هند
زبان: هندی 
آواره مجنون دیوانه (به هندی: Awara Paagal Deewana)فیلمی محصول سال ۲۰۰۲ پر ژانر اکشن و کمدی و به کارگردانی ویکرام بات است. در این فیلم بازیگرانی همچون آکشی کومار، سونیل شتی، آفتاب شیودسانی، پارش راوال، پریتی جانگیانی، آرتی چهابریا، آمریتا ارورا، جانی لور، راهول دو، سوپریا پیلگانکار، اوم پوری، آسرانی ایفای نقش کرده‌اند.
لیگ برتر بسکتبال مردان ایران ۱۴۰۰

لیگ برتر بسکتبال ایران ۱۴۰۰ از روز شنبه ۲۴ مهر با حضور ۱۶ تیم برگزار شد. لیگ برتر بسکتبال در قالب ۲ گروه ۸ تیمی برگزار می‌شود.
جدول

به روز شده در ۱۵ آذر ۱۴۰۰
جدول > الف

تیم‌های شهرداری گرگان، پالایش نفت آبادان، ذوب آهن اصفهان، صنعت مس کرمان، کوچین آمل، خانه بسکتبال خوزستان، نیروی زمینی تهران و نظم آوران نوین سیرجان در گروه الف قرار دارند.
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
|  |  | بازی | برد | باخت | گل زده | گل خورده | تفاضل گل | امتیاز |
| ۱ | باشگاه بسکتبال شهرداری گرگان | ۷ | ۶ | ۱ | ۶۰۴ | ۵۰۰ | ۱۰۴ | ۱۳ |
| ۲ | باشگاه بسکتبال ذوب آهن | ۷ | ۵ | ۲ | ۵۶۶ | ۴۹۴ | ۷۲ | ۱۲ |
| ۳ | باشگاه بسکتبال نظم آوران سیرجان | ۷ | ۵ | ۲ | ۵۳۲ | ۵۰۷ | ۲۵ | ۱۲ |
| ۴ | باشگاه بسکتبال مس کرمان | ۷ | ۴ | ۳ | ۵۰۷ | ۴۷۸ | ۲۹ | ۱۱ |
| ۵ | باشگاه بسکتبال کاله | ۷ | ۴ | ۳ | ۵۱۲ | ۴۹۱ | ۲۱ | ۱۱ |
| ۶ | باشگاه بسکتبال پالایش نفت آبادان | ۷ | ۲ | ۵ | ۵۲۸ | ۵۳۲ | -۴ | ۹ |
| ۷ | باشگاه بسکتبال خانه بسکتبال خوزستان | ۷ | ۲ | ۵ | ۴۹۳ | ۵۴۲ | -۴۹ | ۹ |
| ۸ | باشگاه بسکتبال نیروی زمینی | ۷ | ۰ | ۷ | ۳۹۰ | ۵۸۸ | -۱۹۸ | ۷ |
جدول > ب

تیم‌های مهرام تهران، شیمیدر قم، فولاد مبارکه سپاهان اصفهان، اکسون تهران، صنعت مس رفسنجان، رعد پدافند تهران، صنایع پشتیبانی ورزش هرمزگان و آویژه صنعت پارسای مشهد نیز در گروه ب قرار دارند.
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
|  |  | بازی | برد | باخت | گل زده | گل خورده | تفاضل گل | امتیاز |
| ۱ | باشگاه بسکتبال مهرام | ۷ | ۶ | ۱ | ۵۱۲ | ۴۴۵ | ۶۷ | ۱۳ |
| ۲ | باشگاه بسکتبال شیمیدر | ۶ | ۴ | ۲ | ۴۵۶ | ۳۷۱ | ۸۵ | ۱۰ |
| ۳ | باشگاه بسکتبال اکسون | ۷ | ۳ | ۴ | ۴۸۶ | ۴۶۷ | ۱۹ | ۱۰ |
| ۴ | باشگاه بسکتبال صنعت مس رفسنجان | ۵ | ۴ | ۱ | ۳۴۷ | ۳۵۰ | -۳ | ۹ |
| ۵ | باشگاه بسکتبال رعد پدافند تهران | ۶ | ۳ | ۳ | ۴۰۴ | ۴۴۹ | -۴۵ | ۹ |
| ۶ | باشگاه بسکتبال صنایع هرمزگان | ۷ | ۱ | ۶ | ۴۵۰ | ۵۳۲ | -۸۲ | ۸ |
| ۷ | باشگاه بسکتبال سپاهان | ۶ | ۱ | ۵ | ۳۹۵ | ۴۴۰ | -۴۵ | ۷ |
| ۸ | باشگاه بسکتبال آویژه صنعت مشهد | ۴ | ۲ | ۲ | ۲۷۲ | ۲۶۸ | ۴ | ۶ |
گیاه سوییس

| گیاه سوییس | گیاه سوییس |
| --- | --- |
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: گیاهان
(طبقه‌بندی‌نشده):: گیاهان گلدار
(طبقه‌بندی‌نشده):: دولپه‌ای‌های نو
(طبقه‌بندی‌نشده):: رزیدها
راسته:: کلم‌سانان
تیره:: شب‌بویان
سرده:: کیسه چوپان (سرده)
گونه:: T. caerulescens
نام دوبخشی: نام دوبخشی
Thlaspi caerulescens : Thlaspi caerulescens 
مترادف: مترادف
 T. alpestre:  T. alpestre
گیاه سوییس گیاهی چند ساله و گلدار از خانواده شب‌بویان است که در اروپا، اسکاندیناوی و ایالت‌های غربی کشور آمریکا می‌روید.
این گیاه کوچک، گیاهی تزیینی و زیباست که یک ساقه اصلی به بلندی حدود ۲۰ سانتیمتر دارد و گل‌های سفید رنگ آن بر سر این ساقه ظاهر می‌شوند.
خواص

این گیاه، جزو گیاهان سم زدا (Toxic avenger) است. گیاه سوییس آلودگی‌های خاک به کادمیوم و روی را با جذب این دو عنصر، به خوبی برطرف می‌کند. کادمیوم و روی جذب شده توسط گیاه، می‌تواند دوباره در صنعت بازیافت شود.
لیانگ کوآن

| لیانگ کوآن | لیانگ کوآن |
| --- | --- |
زادهٔ: ۱۸۱۵ گوانگ‌دونگ، چین
درگذشت: ۱۸۸۷
ملیت:  چینی
سبک: هنرهای رزمی چینی هونگ جیا
استاد(ها): لی خوزی یوان‌گوانگ
پیشه: هنرهای رزمی
لیانگ کوآن (انگلیسی: Leung Kwan؛ ۱۸۱۵ – ۱۸۸۷) یک استادِ هنرهای رزمی اهل چین بود.
او دارای القابی چون «سه پُل آهنی» و «تیت کیو سام» بود و استادبزرگ سبک «هونگ جیا» و یکی از ده ببر کانتون بود.
صبح (قرطبه)

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

| تلمبه عشایری چاه دراز ۴ | تلمبه عشایری چاه دراز ۴ |
| --- | --- |
روستا: روستا
کشور:  ایران
استان: استان کرمان
شهرستان: شهرستان سیرجان
بخش: بخش مرکزی شهرستان سیرجان
دهستان: دهستان گلستان (سیرجان)
جمعیت (۲۰۰۶): جمعیت (۲۰۰۶)
 • کل: ۱۸
منطقهٔ زمانی: یوتی‌سی +۳:۳۰ (ساعت رسمی ایران)
 • تابستانی (DST): یوتی‌سی +۴:۳۰ (ساعت رسمی ایران)
تلمبه عشایری چاه دراز ۴ یک منطقهٔ مسکونی در ایران است که در دهستان گلستان (سیرجان) واقع شده‌است. تلمبه عشایری چاه دراز ۴ ۱۸ نفر جمعیت دارد.
شیب جدول

| شیب جدول | شیب جدول |
| --- | --- |
روستا: روستا
شیب جدولموقعیت در ایراننمایش نقشه ایرانشیب جدولشیب جدول (استان فارس)نمایش نقشه استان فارس: شیب جدولموقعیت در ایراننمایش نقشه ایرانشیب جدولشیب جدول (استان فارس)نمایش نقشه استان فارس
مختصات: ۲۹°۲۶′۰۴″شمالی ۵۲°۲۲′۰۷″شرقی﻿ / ﻿۲۹٫۴۳۴۵۰۹۶°شمالی ۵۲٫۳۶۸۶۵۰۴°شرقی﻿ / 29.4345096; 52.3686504: مختصات: ۲۹°۲۶′۰۴″شمالی ۵۲°۲۲′۰۷″شرقی﻿ / ﻿۲۹٫۴۳۴۵۰۹۶°شمالی ۵۲٫۳۶۸۶۵۰۴°شرقی﻿ / 29.4345096; 52.3686504
کشور: ایران
استان: فارس
شهرستان: شیراز
بخش: سیاخ دارنگون
دهستان: سیاخ
جمعیت: ۳۶۰ نفر (سرشماری ۹۵)
شیب جدول، روستایی در دهستان سیاخ بخش سیاخ دارنگون شهرستان شیراز در استان فارس ایران است.
جمعیت

بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۳۶۰ نفر (۹۴ خانوار) بوده است.
لیاشورسراسفلی

| لیاشورسراسفلی | لیاشورسراسفلی |
| --- | --- |
روستا: روستا
مختصات: : مختصات: 
کشور: ایران
استان: گیلان
شهرستان: لنگرود
بخش: بخش اتاقور
دهستان: لات لیل
جمعیت: ۵۰ نفر (سرشماری ۹۵)
لیاشورسراسفلی، روستایی از توابع بخش اتاقور شهرستان لنگرود در استان گیلان ایران است.
جمعیت

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

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

این روستا در دهستان طیبی گرمسیری شمالی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۶۸ نفر (۱۴خانوار) بوده‌است.
آنزن

| آنزن | آنزن |
| --- | --- |
کمون (فرانسه): کمون (فرانسه)
Sainte Barbe: Sainte Barbe
  نشان:   نشان
آنزننمایش نقشه فرانسهآنزننمایش نقشه Hauts-de-France: آنزننمایش نقشه فرانسهآنزننمایش نقشه Hauts-de-France
مختصات: ۵۰°۲۲′۲۰″شمالی ۳°۳۰′۱۸″شرقی﻿ / ﻿۵۰٫۳۷۲۲°شمالی ۳٫۵۰۵°شرقی﻿ / 50.3722; 3.505: مختصات: ۵۰°۲۲′۲۰″شمالی ۳°۳۰′۱۸″شرقی﻿ / ﻿۵۰٫۳۷۲۲°شمالی ۳٫۵۰۵°شرقی﻿ / 50.3722; 3.505
کشور: فرانسه
ناحیه: او-دو-فرانس
دپارتمان: نر (شهر-فرانسه)
بخش: Valenciennes
کانتون: Anzin
کمون: CA Valenciennes Métropole
حکومت: حکومت
 • شهردار(۲۰۰۸–۲۰۱۴) : Pierre-Michel Bernard
مساحت۱: ۳٫۶۴ کیلومتر مربع (۱٫۴۱ مایل مربع)
جمعیت (۲۰۰۹)۲: ۱۳۶۴۶
 • تراکم: ۳۷۰۰/کیلومتر مربع (۹۷۰۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان اروپای مرکزی)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
کد آماری/کد پستی: ۵۹۰۱۴ /۵۹۴۱۰
ارتفاع: ۱۸–۹۵ متر (۵۹–۳۱۲ فوت)  (avg. ۱۵ متر یا ۴۹ فوت)
۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲: ۱ داده‌های فرانسه رودخانه و دریاچه  و یخچال‌ها را در نظر نگرفته‌است > ۱ km² (۰٫۳۸۶ مایل مربع یا ۲۴۷ هکتار) ۲
آنزن (به فرانسوی: Anzin) یک کمون در فرانسه است که در کانتون آنزن واقع شده‌است. آنزن ۳٫۶۴ کیلومتر مربع مساحت و ۱۳٬۶۴۶ نفر جمعیت دارد و ۱۵ متر بالاتر از سطح دریا واقع شده‌است.
ترینگا اسمایلی

| ترینگا اسمایلی  Tringe Smajli | ترینگا اسمایلی  Tringe Smajli |
| --- | --- |
زادهٔ: ۱۸۸۰ هوتی، سانیاک، امپراتوری عثمانی، اکنون مونته‌نگرو)
درگذشت: ۲ نوامبر ۱۹۱۷ (۳۷ سال) هوتی، پادشاهی مونته‌نگرو
ملیت: آلبانیایی
شناخته‌شده برای: مبارزه با اشغالگران عثمانی
ترینگا اسمایلی مارتینی وِزای (۱۸۸۰ – ۲ نوامبر ۱۹۱۷)، شهره به ترینگا اسمایلی، و همچنین یانیتزا در خارج از آلبانی، یک مبارز چریک آلبانیایی بود که علیه امپراتوری عثمانی در منطقه استان مالِسی-اِ-ماده جنگید. او دختر اسمایل مارتینی، یکی از رهبران قبیله کاتولیک از قبیله گروده مالسی بود.