Em 1931, Kurt Gödel um matemático, jovem e desconhecido, apresentou prova de que um sistema de matemática completo logicamente, era impossível. | TED | في عام 1931، قدم عالم رياضيات صغير وغير مشهور يدعى كورت غودل برهانًا على استحالة إيجاد مجموعة كاملة من البديهيات لكل علم الرياضيات، |
Evoco a curva temporal fechada de Gödel com variedade Lorentziana! | Open Subtitles | أنا استنجد بقانون غودل بمنحنيات الزمن المغلقه مع مضاعفات لورنتيز! |
O Kurt Gödel apresentou o Teorema da Incompletude. | Open Subtitles | كورت غودل, وضع صيغة نظرية( عدم الأكتمال |