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

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