🖥 #سازنده_جهان_دیجیتال
⭐️ مردی که با ریاضیات علوم کامپیوتر را متحول کرد
🔴لزلی لمپورت (Leslie Lamport) نحوه صحبت کامپیوترها با یکدیگر را متحول کرد. دانشمند کامپیوتر برنده جایزه تورینگ در زمینه سیستم‌های توزیع‌شده که در آن اجزای متعدد در شبکه‌های مختلف برای دستیابی به یک هدف مشترک هماهنگ می‌شوند، پیشگام بود. (جستجوهای اینترنتی، محاسبات ابری، هوش مصنوعی همگی شامل سازماندهی لشگرهای ماشین‌های محاسباتی قدرتمند برای کار با هم هستند).
🔴 در اوایل دهه 1980، لامپورت LaTeX را ایجاد کرد، یک سیستم آماده سازی اسناد که راه‌های پیچیده‌ای را برای تایپ فرمول‌های پیچیده و قالب بندی اسناد علمی ارائه می‌دهد. در سال 1989 لامپورت Paxos "الگوریتم اجماع" را اختراع کرد که به چندین کامپیوتر اجازه می‌دهد تا وظایف پیچیده را انجام دهد. بدون آن محاسبات مدرن نمی توانست وجود داشته باشد.
🔴 او همچنین به تعداد انگشت شماری از مسائل توجه بیشتری نشان می‌دهد و نام‌های متمایز مانند الگوریتم باکاری و مسائل عمومی بیزانسی را به آن‌ها داد. به ویژه او "زبان مشخصات" را به نام TLA+ (برای منطق زمانی اقدامات) ایجاد کرد که از زبان دقیق ریاضیات برای جلوگیری از اشکالات و جلوگیری از نقص های طراحی استفاده می کند.
https://youtu.be/rkZzg7Vowao?si=fcXq0fyXdkIviCaY
#️⃣#IDSchools
#️⃣#IDS
#️⃣#IDS_Math
✉️@IDSchools
✉️@IDS_Math
Post #160
548