-
1 формалізм
ФОРМАЛІЗМ у математиці - один із напрямів у математиці й логіці, представники якого намагаються обґрунтувати ці науки шляхом доведення несуперечливості як окремих теорій, так і математики й логіки загалом. Сучасного вигляду Ф. набув у Гільберта. Кардинальною й плідною є ідея Ф. вивчати властивості числень самих по собі, незалежно від їхньої інтерпретації. Проте цю ідею прибічники Ф. абсолютизували. Сам Гільберт пов'язував з нею надію на можливість повної й несуперечливої формалізації всієї класичної математики. Теорема Геделя про неповноту аксіоматичної арифметики виявила неспроможність цієї надії. Представники іншого напряму Ф. тлумачили числення лише як "гру зі знаками". Згідно з таким тлумаченням, твердження наукових теорій позбавляються будь-якого змісту, показником їхньої придатності слугує наявність формального доведення несуперечливості. Таке розуміння суті наукової теорії спростовує вся практика людства. -
2 формалізм
-
3 формалізм
normativism, formalism -
4 формаліст
formalist, stiff -
5 формалін
ч хім. -
6 формаліст
-
7 формалізм
-уформали́зм -
8 формалін
-у; хим.формали́н -
9 формаліст
-аформали́ст -
10 формалізм
formalizmч. -
11 формалін
formalinч. -
12 формаліст
formalistч. -
13 формалізм
ფორმალიზმი -
14 формаліст
ფორმალისტი -
15 формаліст
şekilci -
16 формалізація
ФОРМАЛІЗАЦІЯ (від лат. formalis - складений за формою) у математичній логіці - метод подання змістової теорії як числення. Ф. полягає в заміні всіх змістових тверджень відповідними їм послідовностями символів або формулами; у виявленні і перебудові структури теорії, внаслідок чого теорія набуває вигляду ланцюга формул, де кожна наступна логічно випливає з однієї або кількох попередніх (див. аксіоматичний метод, логістичний метод). Ф. використовують у математиці, логіці і в тих науках, рівень розвитку яких дає змогу застосовувати математичний апарат. Ф. як засіб пізнання має велике значення, зокрема, прокладає шлях "кібернетизації" знання та мислення - передачі машинам певної сторони інтелектуальної діяльності людини (див. штучний інтелект). Успіхи формалізації привели до перебільшення її пізнавальної ролі, особливо логічним позитивізмом. Проте, як виявилося, повністю можна формалізувати лише певні фрагменти змістових теорій, а не теорію в цілому.П. Йолон -
17 формалізована мова
ФОРМАЛІЗОВАНА МОВА - спеціальна штучна мова, що будується як певне логічне числення. Від звичайної природної мови відрізняється як способом оперування виразами, так і своїм призначенням. Усі вирази Ф. м. є формулами, операції над якими здійснюються за правилами, що визначаються лише структурою цих формул і абстрагуються від їхнього змісту. Це дає змогу досягти точності і однозначності вживання виразів, чого не забезпечує природна мова. Завдяки цьому Ф. м. є зручним засобом аналізу наукових теорій в математиці, логіці, фізиці та ін. Кожна Ф. м. має свій синтаксис, який визначає її структуру, правила побудови формул і правила перетворення одних формул на інші, і свою семантику, яка визначає систему правил приписування значень формулам мови. До Ф. м. звичайно ставлять вимоги несуперечливості, повноти тощо, характерні для числень. Ф. м. є основою для створення інформаційних машинних мов. -
18 формалізація
-
19 формалізований
-
20 формалістичний
См. также в других словарях:
формал — сущ., кол во синонимов: 1 • формаль (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
формалізм — іменник чоловічого роду … Орфографічний словник української мови
формалін — іменник чоловічого роду … Орфографічний словник української мови
формаліст — іменник чоловічого роду, істота … Орфографічний словник української мови
формаліст — а, ч. 1) Той, хто виявляє формалізм (у 1 знач.) в якій небудь справі. 2) Прихильник, послідовник формалізму (у 2, 3 знач.) … Український тлумачний словник
формалізм — (дотримання зовнішньої форми на шкоду суті справи), формалістика, буквоїдство; педантизм (дріб язковість у дотриманні зовнішньої форми); доктринерство, талмудизм (схоластичні розумування) Пор. бюрократизм … Словник синонімів української мови
формаліст — (той, хто виявляє формалізм у якій н. справі), буквоїд; педант (той, хто суворо виконує формальні вимоги), доктринер, талмудист (той, хто сприймає будь які теоретичні положення як догму) Пор. бюрократ … Словник синонімів української мови
формалістика — [формал’і/стиека] кие, д. і м. иец і … Орфоепічний словник української мови
формалістичний — [формал істи/чнией] м. (на) ному/ н ім, мн. н і … Орфоепічний словник української мови
формалізація — іменник жіночого роду … Орфографічний словник української мови
формалізований — дієприкметник … Орфографічний словник української мови