فهرست دانشمندان خداناباور
بر اساس زمینه علمی > ریاضی و علوم کامپیوتر

| ردیف | نگاره | نام | ملیت | دلیل شهرت | توضیحات | منابع |
| --- | --- | --- | --- | --- | --- | --- |
| ۱ |  | برتراند راسل |  بریتانیا | قوری راسل فلسفه تحلیلی استدلال خودکار مبادی ریاضیات  جایزه نوبل ادبیات نظریه طبیعی مجموعه‌ها نظریه طبیعی مجموعه‌ها | از جمله دستاوردهای او، تلاشش به‌همراه آلفرد نورث وایتهد برای ایجاد بنیانی منطقی برای ریاضیات با کمک منطق کلاسیک بود.  او در نقلی می‌گوید: اگر هرچیزی باید علتی داشته باشد، پس خدا هم باید علتی داشته باشد. اگر چیزی (مانند خدا) می‌تواند بدون علت باشد، پس جهان هم می‌تواند مانند خدا بدون علت باشد. |  |
| ۲ |  | داوید هیلبرت |  آلمان | اصول هیلبرت مسائل هیلبرت برنامه هیلبرت فضای هیلبرت کنش اینشتین-هیلبرت بنیان‌گذاری آنالیز تابعی |  |  |
| ۳ |  | ژوزف-لویی لاگرانژ |  ایتالیا  فرانسه | نظریه اعداد آنالیز ریاضی مکانیک سماوی مکانیک تحلیلی |  |  |
| ۴ |  | پیر سیمون لاپلاس |  فرانسه | معادله لاپلاس، عملگر لاپلاس، تبدیل لاپلاس، توزیع لاپلاس، جبر لاپلاسی، بسط لاپلاس، عدد لاپلاس، فشار لاپلاس، رزنانس مداری، فرضیه سحابی، مکانیک سماوی، هماهنگ‌های کروی، معادله یانگ–لاپلاس | ناپلئون بناپارت شاگرد او بوده‌است. |  |
| ۵ |  | جان فوربز نش |  ایالات متحده آمریکا | تعادل نش هندسه جبری معادله دیفرانسیل با مشتقات جزئی  جایزه یادبود نوبل علوم اقتصادی | او به مدت بیش از ۳ دهه، به بیماری روان‌گسیختگی (اسکیزوفرنی) از نوع پارانوئید مبتلا بود. |  |
| ۶ |  | آنری پوانکاره |  فرانسه | عدد بتی توپولوژی گروه بنیادی نظریه آشوب نسبیت خاص حدس پوانکاره گروه پوانکاره مسئله سه جسم | حدس پوانکاره که توسط او در اوایل قرن بیستم طرح شد، یکی از مشهورترین مسائل حل نشده ریاضی بود که حدود یک قرن حل نشده باقی ماند تا این که توسط گریگوری پرلمان در سال ۲۰۰۲ حل شد. |   |
| ۷ |  | آلن تورینگ |  بریتانیا | ماشین تورینگ آزمون تورینگ کاهش‌پذیری تورینگ مسئلهٔ ریاضی توقف پدر علوم کامپیوتر و هوش مصنوعی | او چند روش برای شکستن رمزهای مورد استفاده توسط آلمانی‌ها در جنگ جهانی دوم ابداع کرد که از جمله آنها روش ماشینی الکترومکانیکی بود که می‌توانست ویژگی‌های ماشین انیگما را پیدا کند. |  |
| ۸ |  | استیو اسمیل |  ایالات متحده آمریکا | دیفئومورفیسم  مدال فیلدز نگاشت نعل اسبی  نشان ملی علوم |  |  |
| ۹ |  | پل اردیش |  مجارستان | ۱۵۰۰ مقاله علمی به‌تنهایی و ۵۰۰ مقاله علمی مشترک |  |  |
| ۱۰ |  | جان هورتون کانوی |  بریتانیا | قضیه اختیار بازی زندگی کانوی |  |  |
| ۱۱ |  | ژان لو رون دالامبر |  فرانسه | شبه‌نیرو معادله موج عملگر دالامبر آزمون دالامبر دینامیک شاره‌ها معادلات کوشی-ریمان |  |  |
| ۱۲ |  | ژاک آدامار |  فرانسه | ضرب ماتریس نظریه اعداد اول ماتریس هادامارد |  |  |
| ۱۳ |  | گادفری هارولد هاردی |  بریتانیا | آنالیز ریاضی نظریهٔ اعداد اصل هاردی-وینبرگ |  |  |
| ۱۴ |  | هربرت هاپتمن |  ایالات متحده آمریکا |  جایزه نوبل شیمی تعیین ساختار مولکولی مواد بلوری |  |  |
| ۱۵ |  | ساموئل کارلین |  ایالات متحده آمریکا | بلاست طراحی بهینه آنالیز ریاضی  نشان ملی علوم چندجمله‌ای چبیشف |  |  |
| ۱۶ |  | نیکلای لوباچفسکی |  روسیه | هندسه هذلولوی هندسه لوباچفسکی |  |  |
| ۱۷ |  | آندری مارکوف |  روسیه | زنجیره مارکوف فرایند تصادفی |  |  |
| ۱۸ |  | کلود شانون |  ایالات متحده آمریکا | ان-گرم، جبر بولی، عدد شانون، رمز دنباله‌ای، دروازه منطقی، انقلاب دیجیتال، کدهای دودویی، رایانه پوشیدنی، رمزنگاری قالبی، ماشین بی‌کاربرد، پد یک‌بار مصرف، آنتروپی اطلاعات، پردازش اطلاعات، الکترونیک دیجیتال، فشرده‌سازی داده‌ها، نظریه نرخ-اعوجاج، پدر نظریه اطلاعات، خط اشتراک دیجیتال |  |  |
| ۱۹ |  | فرانک رمزی |  بریتانیا | نظریه تصمیم فلسفه ریاضیات نظریه رمزی مدل رشد رمزی |  |  |
| ۲۰ |  | جان آلن پائلوس |  ایالات متحده آمریکا | نویسنده کتاب‌های متعدد به‌ویژه در مقابله با بی‌سوادی ریاضیاتی | استاد دانشگاه تمپل |  |
| ۲۱ |  | کارل پیرسون |  ایالات متحده آمریکا | تحلیل مؤلفه‌های اصلی ضریب همبستگی پیرسون |  |  |
| ۲۲ |  | رابرت فلپس |  ایالات متحده آمریکا | فضای باناخ تابع مشتق‌پذیر قضیه بیشاپ-فلپس |  |  |
| ۲۳ |  | ویلیام جیمز سایدیس |  ایالات متحده آمریکا | زبان‌شناسی ساخت زبان وِندرگود | او در ۹ سالگی از دانشگاه هاروارد پذیرش گرفت اما تا ۱۱ سالگی اجازه ورود به او ندادند. |  |
| ۲۴ |  | گاسپار مونژ |  فرانسه |  اختراع هندسه ترسیمی |  |  |
| ۲۵ |  | جیکوب اپلبام |  ایالات متحده آمریکا | پروژه تور امنیت رایانه‌ای ویکی‌لیکس |  |  |
| ۲۶ |  | جان کارمک |  ایالات متحده آمریکا | توسعه دهنده اید سافت‌ویر برنامه‌نویس اصلی بازی‌های دوم، فرمانده کین، ولفنشتاین سه‌بعدی، سری بازی‌های لرزش |  |  |
| ۲۷ |  | لینوس توروالدز |  فنلاند  ایالات متحده آمریکا | گیت لینوکس هسته لینوکس نرم‌افزار سابسرفیس |  |  |
| ۲۸ |  | یودیا پرل |  اسرائیل  ایالات متحده آمریکا | علیت هوش مصنوعی شبکه‌های بیزی |  |  |
| ۲۹ |  | جان مک‌کارتی |  ایالات متحده آمریکا | جایزه تورینگ هوش مصنوعی شبکه‌های بیزی زبان برنامه‌نویسی لیسپ |  |  |
| ۳۰ |  | ری کرزویل |  ایالات متحده آمریکا | ترابشریت فوتوریسم آینده‌پژوهی هوش مصنوعی تکینگی فناوری |  |  |
| ۳۱ |  | ماروین مینسکی |  ایالات متحده آمریکا | قاب ماشین بی‌کاربرد هوش مصنوعی جایزه تورینگ |  |  |
| ۳۱ |  | پیر لوئی موپرتوئی |  فرانسه | اصل کمترین کنش تراجهش گونه‌ها |  |  |
| ۳۲ |  | اسکات آرانسان |  ایالات متحده آمریکا | ماشین تورینگ کوانتومی مسئله برابری پی و ان‌پی |  |  |
| ۳۳ |  | مایکل عطیه |  لبنان  بریتانیا | هندسه توپولوژی  مدال فیلدز |  |  |
| ۳۴ |  | رابرت کایو |  بلژیک | طراح لوگوی WWW پیشنهاد اولین سیستم ابرمتن برای سرن برگزاری اولین کنفرانس شبکه جهانی وب در سرن |  |  |
| ۳۵ |  | ویلیام کینگدم کلیفورد |  بریتانیا | جبر هندسی تابع بسل-کلیفورد |  |  |
| ۳۶ |  | آگوستوس دمورگان |  بریتانیا | قوانین دمورگان جبر دمورگان جبر رابطه‌ای جبر جهانی |  |  |
| ۳۷ |  | یوجین دینکین |  روسیه  ایالات متحده آمریکا | گروه لی جبر لی زنجیره مارکوف دیاگرام دینکین سیستم دینکین |  |  |
| ۳۸ |  | دامودار دارماناندا کوسامبی |  هند | سکه‌شناسی جمع‌آوری متون سانسکریت باستانی |  |  |
| ۳۹ |  | مارکوس جی. رانوم |  ایالات متحده آمریکا | سامانه تشخیص نفوذ نوآوری در زمینه دیوار آتش ساخت اولین سرور ایمیل اینترنتی |  |  |
| ۴۰ |  | مارکوس دو ساتوی |  بریتانیا | کتاب موسیقی اعداد اول | استاد ریاضی دانشگاه آکسفورد |  |
| ۴۱ |  | لاورنتز شوارتز |  فرانسه |  مدال فیلدز توابع تعمیم یافته |  |  |
| ۴۲ |  | آلن سوکال |  ایالات متحده آمریکا | ماجرای سوکال | استاد ریاضی در کالج دانشگاهی لندن و استاد فیزیک در دانشگاه نیویورک |  |
| ۴۳ |  | هوگو استین‌هاوس |  لهستان | آنالیز تابعی از بنیان‌گذاران نظریه بازی‌ها و نظریه احتمالات | او یکی از دانشجویان دکتری داوید هیلبرت بود. |  |
| ۴۴ |  | آلفرد تارسکی |  لهستان  ایالات متحده آمریکا | نظریه مدل منطق جبری جبر مجرد منطق ریاضی نظریهٔ مجموعه‌ها پارادوکس باناخ-تارسکی | او در کنار هم‌عصر خود، کورت گودل، با کارهایش در زمینه حقیقت، چهره قرن بیستم را تغییر داد. |  |
| ۴۵ |  | الیزور رایت |  ایالات متحده آمریکا | جدول عمر پدر بیمه عمر |  |  |
| ۴۶ |  | اسکار زاریسکی |  روسیه  ایالات متحده آمریکا | هندسه جبری  نشان ملی علوم |  |  |