Матэматычная логіка

З пляцоўкі Вікіпедыя
Перайсці да: рух, знайсці

Матэматычная логіка, тэарэтычная логіка, сімвалічная логіка — раздзел матэматыкі, які вывучае матэматычныя доказы і пытанні асноваў матэматыкі.

Адным з заснавальнікаў лагістычнай школы ў філасофіі матэматыкі, якая ў значнай ступені вызначыла развіццё матэматычнай логікі, быў Алфрэд Норт Уайтхед.

Ідэя будовы універсальнай мовы для ўсёй матэматыкі была выстаўлена Лейбніцам. Першыя навуковыя працы ў галіне матэматычнай логікі з'явіліся ў 19 ст. (гл. Гісторыя матэматычнай логікі).

Гл. таксама[правіць | правіць зыходнік]

Лагічныя злічэнні

Логіка-матэматычныя злічэнні

Аксіяматычная тэорыя мностваў

Алгарытмічныя праблемы

Класічнае злічэнне прэдыкатаў

Канструкцыйная матэматыка

Тэорыя алгебраічных сістэм

Тэорыя мадэляў

Інтуіцыянісцкая логіка

Сітуацыйная семантыка

Мадальная логіка

Матэматычная індукцыя

Давядзенне да абсурду