Ali Kh
کاربر حرفهای

- ارسالها
- 394
- امتیاز
- 2,186
- نام مرکز سمپاد
- تیزهوشان شهید بهشتی
- شهر
- گرگان
- سال فارغ التحصیلی
- 95
- دانشگاه
- دانشگاه گرگان
- رشته دانشگاه
- زیست شناسی جانوری
آلونزو چرچ
آلونزو چرچ[nb]Alonzo Church[/nb] (1995-1903 ) ریاضیدان و منطقدان آمریکایی بود که اصلیترین مشارکتها را در زمینۀ منطق ریاضی و پایههای علوم رایانه نظری داشت.او بیشتر برای محاسبات لاندا، تز چرچ-تورینگ، اثبات تعیینناپذیری مسئله توقف[nb]اثبات کردن اثبات تعیینناپذیر بودن مسئله توقف، که برای مشخص کردن درستی گزارههای مطلق در نظریۀ ریاضیات به مسئله تصمیم نیاز دارد. این اثبات به قضیه چرچ معروف است.[/nb]،هستیشناسی فرگه-چرچ و قضیه راسر-چرچ معروف میباشد.
آلونزو چرچ در تاریخ ۱۴ جون ۱۹۰۳ واشینگتن، دی. سی. متولد شد. ساموئل رابینز چرچ، پدر آلونزو، قاضی دادگاه شهری ناحیه کلمبیا بود اما بعد از آنکه شغلش را بخاطر مشکلات بینایی از دست داد، همگی به ویرجینیا نقل مکان کردند. به کمک عمویش که او هم آلونزو چرچ نامیده میشد، به مدرسه پسرانۀ ریجفیلد در ریجفیلد، کنتیکت رفت.او در سال 1920 به دانشگاه پرینستون رفت.او در آنجا دانشجویی استثنایی بود به طوری که اولین مقالهاش را در مورد تبدیل لورنتس به چاپ رساند و در سال ۱۹۲۴ در رشتۀ ریاضیات فارغالتحصیل شد. او در پرینستون ماند و تحت نظر اوزوالد وبلن در عرض سه سال دکترا خود را در ریاضیات گرفت.بعد از دریافت دکترا، استاد دانشگاه شیکاگو شد و فلوشیپ دوسالۀ شورای ملی پژوهش ایالات متحده آمریکا را دریافت کرد. این امر به او اجازه داد تا در سالهای ۱۹۲۷ الی ۱۹۲۸ به دانشگاه هاروارد و سال بعدش به دانشگاه گوتینگن و دانشگاه آمستردام برود.
او محاسبات لاندا را پایه ریزی کرد.محاسبات لاندا از مقالۀ ۱۹۳۶ وی گرفته شده است که در آن به غیرقابل حل بودن مسئله توقف پرداخته بود. این مقاله قبل از کار مشهور آلن تورینگ ینی مسئله مکیدار، که آن هم وجود یک مسئله غیرقابل حل از طریق معانی ریاضی را ثابت میکرد، منتشر شد. بعدها تورینگ و چرچ نشان دادند که محاسبات لاندا و ماشین تورینگ، که در مسئله مکیدار استفاده شده بود، همارز بوده و متعاقباً چند "فرایند ماشینی محاسبه" دیگر را اثبات کردند. این نتایج به تز چرچ-تورینگ شناخته میشوند.
چرچ از سال ۱۹۲۷ الی ۱۹۶۷ در دانشگاه پرینستون و از سال ۱۹۶۷ الی ۱۹۹۰ در دانشگاه UCLA فلسفه و ریاضی درست میداد.در سال 1990، دانشگاه ایالتی کالیفرنیا همایشی بینالمللی را به افتخار او ترتیب داد.
آلونزو چرچ در 11 آگوست سال 1995 در سن 92 سالگی در شهر هادسون در آمریکا در گذشت.کدگذاری چرچ به افتخار وی نامگذاری شده است.[nb]Wikipedia[/nb]
آلونزو چرچ[nb]Alonzo Church[/nb] (1995-1903 ) ریاضیدان و منطقدان آمریکایی بود که اصلیترین مشارکتها را در زمینۀ منطق ریاضی و پایههای علوم رایانه نظری داشت.او بیشتر برای محاسبات لاندا، تز چرچ-تورینگ، اثبات تعیینناپذیری مسئله توقف[nb]اثبات کردن اثبات تعیینناپذیر بودن مسئله توقف، که برای مشخص کردن درستی گزارههای مطلق در نظریۀ ریاضیات به مسئله تصمیم نیاز دارد. این اثبات به قضیه چرچ معروف است.[/nb]،هستیشناسی فرگه-چرچ و قضیه راسر-چرچ معروف میباشد.
آلونزو چرچ در تاریخ ۱۴ جون ۱۹۰۳ واشینگتن، دی. سی. متولد شد. ساموئل رابینز چرچ، پدر آلونزو، قاضی دادگاه شهری ناحیه کلمبیا بود اما بعد از آنکه شغلش را بخاطر مشکلات بینایی از دست داد، همگی به ویرجینیا نقل مکان کردند. به کمک عمویش که او هم آلونزو چرچ نامیده میشد، به مدرسه پسرانۀ ریجفیلد در ریجفیلد، کنتیکت رفت.او در سال 1920 به دانشگاه پرینستون رفت.او در آنجا دانشجویی استثنایی بود به طوری که اولین مقالهاش را در مورد تبدیل لورنتس به چاپ رساند و در سال ۱۹۲۴ در رشتۀ ریاضیات فارغالتحصیل شد. او در پرینستون ماند و تحت نظر اوزوالد وبلن در عرض سه سال دکترا خود را در ریاضیات گرفت.بعد از دریافت دکترا، استاد دانشگاه شیکاگو شد و فلوشیپ دوسالۀ شورای ملی پژوهش ایالات متحده آمریکا را دریافت کرد. این امر به او اجازه داد تا در سالهای ۱۹۲۷ الی ۱۹۲۸ به دانشگاه هاروارد و سال بعدش به دانشگاه گوتینگن و دانشگاه آمستردام برود.
او محاسبات لاندا را پایه ریزی کرد.محاسبات لاندا از مقالۀ ۱۹۳۶ وی گرفته شده است که در آن به غیرقابل حل بودن مسئله توقف پرداخته بود. این مقاله قبل از کار مشهور آلن تورینگ ینی مسئله مکیدار، که آن هم وجود یک مسئله غیرقابل حل از طریق معانی ریاضی را ثابت میکرد، منتشر شد. بعدها تورینگ و چرچ نشان دادند که محاسبات لاندا و ماشین تورینگ، که در مسئله مکیدار استفاده شده بود، همارز بوده و متعاقباً چند "فرایند ماشینی محاسبه" دیگر را اثبات کردند. این نتایج به تز چرچ-تورینگ شناخته میشوند.
چرچ از سال ۱۹۲۷ الی ۱۹۶۷ در دانشگاه پرینستون و از سال ۱۹۶۷ الی ۱۹۹۰ در دانشگاه UCLA فلسفه و ریاضی درست میداد.در سال 1990، دانشگاه ایالتی کالیفرنیا همایشی بینالمللی را به افتخار او ترتیب داد.
آلونزو چرچ در 11 آگوست سال 1995 در سن 92 سالگی در شهر هادسون در آمریکا در گذشت.کدگذاری چرچ به افتخار وی نامگذاری شده است.[nb]Wikipedia[/nb]


