Математическа логика: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
|||
Ред 18:
Преди математическата логика е била наричана символна логика за разлика от философската логика и метаматематиката. Последното наименование е все още в употреба.
== Исторически бележки ==
Истинският създател на математическата логика е [[Готфрид В. Лайбниц]]. Неговите трудове в тази област обаче остават неизвестни около два века. Причината за големия подем и развитието на математическата логика в средата на XIX век е възникването на трудности от логическо естество в математиката, които не бе възможно да се преодолеят със средствата на традиционната логика. Първите значителни трудове след Лайбниц са на Б. Болцано, Дж. Бул, Ч. Пирс, Е. Шрьодер и особено на Г. Фреге. Съществени приноси към математическата логика на XX век имат [[Б. Ръсел]], [[Д. Хилберт]], [[К. Гьодел]], А. Тарски и др.
== Вижте също ==
* [[Логика]]
* [[Съждителна логика]]
== Външни препратки ==
| |||