1931 yılında, Kurt Gödel adlı, tanınmayan genç bir matematikçi, mantıken eksiksiz bir matematik sisteminin imkânsız olduğu kanıtını sundu. | TED | في عام 1931، قدم عالم رياضيات صغير وغير مشهور يدعى كورت غودل برهانًا على استحالة إيجاد مجموعة كاملة من البديهيات لكل علم الرياضيات، |
Gödel, Bolzmann'ın öldüğü yıl, 1906'da doğdu. | Open Subtitles | وُلد "غودل" في العام الذي مات فيه "بولتزمان" عام 1906. |
Gödel köktenci ve devrimci fikirlere sahip düşünürlerle çevrili olsa da onlardan biri değildi. | Open Subtitles | رغم أنه كان يحيط بـ"غودل" الراديكاليون والمفكّرون الثوريون، ما كان منهم. |
Gödel'in "eksiklik teoriminde" gösterdiği; | Open Subtitles | ما أظهره "غودل" في نظريته لعدم الاكتمال، |
Gadel Einstein'ın yakın arkadaşıydı, ve büyük adamın denkleminin zaman yolculuğuna izin verip vermeyeceğini görmeye karar verdi. | Open Subtitles | (كان (غودل) صديقاً مُقرّباً ل(أينشتاين و قد قرر معرفة ما إذا كانت مُعادلات الرجُل العظيم تسمح بالسفر عبر الزمن |
İronik olan hemen bir önceki gün Gödel'in hiç bir zaman bilemeyemeceğimiz bazı şeylerin olduğunu ıspatlamış olmasıydı. | Open Subtitles | ما يدعو للدهشة، أن قبلها بيوم، أثبت "غودل" أنّ هناك أشياء لن نعرفها أبداً. |
Benim düşünceme göre, kimse Gödel'in sonuçlarıyla yüzleşmek istemiyor. | Open Subtitles | في رأيي، لا يريد أن يواجه أحد نتائج "غودل". |
Dolayısıyla, Gödel'in, formel matematiğin altındaki halıyı zekice çektiğine inansam da kimse bu gerçekle yüzleşmek istemez. | Open Subtitles | رغم ذلك، أعتقد أن "غودل" سحب البساط من تحته بشكل ثقافي، لا يريد أحد أن يواجه هذه الحقيقة. |
Bunlar Gödel'in çalışma notlarından bazı sayfalar, | Open Subtitles | هذه بعض الصفحات من إحدى سجلات عمل "غودل". |
Gödel, kendinden önceki Cantor gibi ne problemi çözebildi ne de bir kenara atabildi. | Open Subtitles | "غودل"، كحال "كانتور" قبله، لم يتمكّن من حل المشكلة أو يفنّدها، |
Gödel'in biraz zaman geçirdiği sanatoryumlardan biri, | Open Subtitles | إحدى المصحّات التي قضى بها "غودل" بعض الوقت فيها ، هنا، |
Gödel'in rasyonalizmin limitlerini zorlamak suretiyle deliliğe sürüklediği kendisini buraya gelmek zorunda bırakması ne kadar da ironik... | Open Subtitles | ما يدعو للسخرية، أن "غودل" الذي دفعه للجنون تعدّي حدود العقلانية، يجب أن يأتي هنا للتعافي. |
Gödel'in deliliği geçti, ama Avusturya'nın ki? Hayır, geçmedi. | Open Subtitles | مرّ جنون "غودل"، ولم ينتهِ جنون "النمسا". |
1939'da Gödel bizzat bir gurup Nazi haydutunun saldırısına uğradı. | Open Subtitles | في 1939, هوجم "غودل" من مجموعة من المجرمين النازيين. |
Gödel'in zaten yaptığı, yıkıcı "eksiklik teoremini" de (tekrar) yapandı. | Open Subtitles | الذي جعل من نظرية "غودل" لعدم الاكتمال المتقوّضة بالفعل |
Gödel'in teoremini daha anlaşılır ve basit hale getirmek istedi. | Open Subtitles | وأراد ببساطة أن يوضح ويسهّل نظرية "غودل". |
Modern dünyayı şekillendiren icat... ilk defa, Gödel'in eksiklik teoremini sağlamlaştırmak adına tasavvur edildi. | Open Subtitles | الاختراع الذي شكّل العالم المعاصر، تم تخيّله أولاً كالوسائل لتدعيم نظرية "غودل" لعدم الاكتمالية. |
Gödel bütün mantık sistemlerinin çözülemez mantık problemleri barındıracağını ıspatlamıştı. | Open Subtitles | أثبت "غودل" أنه في كل الأنظمة المنطقية سيكون هناك بعض المشاكل يستحيل حلها. |
En azından Gödel'de ıspatlanabilirle ıspatlanamazı ayırıp, ıspatlanamazı bir kenara bırakmak için bir umut vardı. | Open Subtitles | على الأقل مع "غودل"، كان هناك أمل أنه يمكنك التمييز بين القابل للبرهان |
Turing, Gödel'in çok derin keşfi olan "eksikliği" | Open Subtitles | يحصل "تورينغ" على عدم الاكتمالية، - - اكتشاف "غودل" الكبير |
Gadel'in kağıtlarından çok etkilendim, | Open Subtitles | أذهلنى تقرير (غودل) الذى قرأته عندما كُنت طالباً فى معهد (ماساتشوسيتس) للتكنولوجيا |