توماس سترايشر

كان توماس سترايشر (11 فبراير 1958 - 2 يناير 2025) عالم رياضيات نمساويًا، شغل منصب أستاذ الرياضيات في جامعة دارمشتات التقنية . حصل على درجة الدكتوراه عام 1988 من جامعة باساو تحت إشراف مانفريد بروي .

شملت اهتمامات سترايشر البحثية المنطق الفئوي ونظرية المجال ونظرية مارتن-لوف للأنواع .

بالتعاون مع مارتن هوفمان، قام ببناء نموذج لنظرية مارتن-لوف القصدية ، حيث تُفسَّر أنواع الهوية على أنها زمر جزئية . كان هذا أول نموذج بأنواع هوية غير تافهة، أي غير المجموعات . استنادًا إلى هذا العمل ^{[ 1 ]} ، دُرست نماذج أخرى بأنواع هوية غير تافهة، بما في ذلك نظرية نوع التماثل ، التي اقتُرحت كأساس للرياضيات في برنامج فلاديمير فويفودسكي البحثي " الأسس الأحادية للرياضيات" .

حصل بالاشتراك مع مارتن هوفمان على جائزة LICS Test-of-Time لعام 2014 عن بحثه بعنوان: نموذج المجموعة ينفي تفرد براهين الهوية .

توفي سترايشر في 2 يناير 2025، عن عمر يناهز 66 عامًا. ^{[ 2 ]}

• تي. سترايشر (1991)، دلالات نظرية الأنواع: نتائج الصحة والكمال والاستقلال ، بيركهاوزر بوسطن. ISBN 3764335947
• م. هوفمان وت. سترايشر (1996)، تفسير الزمر الجزئي لنظرية النوع ، في سامبين، جيوفاني (محرر) وآخرون، خمسة وعشرون عامًا من نظرية النوع البنائية. وقائع مؤتمر، البندقية، إيطاليا، 19-21 أكتوبر 1995.
• تي. سترايشر (2006)، الأسس النظرية للمجال في البرمجة الوظيفية ، دار النشر العالمية العلمية. رقم ISBN 9812701427

• الموقع الرسمي لجامعة دارمشتات التقنية
• توماس سترايشر في مشروع علم الأنساب الرياضي