"gödel" - ترجمة من تركي إلى عربي

• غودل
• غوديل

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.
في عام 1931، قدم عالم رياضيات صغير وغير مشهور يدعى كورت غودل برهانًا على استحالة إيجاد مجموعة كاملة من البديهيات لكل علم الرياضيات،

Gödel, Bolzmann'ın öldüğü yıl, 1906'da doğdu.
وُلد "غودل" في العام الذي مات فيه "بولتزمان" عام 1906.

Gödel köktenci ve devrimci fikirlere sahip düşünürlerle çevrili olsa da onlardan biri değildi.
رغم أنه كان يحيط بـ"غودل" الراديكاليون والمفكّرون الثوريون، ما كان منهم.

Gödel'in "eksiklik teoriminde" gösterdiği;
ما أظهره "غودل" في نظريته لعدم الاكتمال،

Gödel, birçok insanı öldürdü veya biz birçok insanı öldürdük.
غوديل قتل الكثير من الناس او نحن قتلنا الكثير من الناس

İronik olan hemen bir önceki gün Gödel'in hiç bir zaman bilemeyemeceğimiz bazı şeylerin olduğunu ıspatlamış olmasıydı.
ما يدعو للدهشة، أن قبلها بيوم، أثبت "غودل" أنّ هناك أشياء لن نعرفها أبداً.

Benim düşünceme göre, kimse Gödel'in sonuçlarıyla yüzleşmek istemiyor.
في رأيي، لا يريد أن يواجه أحد نتائج "غودل".

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.
رغم ذلك، أعتقد أن "غودل" سحب البساط من تحته بشكل ثقافي، لا يريد أحد أن يواجه هذه الحقيقة.

Bunlar Gödel'in çalışma notlarından bazı sayfalar,
هذه بعض الصفحات من إحدى سجلات عمل "غودل".

Gödel, kendinden önceki Cantor gibi ne problemi çözebildi ne de bir kenara atabildi.
"غودل"، كحال "كانتور" قبله، لم يتمكّن من حل المشكلة أو يفنّدها،

Gödel'in biraz zaman geçirdiği sanatoryumlardan biri,
إحدى المصحّات التي قضى بها "غودل" بعض الوقت فيها ، هنا،

Gödel'in rasyonalizmin limitlerini zorlamak suretiyle deliliğe sürüklediği kendisini buraya gelmek zorunda bırakması ne kadar da ironik...
ما يدعو للسخرية، أن "غودل" الذي دفعه للجنون تعدّي حدود العقلانية، يجب أن يأتي هنا للتعافي.

Gödel'in deliliği geçti, ama Avusturya'nın ki? Hayır, geçmedi.
مرّ جنون "غودل"، ولم ينتهِ جنون "النمسا".

1939'da Gödel bizzat bir gurup Nazi haydutunun saldırısına uğradı.
في 1939, هوجم "غودل" من مجموعة من المجرمين النازيين.

Gödel'in zaten yaptığı, yıkıcı "eksiklik teoremini" de (tekrar) yapandı.
الذي جعل من نظرية "غودل" لعدم الاكتمال المتقوّضة بالفعل

Gödel'in teoremini daha anlaşılır ve basit hale getirmek istedi.
وأراد ببساطة أن يوضح ويسهّل نظرية "غودل".

Modern dünyayı şekillendiren icat... ilk defa, Gödel'in eksiklik teoremini sağlamlaştırmak adına tasavvur edildi.
الاختراع الذي شكّل العالم المعاصر، تم تخيّله أولاً كالوسائل لتدعيم نظرية "غودل" لعدم الاكتمالية.

Gödel bütün mantık sistemlerinin çözülemez mantık problemleri barındıracağını ıspatlamıştı.
أثبت "غودل" أنه في كل الأنظمة المنطقية سيكون هناك بعض المشاكل يستحيل حلها.

En azından Gödel'de ıspatlanabilirle ıspatlanamazı ayırıp, ıspatlanamazı bir kenara bırakmak için bir umut vardı.
على الأقل مع "غودل"، كان هناك أمل أنه يمكنك التمييز بين القابل للبرهان

Turing, Gödel'in çok derin keşfi olan "eksikliği"
يحصل "تورينغ" على عدم الاكتمالية، - - اكتشاف "غودل" الكبير

Kesinlikle, Gödel'in tamamlanamamış teoremi.
بالضبط (نظرية النقص لـ(غوديل