# אלונזו צ'רץ'

### מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

אלונזו צ'רץ (14 ביוני, 1903 - 11 באוגוסט, 1995) היה מתמטיקאי ולוגיקן שתרם רבות לפיתוח מדעי המחשב. נולד בוושינגטון די.סי ולמד באוניברסיטת פרינסטון שם קיבל את הדוקטורט בשנת 1927, ונהיה פרופסור למתמטיקה שם בשנת 1929.

ידוע בעיקר בזכות עבודתו על תחשיב למדא ובזכות עבודתו המפורסמת משנת 1936 המראה על קיומה של "בעייה לא פתירה". עבודה זו איפשרה לאלן טיורינג להתחיל בעבודתו המפורסמת על בעיית העצירה. הוא וטיורינג החלו לשתף פעולה והראו שתחשיב הלמדא ומכונת טיורינג הם כלים חישוביים שקולים, וכתוצאה מכך הראו מבחר של "שיטות חישוב" והראו שגם להם יש את אותו כוח חישובי. תוצאה זו היא הבסיס של התזה של צ'רץ'- טיורינג.

## [עריכה] קישורים חיצוניים

- ביוגרפיה של אלונזו צ'רץ' באתר MacTutor
- גנאלוגיה מתמטית של אלונזו צ'רץ' באתר The Mathematics Genealogy Project

מקור: http://he.wikipedia.org../../../%D7%90/%D7%9C/%D7%95/%D7%90%D7%9C%D7%95%D7%A0%D7%96%D7%95_%D7%A6%27%D7%A8%D7%A5%27.html

קטגוריות: מתמטיקאים | מתמטיקאים אמריקאים | לוגיקנים

##### Views

- ערך
- שיחה
- גרסה נוכחית

##### קהילה

- שער הקהילה
- עזרה
- דלפק ייעוץ
- מזנון
- יצירת קשר
- ספר אורחים

##### חיפוש

##### שפות אחרות

- English
- বাংলা
- Česky
- Deutsch
- Esperanto
- Español
- Suomi
- Français
- Magyar
- Italiano
- 日本語
- 한국어
- Nederlands
- Polski
- Português
- Русский
- Slovenčina
- Slovenščina
- Türkçe
- Українська
- 中文