ні, або формальній системі) - це деяка послідовність формул, кожна з яких або є аксіома, або виходить з попередніх формул послідовності по якомусь правилу виводу. На відміну від таких формальних доказів, властивості самої формальної системи в цілому вивчаються містять. засобами метатеоріі. Основні вимоги, пропоновані до аксіоматичним формальним системам, - несуперечливість, повнота, незалежність аксіом. Гильбертовськая програму, що передбачала можливість довести несуперечність і повноту всієї класичної математики, в цілому виявилася нездійсненною. У 1931 Гедел' довів неможливість повної аксіоматизації досить розвинених наукових теорій (напр., арифметики натуральних чисел), що свідчило про обмеженість аксіоматичного методу. Основні принципи аксіоматичні методи були піддані критиці прибічниками інтуїціонізму і конструктивного напряму. br/>
Висновок
Математична логіка є наукою про закони математичного мислення. Застосування математики до логіки дозволило представити логічні теорії в новій зручній формі і застосувати обчислювальний апарат до вирішення завдань, малодоступних людського мислення, і це, звичайно, розширило область логічних досліджень. Сфера застосування математичної логіки дуже широка. З кожним роком зростає глибоке проникнення ідей і методів математичної логіки в інформатику, обчислювальну математику, лінгвістику, філософію. Потужним імпульсом для розвитку і розширення області застосування математичної логіки стала поява електронно-обчислювальних машин. Виявилося, що в рамках математичної логіки вже є готовий апарат для проектування обчислювальної техніки. Методи і поняття математичної логіки є основою, ядром інтелектуальних інформаційних систем. Засоби математичної логіки стали ефективним робочим інструментом для фахівців багатьох галузей науки і техніки. Математичну логіку необхідно знати всім фахівцям, незалежно в якому середовищі він працює (будь то інженер, викладач, юрист або просто-лікар). br/>
Список використаної літератури
математична логіка висловлювання кон'юнкція
Інтернет-ресурс: # "justify"> 1.
