Матэматычная логіка
З пляцоўкі Вікіпедыя.
Матэматычная логіка, тэарэтычная логіка, сімвалічная логіка — раздзел матэматыкі, які вывучае матэматычныя доказы і пытанні асноваў матэматыкі.
Адным з заснавальнікаў лагістычнай школы ў філасофіі матэматыкі, якая ў значнай ступені вызначыла развіццё матэматычнай логікі, быў Алфрэд Норт Уайтхед.
Ідэя будовы універсальнай мовы для ўсёй матэматыкі была выстаўлена Лейбніцам. Першыя навуковыя працы ў галіне матэматычнай логікі з'явіліся ў 19 ст. (гл. Гісторыя матэматычнай логікі).
Гл. таксама [правіць]
| Асноўныя раздзелы |
|
|---|---|
|
Матэматычная логіка (алгебра логікі) • Тэорыя лікаў (арыфметыка)
|
|
| Партал «Навука» | Партал «Матэматыка» | Катэгорыя «Матэматыка» | |
