Съдържание
36 отношения: Курт Гьодел, Парадокс на Ръсел, Платон, Построения с линийка и пергел, Аристотел, Ал Хорезми, Алън Тюринг, Алфред Норт Уайтхед, Алонсо Чърч, Риманова геометрия, Сидхарта Гаутама, Тезис на Чърч, Теория на множествата, Теорема на Гьодел за непълнота, Хераклит, Чарлз Дарвин, Машина на Тюринг, Математика, Италия, Зенон от Елея, Бъртранд Ръсел, Готлоб Фреге, Георг Кантор, Давид Хилберт, Джордано Бруно, Евклид, Елементи, Лао Дзъ, Логика, Лойцен Брауер, 14 век, 16 век, 18 век, 19 век, 1901, 20 век.
- Математическа логика
- Философия на математиката
Курт Гьодел
Курт Гьодел (IPA:, Kurt Gödel) е австрийски и американски логик, математик и философ.
Виж Основи на математиката и Курт Гьодел
Парадокс на Ръсел
Парадоксът на Ръсел (в немската литература: антиномия на Ръсел) е парадокс от теорията на множествата, изиграл важна роля при нейното формиране.
Виж Основи на математиката и Парадокс на Ръсел
Платон
Пла̀тон (Πλάτων) е древногръцки учен, математик и философ.
Виж Основи на математиката и Платон
Построения с линийка и пергел
Построение с линийка и пергел на правилен шестоъгълник. Построенията с линийка и пергел са класически вид геометрични задачи за построение на търсена отсечка само с помощта на два чертожни инструмента.
Виж Основи на математиката и Построения с линийка и пергел
Аристотел
Аристотел (Ἀριστοτέλης) е древногръцки философ и учен, един от най-големите гении на Античността и е наричан „Баща на науката“.
Виж Основи на математиката и Аристотел
Ал Хорезми
#пренасочване Мохамед ал-Хорезми.
Виж Основи на математиката и Ал Хорезми
Алън Тюринг
Алън Матисън Тюринг (Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ.
Виж Основи на математиката и Алън Тюринг
Алфред Норт Уайтхед
Алфред Норт Уайтхед (Alfred North Whitehead) е английски математик и философ.
Виж Основи на математиката и Алфред Норт Уайтхед
Алонсо Чърч
Алонсо Чърч (Alonzo Church) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика.
Виж Основи на математиката и Алонсо Чърч
Риманова геометрия
Римановата геометрия, още наричана геометрия на Риман, е една от неевклидовите геометрии, предложена от немския математик Бернхард Риман.
Виж Основи на математиката и Риманова геометрия
Сидхарта Гаутама
#пренасочване Сидхарта Гаутама Буда.
Виж Основи на математиката и Сидхарта Гаутама
Тезис на Чърч
Тезисът на Чърч (също като Тезис на Чърч-Тюринг или Теза на Чърч-Тюринг), по името на американския логик Алонсо Чърч и Тюринг, в теория на изчислимостта е комбинирана хипотеза („тезис“) за природата на ефективно изчислимите функции чрез рекурсия (тезис на Чърч), чрез механичен способ, еквивалентен на машина на Тюринг (тезис на Тюринг) или чрез употреба на ламбда-изчисление на Чърч.
Виж Основи на математиката и Тезис на Чърч
Теория на множествата
множества. Теория на множествата е дял от математиката, която изучава множествата, като съвкупност от обекти.
Виж Основи на математиката и Теория на множествата
Теорема на Гьодел за непълнота
Теоремата на Гьодел за непълнота описва математически невъзможността за изразяване на цялата истина за дадена предметна област с формални средства (тази формулировка е известна като първа теорема на Гьодел за непълнота).
Виж Основи на математиката и Теорема на Гьодел за непълнота
Хераклит
Хераклит (Ηρακλειτος) е древногръцки философ, произхождащ от знатен род.
Виж Основи на математиката и Хераклит
Чарлз Дарвин
Чарлз Робърт Дарвин (Charles Robert Darwin) е английски учен и естествоизпитател, живял през XIX век.
Виж Основи на математиката и Чарлз Дарвин
Машина на Тюринг
Художествено представяне на машината на Тюринг Машина на Тюринг е абстрактно изчислително устройство, описано от английския математик Алън Тюринг през 1936 г.
Виж Основи на математиката и Машина на Тюринг
Математика
Формули Математика (μάθημα, матема – знание, изучаване, учене) е изучаването на области като количествата (т.е. теория на числата) Определение за „математика“ от Оксфордския речник на английския език,, математически – абсктрактни структури (включително пространствените структури), типовете физично пространство, извършването на изчисления и математически анализ.
Виж Основи на математиката и Математика
Италия
Италия (Italia), официално название Италианска република (Repubblica Italiana), е държава, разположена в Южна и Западна Европа, чиято територия до голяма степен съвпада с географския регион Италия.
Виж Основи на математиката и Италия
Зенон от Елея
Зенон от Елея, Зенон Елейски (старогръцки – Ζήνων ὁ Ἐλεάτης) е античен философ от досократовия период, един от най-важните представители на философската школа на „елеатите”.
Виж Основи на математиката и Зенон от Елея
Бъртранд Ръсел
Бъртранд Артър Уилям Ръсел (Bertrand Arthur William Russell), 3-ти граф Ръсел, е британски философ, логик, математик, историк, пацифист и социален критик.
Виж Основи на математиката и Бъртранд Ръсел
Готлоб Фреге
ФридрихЛудвиг Готлоб Фреге (Friedrich Ludwig Gottlob Frege) е германски математик, логик и философ, прекарал по-голямата част от живота си в град Йена (1869 – 1918), най-напред като студент, а по-нататък и като преподавател по логика и математика.
Виж Основи на математиката и Готлоб Фреге
Георг Кантор
Георг Фердинанд Лудвиг Филип Кантор (Georg Ferdinand Ludwig Philipp Cantor) е германски математик.
Виж Основи на математиката и Георг Кантор
Давид Хилберт
Давѝд Хѝлберт (David Hilbert) е германски математик, нареждан сред най-влиятелните на 19 и 20 век.
Виж Основи на математиката и Давид Хилберт
Джордано Бруно
Джордано Бруно (Giordano Bruno), роден Филипо Бруно, известен още като Бруно от Нола или Бруно Ноланеца, е италиански монахдоминиканец, философ, астроном, математик и драматург, който първи отстоява идеята за безкрайността на Вселената.
Виж Основи на математиката и Джордано Бруно
Евклид
Евклид (Εὐκλείδης) е древногръцки математик, живял в египетския град Александрия при управлението на Птолемей I (323 – 283 година пр.н.е.). Често определян като баща на геометрията, той е автор на книгата „Елементи“, един от най-влиятелните трудове в историята на математиката, служил като основен учебник при преподаването на математика и най-вече на геометрия от времето на своята поява до края на XIX век и началото на XX век.
Виж Основи на математиката и Евклид
Елементи
„Елементи“ (Στοιχεῖα Stoicheia) е математически трактат, състоящ се от 13 книги.
Виж Основи на математиката и Елементи
Лао Дзъ
Лао Дзъ (老子) е китайски философ от древността, централна фигура в даоизма, сред 3-те главни китайски религиозно-философски системи.
Виж Основи на математиката и Лао Дзъ
Логика
Грегор Райш (* ок. 1480, † 1525), „Логиката представя своите централни теми“, ''Margarita Philosophica'', 1503. Двете кучета ''veritas'' и ''falsitas'' преследват заека ''problema'', логиката бърза след тях, въоръжена с меча ''syllogismus''.
Виж Основи на математиката и Логика
Лойцен Брауер
#пренасочване Лойцен Егбертус Ян Брауер.
Виж Основи на математиката и Лойцен Брауер
14 век
14 век започва на 1 януари 1301 г.
Виж Основи на математиката и 14 век
16 век
16 век започва на 1 януари 1501 г.
Виж Основи на математиката и 16 век
18 век
18 век започва на 1 януари 1701 г.
Виж Основи на математиката и 18 век
19 век
Карта на света mрез 1897 г. Британската империя е маркирана с червено Юлската революция от 1830 XIX век започва на 1 януари 1801 г.
Виж Основи на математиката и 19 век
1901
1901 (MCMI) година е обикновена година, започваща във вторник според Григорианския календар.
Виж Основи на математиката и 1901
20 век
20-и век започва на 1 януари 1901 г.
Виж Основи на математиката и 20 век
Вижте също
Математическа логика
- Аксиоми на Пеано
- Алгоритъм
- Изброен тип
- Изчислителна теория
- Индикаторна функция
- Истина
- Математическа логика
- Математическо доказателство
- Основи на математиката
- Променлива величина
- Релация
- Съждение
- Таблица на математически символи
- Тавтология (логика)
- Теорема на Гьодел за непълнота
- Теория на множествата
- Теория на моделите
Философия на математиката
- Безкрайност
- Математическа логика
- Основи на математиката
- Реалност
- Философия на математиката