Математическа логика: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Medupdate3 (беседа | приноси)
форматиране и нов линк към логика, модерни изследвания в математическата логика
Етикет: Отменени
Medupdate3 (беседа | приноси)
Етикет: Отменени
Ред 8:
 
== Дялове на математическата логика ==
* '''Теорията на множествата''' е базова (начална) математическа логика, която изучава математическите множества, които са абстрактни съвкупности от агенти или обекти. В областта на аксиоматичната теория на множествата се правят изследвания с помощта на логически методи, за да се установи кои математически твърдения в различните формални теории са доказуеми.
 
* '''Теорията на математическите доказателства''' изследва формалните математически доказателства и твърдения. Математическите доказателства се представят като съставени от математически обекти, за да бъдат изследвани с помощта на разнообразни, класически, модерни и съвременни (свръхмодерни) математически техники. Първоначално теорията на математическите доказателства е създадена за обосноваване на инфинитните математически методи на базата на финитни, избягващи безкрайността разсъждения. В класическата езикова логика [[Готлоб Фреге]] се занимава с някои математически доказателства и формализира понятието доказателство в езиковата логика. Терминът „теория на математическите доказателствата“ е предложен от [[Давид Хилберт]].