Математична логіка

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Математи́чна ло́гіка — розділ математики, що вивчає за допомогою формальних систем математичні теорії загалом. Насамперед цікавиться питаннями їх несуперечливості, розв'язності та повноти. Основні розділи математичної логіки:

Історія

[ред. | ред. код]

Математична логіка по суті є формальною логікою, що використовує математичні методи. Формальна логіка вивчає акти мислення (поняття, судження, умовиводи, доведення) з погляду їхньої форми, логічної структури, абстрагуючись від конкретного змісту. Творцем формальної логіки є Арістотель, а першу завершену систему математичної логіки на основі строгої логіко-математичної мови — алгебру логіки, — запропонував Джордж Буль (18151864). Логіко-математичні мови й теорія їхнього смислу розвинуті в роботах Готлоба Фреге (18481925), який ввів поняття предиката і кванторів. Це надало можливість застосувати логіко-математичні мови до питань основ математики. Виклад цілих розділів математики мовою математичної логіки та аксіоматизація арифметики зроблені Джузеппе Пеано (18581932). Грандіозна спроба Г. Фреге та Бертрана Расселла (18721970) зведення всієї математики до логіки не досягла основної мети, але привела до створення багатого логічного апарату, без якого оформлення математичної логіки як повноцінного розділу математики було б неможливе.

На межі 1920 ст. були відкриті парадокси, пов'язані з основними поняттями теорії множин (найвідомішими є парадокси Кантора та Расселла). Для виходу з кризи Брауер (18811966) висунув інтуїціоністську програму, у якій запропонував відмовитися від актуальної нескінченності та логічного закону виключеного третього, вважаючи допустимими в математиці тільки конструктивні доведення. Інший спосіб запропонував Давид Гільберт (18621943), який 3 20-х роках 20 ст. виступив з програмою обґрунтування математики на базі математичної логіки. Програма Гільберта передбачала побудову формально-аксіоматичних моделей (формальних систем) основних розділів математики та подальше доведення їх несуперечливості надійними фінітними засобами. Несуперечливість означає неможливість одночасного виведення деякого твердження та його заперечення. Таким чином, математична теорія, несуперечливість якої хочемо довести, стає предметом вивчення певної математичної науки, яку Давид Гільберт назвав метаматематикою, або теорією доведень. Саме з розробки Д. Гільбертом та його учнями теорії доведень на базі розвинутої в роботах Готлоба Фреге та Бертрана Расселла логічної мови починається становлення математичної логіки як самостійної математичної дисципліни.

Застосування

[ред. | ред. код]

Сфера застосування математичної логіки дуже широка. З кожним роком зростає глибоке проникнення ідей та методів математичної логіки в інформатику, обчислювальну математику, мовознавство, філософію. Потужним імпульсом для розвитку та розширення сфери застосування математичної логіки стала поява електронно-обчислювальних машин. Виявилося, що в межах математичної логіки вже є готовий апарат для проєктування обчислювальної техніки. Методи і поняття математичної логіки є основою, ядром інтелектуальних інформаційних систем. Засоби математичної логіки стали ефективним робочим інструментом для фахівців багатьох галузей науки і техніки.

Див. також

[ред. | ред. код]

Література

[ред. | ред. код]
Українською
  • Дрозд Ю. А. (2005). Основи математичної логіки (PDF). Київ: РВЦ “Київський університет„. с. 96. (укр.)
  • Д. Якименко (Інститут математики НАН України), Математична логіка та алгоритмічно нерозв'язні задачі на YouTube (укр.)
  • Матвієнко М.П., Шаповалов С.П. Математична логіка та теорія алгоритмів. Навчальний посібник. — Математичний практикум. — Київ : Ліра-К, 2015. — 212 с. — ISBN 978-966-2609-74-5. (укр.)
  • Базилевич Л.Є. Дискретна математика у прикладах і задачах : теорія множин, математична логіка, комбінаторика, теорія графів. — Математичний практикум. — Львів, 2013. — 486 с. — ISBN 9789662645095. (укр.)
  • Прийма С.М. Математична логіка і теорія алгоритмів: Навчальний посібник. — Мелітополь : ТОВ „Видавничий будинок ММД”, 2008. — 134 с. — ISBN 978-966-8563-84-3. (укр.)
  • Гасяк О.С. Формальна логіка : короткий словник-довідник. — Чернівці : Чернівецький нац. ун-т, 2014. — 200 с. (укр.)
  • Вітенько І.В. Математична логіка. — Ужгород : Уж. ун-т, 1971. — 210 с. (укр.)
  • Хромой Я.В. Математична логіка. — Київ : Вища школа, 1983. — 208 с. (укр.)
Іншими мовами
  • Schwichtenberg, Helmut (2003–2004), Mathematical Logic (PDF), Munich, Germany: Mathematisches Institut der Universität München, архів оригіналу (PDF) за 6 квітня 2012, процитовано 14 червня 2016 (англ.)
  • Walicki, Michał (2011). Introduction to Mathematical Logic. Singapore: World Scientific Publishing. ISBN 978-981-4343-87-9. (англ.)
  • Mendelson, Elliott (1997), Introduction to Mathematical Logic (вид. 4th), London: Chapman & Hall, ISBN 978-0-412-80830-2 (англ.)
  • Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994), Mathematical Logic (вид. 2nd), New York: Springer, ISBN 0-387-94258-0 (англ.)
  • Марков А. А.. Элементы математической логики. М.: Изд-во МГУ, 1984. (рос.)

Посилання

[ред. | ред. код]