روبن غاندي: الفرق بين النسختين
| [نسخة منشورة] | [نسخة منشورة] |
تم حذف المحتوى تمت إضافة المحتوى
ط بوت:الإبلاغ عن رابط معطوب أو مؤرشف V2.6 |
ط بوت:الإبلاغ عن رابط معطوب أو مؤرشف V2.6 |
||
سطر 34:
اشتهر بعمله في [[نظرية الحاسوبية]]. وتشمل مساهماته نظرية سبكتور-غاندي، ونظرية مقارنة مرحلة غاندي، ونظرية غاندي المختارة. كما ساهم بشكل كبير في فهم أطروحة تورينغ، وعمل علي تطوير [[آلة تورنغ]].<ref>[https://www.cmu.edu/dietrich/philosophy/docs/tech-reports/175_Sieg.pdf Wilfried Sieg, 2005, ''Church without dogma: axioms for computability,'' Carnegie Mellon University] {{Webarchive|url=http://web.archive.org/web/20171201080857/https://www.cmu.edu/dietrich/philosophy/docs/tech-reports/175_Sieg.pdf |date=01 ديسمبر 2017}}</ref>
توفي غاندي في [[أكسفورد]]، إنجلترا.<ref name="independent" /><ref>[http://www.turing.org.uk/turing/scrapbook/robin.html Robin Gandy — The Alan Turing Scrapbook], [https://archive.is/20121224171734/http://www.turing.org.uk/turing/scrapbook/robin.html archived] at Archive.Today {{Webarchive|url=http://web.archive.org/web/20160701231924/http://www.turing.org.uk/turing/scrapbook/robin.html |date=01 يوليو 2016}}</ref>
== المراجع ==
| |||