Вікіпедыя

Матэматычная логіка: Розніца паміж версіямі

Інтэрактыўны прагляд гісторыі
[недагледжаная версія][недагледжаная версія]
← Папярэдняя праўкаНаступная праўка →
Змесціва выдалена Змесціва дададзена
ВізуальнаВікіразметка
Няма тлумачэння праўкі
вікіфікацыя, дапаўненне
Радок 1:
'''Матэматычная логіка''', '''тэарэтычная логіка''', '''сімвалічная логіка'''  — раздзел матэматыкі, які вывучае матэматычныя доказы і пытанні асноваў матэматыкі.
 
ІдэяАдным будовыз універсальнайзаснавальнікаў мовылагістычнай дляшколы ўсёйў філасофіі матэматыкі, былаякая выстаўленаў [[Лейбніц]]ам.значнай Першыяступені навуковыявызначыла працы ў галінеразвіццё матэматычнай логікі, з'явіліся ў 19 ст. (гл.быў [[ГісторыяАлфрэд матэматычнайНорт логікіУайтхед]]).
 
Ідэя будовы універсальнай мовы для ўсёй матэматыкі была выстаўлена [[Готфрыд Лейбніц|Лейбніцам]]. Першыя навуковыя працы ў галіне матэматычнай логікі з'явіліся ў 19 ст. (гл. [[Гісторыя матэматычнай логікі]]).
==Гл. таксама==▼
 
▲== Гл. таксама ==
[[Лагічныя злічэнні]]
 
Узята з "https://be.wikipedia.org/wiki/Матэматычная_логіка"