Более быстрый доступ, чем браузер!
19 отношения: Клайн, Морис, Клини, Стивен Коул, Колмогоров, Андрей Николаевич, Конечное множество, Антиномия, Натуральное число, Рациональное число, Стюарт, Иэн (математик), Тарский, Альфред, Теория множеств, Формализм (математика), Экстраполяция, Математическое доказательство, Множество Витали, Интуиционистское исчисление высказываний, Брауэр, Лёйтзен Эгберт Ян, Виноградов, Иван Матвеевич, Гильберт, Давид, Гейтинг, Аренд.
Клайн, Морис
Мо́рис Клайн (Morris Kline, 1908—1992) — американский, известный своими работами по истории и философии математики, проблемам математического образования и научно-популярной тематике.
Новый!!: Интуиционизм и Клайн, Морис · Узнать больше »
Клини, Стивен Коул
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана Тьюринга дали начало разделу математической логики — теории вычислимости.
Новый!!: Интуиционизм и Клини, Стивен Коул · Узнать больше »
Колмогоров, Андрей Николаевич
Андре́й Никола́евич Колмого́ров (урождённый Катаев,, Тамбов — 20 октября 1987, Москва) — советский математик, один из крупнейших математиков XX века.
Новый!!: Интуиционизм и Колмогоров, Андрей Николаевич · Узнать больше »
Конечное множество
Конечное множество — множество, количество элементов которого конечно, то есть, существует неотрицательное целое число k, равное количеству элементов этого множества.
Новый!!: Интуиционизм и Конечное множество · Узнать больше »
Антиномия
Антино́мия (ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов.
Новый!!: Интуиционизм и Антиномия · Узнать больше »
Натуральное число
Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.) Натура́льные чи́сла (от naturalis — естественный; естественные числа) — числа, возникающие естественным образом при счёте (например, 1, 2, 3, 4, 5, 6, 7, 8, 9…).
Новый!!: Интуиционизм и Натуральное число · Узнать больше »
Рациональное число
Четверти Рациональное число (ratio — отношение, деление, дробь) — число, которое можно представить обыкновенной дробью \frac, числитель m — целое число, а знаменатель n — натуральное число, к примеру 2/3.
Новый!!: Интуиционизм и Рациональное число · Узнать больше »
Стюарт, Иэн (математик)
Иэн Николас Стюарт,, (24 сентября 1945 года) — британский математик, популяризатор науки и писатель-фантаст на сайте Scopus.
Новый!!: Интуиционизм и Стюарт, Иэн (математик) · Узнать больше »
Тарский, Альфред
Альфред Тарский (Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности.
Новый!!: Интуиционизм и Тарский, Альфред · Узнать больше »
Теория множеств
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством.
Новый!!: Интуиционизм и Теория множеств · Узнать больше »
Формализм (математика)
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем.
Новый!!: Интуиционизм и Формализм (математика) · Узнать больше »
Экстраполяция
Экстраполя́ция, экстраполи́рование (от extrā — вне, снаружи, за, кроме и polire — приглаживаю, выправляю, изменяю, меняю) — особый тип аппроксимации, при котором функция аппроксимируется вне заданного интервала, а не ''между'' заданными значениями.
Новый!!: Интуиционизм и Экстраполяция · Узнать больше »
Математическое доказательство
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно.
Новый!!: Интуиционизм и Математическое доказательство · Узнать больше »
Множество Витали
Множество Витали — первый пример множества вещественных чисел, не имеющего меры Лебега.
Новый!!: Интуиционизм и Множество Витали · Узнать больше »
Интуиционистское исчисление высказываний
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма.
Новый!!: Интуиционизм и Интуиционистское исчисление высказываний · Узнать больше »
Брауэр, Лёйтзен Эгберт Ян
Лёйтзен Э́гберт Ян Бра́уэр (Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.
Новый!!: Интуиционизм и Брауэр, Лёйтзен Эгберт Ян · Узнать больше »
Виноградов, Иван Матвеевич
Ива́н Матве́евич Виногра́дов (1891—1983) — советский, академик АН СССР (1929) по Отделению физико-математических наук (математика).
Новый!!: Интуиционизм и Виноградов, Иван Матвеевич · Узнать больше »
Гильберт, Давид
Дави́д Ги́льберт (David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий -универсал, внёс значительный вклад в развитие многих областей математики.
Новый!!: Интуиционизм и Гильберт, Давид · Узнать больше »
Гейтинг, Аренд
Аренд Гейтинг (Arend Heyting;, —) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН.
Новый!!: Интуиционизм и Гейтинг, Аренд · Узнать больше »
