геделізувати

[ɦɛdɛlizuʋɑtɪ] Дієслово

Буква:Г

Значення

  1. (Математика) –

    У логіці та математиці: перетворювати формальну систему або математичне твердження на об’єкт вивчення в межах цієї ж самої системи за допомогою кодування (нумерації Гьоделя), зокрема для доказу теорем про неповноту.

  2. (Філософія) –

    У розширеному сенсі: піддавати щось формалізації та логічному аналізу з метою виявлення внутрішніх обмежень, суперечностей або принципово нерозв’язних проблем у системі знань.

Правопис та відмінювання

Граматичні форми:

я геделізую, ти геделізуєш, він геделізує, ми геделізуємо, ви геделізуєте, вони геделізують

Більше записів