Работим за възстановяване на приложението Unionpedia в Google Play Store
ИзходящIncoming
🌟Упростихме нашия дизайн за по-добра навигация!
Instagram Facebook X LinkedIn

Математическа логика

Index Математическа логика

Математическата логика е дял от математиката, съвременна форма на формалната логика.

Съдържание

  1. 16 отношения: Курт Гьодел, Карл Вайерщрас, Огюстен Луи Коши, Алфред Тарски, Рихард Дедекинд, Тюринг, Теоретична физика, Фреге, Математически анализ, Бъртранд Ръсел, Бернард Болцано, Готфрид Вилхелм Лайбниц, Готлоб Фреге, Давид Хилберт, Джордж Бул, Логика.

  2. Логика
  3. Философия на математиката

Курт Гьодел

Курт Гьодел (IPA:, Kurt Gödel) е австрийски и американски логик, математик и философ.

Виж Математическа логика и Курт Гьодел

Карл Вайерщрас

Карл Теодор Вилхелм Вайерщрас (Karl Theodor Wilhelm Weierstraß; 31 октомври 1815, Остенфелде – 19 февруари 1897, Берлин) е германски математик, един от създателите на съвременния математически анализ.

Виж Математическа логика и Карл Вайерщрас

Огюстен Луи Коши

Барон Огюстен Луи Коши (Augustin Louis Cauchy; 21 август 1789 – 23 май 1857) е френски математик, пионер в математическия анализ – той е сред първите, заели се със строгото доказване на теоремите на математическия анализ.

Виж Математическа логика и Огюстен Луи Коши

Алфред Тарски

Алфред Та̀рски (Alfred Tarski), с рождено име Алфред Тайтелбаум (Alfred Tajtelbaum) е полско-американски математик логик от еврейски произход.

Виж Математическа логика и Алфред Тарски

Рихард Дедекинд

Рихард Дедекинд (пълно име Julius Wilhelm Richard Dedekind) е германски математик, известен с трудовете си по абстрактна алгебра, алгебрична теория на числата и основите на реалните числа.

Виж Математическа логика и Рихард Дедекинд

Тюринг

#виж Алън Тюринг.

Виж Математическа логика и Тюринг

Теоретична физика

общата теория на относителността, въпреки че не е наблюдавано или потвърдено чрез експеримент. Теоретична физика е дял от физиката и способ и метод за опознаване на природата чрез изучаване на природните явления с помощта на математически модел.

Виж Математическа логика и Теоретична физика

Фреге

#виж Готлоб Фреге.

Виж Математическа логика и Фреге

Математически анализ

Диференциалните уравнения – като описващото визуализирания тук атрактор – са важна подобласт на математическия анализ с множество приложенията в науката и техниката Математическият анализ е клон от математиката, който се занимава с изследване на поведението на непрекъснатите функции, границите и свързаните с тяхобекти и действия, като диференциране, интегриране, размерност, редица, ред и аналитична функция.

Виж Математическа логика и Математически анализ

Бъртранд Ръсел

Бъртранд Артър Уилям Ръсел (Bertrand Arthur William Russell), 3-ти граф Ръсел, е британски философ, логик, математик, историк, пацифист и социален критик.

Виж Математическа логика и Бъртранд Ръсел

Бернард Болцано

Бернард Болцано (чешки: Bernard Placidus Johann Nepomuk Bolzano) е бохемски философ, математик и теолог с италиано-немски произход.

Виж Математическа логика и Бернард Болцано

Готфрид Вилхелм Лайбниц

#виж Готфрид Лайбниц.

Виж Математическа логика и Готфрид Вилхелм Лайбниц

Готлоб Фреге

ФридрихЛудвиг Готлоб Фреге (Friedrich Ludwig Gottlob Frege) е германски математик, логик и философ, прекарал по-голямата част от живота си в град Йена (1869 – 1918), най-напред като студент, а по-нататък и като преподавател по логика и математика.

Виж Математическа логика и Готлоб Фреге

Давид Хилберт

Давѝд Хѝлберт (David Hilbert) е германски математик, нареждан сред най-влиятелните на 19 и 20 век.

Виж Математическа логика и Давид Хилберт

Джордж Бул

Джордж Бул (George Boole) е британски математик и философ.

Виж Математическа логика и Джордж Бул

Логика

Грегор Райш (* ок. 1480, † 1525), „Логиката представя своите централни теми“, ''Margarita Philosophica'', 1503. Двете кучета ''veritas'' и ''falsitas'' преследват заека ''problema'', логиката бърза след тях, въоръжена с меча ''syllogismus''.

Виж Математическа логика и Логика

Вижте също

Логика

Философия на математиката