Дивитися що таке "несуперечлива формалізація" в інших словниках:
ФОРМАЛІЗАЦІЯ - (від лат. Forma вид, образ) відображення об'єктів деякої предметної області за допомогою символів к. л. мови. Найпростіший вид Ф. пряма репрезентація (позначення, іменування, опис) об'єктів за допомогою термінів. Напр. в природній мові роль ... ... Філософська енциклопедія
Метаматематика - теорія доказів, теорія докази, в широкому сенсі слова Метатеорія математики, що не припускає ніяких спеціальних обмежень на характер використовуваних метатеоретических методів, на спосіб завдання і обсяг досліджуваної в М. ... ... Велика радянська енциклопедія
Аксіоматичний метод - спосіб побудови наукової теорії, при до ром в основу теорії кладуться недо риє вихідні положення, наз. аксіомами теорії, а всі інші пропозиції теорії виходять як логічний. слідства аксіом. В математиці А. м. Зародився в роботах ... ... Математична енциклопедія
Аксіоматичний метод - спосіб побудови наукової теорії, при якому в її основу кладуться деякі вихідні положення (судження) аксіоми (Див. Аксіома), або Постулати, з яких всі інші твердження цієї науки (теореми (Див. Теорема)) повинні виводитися ... ... Велика радянська енциклопедія
Гільберт - (Hubert) Давид (рід. 23 Січня. Тисяча вісімсот шістьдесят два, Кенігсберг - розум. 14 февр. 1943 року, Геттінген) - нім. математик і логік, професор в Геттінгені з 1895 по 1936. Створив основоположні роботи по аксіоматиці геометрії, арифметики і фізики, в яких намагався ... ... Філософська енциклопедія
ЛОГІКА - (від грец. Logos слово, поняття, міркування, розум), або Формальна логіка, наука про закони й операції правильного мислення. Згідно з основним принципом Л. правильність міркування (висновку) визначається тільки його логічною формою, або ... ... Філософська енциклопедія
Несуперечливу - властивість формальної системи, що складається в тому, що не кожна формула цієї системи доказова в ній. Формальні системи, що володіють цією властивістю, наз. суперечним і, або формально суперечним і. В іншому випадку формальна система зв ... Математична енциклопедія