Более быстрый доступ, чем браузер!
47 отношения: American Mathematical Monthly, Principia Mathematica, Курант, Рихард, Куайн, Уиллард Ван Орман, Кантор, Георг, Класс (математика), Контейнер (программирование), Проблема остановки, Парадокс Карри, Парадокс Кантора, Парадокс Ришара, Парадокс всемогущества, Парадокс интересных чисел, Парадокс Мириманова, Парадокс Бурали-Форти, Парадокс Берри, Порядковое число, Перечислимое множество, Пеано, Джузеппе, Алгоритмическая разрешимость, Антиномия, Аналитическая философия, Нельсон, Леонард, Рассел, Бертран, Система аксиом фон Неймана — Бернайса — Гёделя, Синглетон (математика), Теорема Кантора, Теорема Гёделя о неполноте, Уайтхед, Альфред Норт, Фундированное множество, Фреге, Фридрих Людвиг Готлоб, Формальный язык, Формальная система, Цермело, Эрнст, Математический анализ, Мартин-Лёф, Пер, Мощность множества, Интуиционистское исчисление высказываний, Брауэр, Лёйтзен Эгберт Ян, Витгенштейн, Людвиг, Гуссерль, Эдмунд, Группа (математика), Гильберт, Давид, Дюбуа-Реймон, Поль Давид Густав, Логика первого порядка, Логико-философский трактат, 1901 год.
American Mathematical Monthly
American Mathematical Monthly — математический журнал, основанный Бенджамином Финкелом в 1894 году.
Новый!!: Парадокс Рассела и American Mathematical Monthly · Узнать больше »
Principia Mathematica
Principia Mathematica — трёхтомный труд по логике и философии математики Альфреда Норта Уайтхеда и Бертрана Рассела, выпущенный в 1910, 1912 и 1913 годах.
Новый!!: Парадокс Рассела и Principia Mathematica · Узнать больше »
Курант, Рихард
Ри́хард Ку́рант (8 января 1888, Люблинец, Германская империя, ныне Польша — 27 января 1972, Нью-Йорк, США) — немецкий и американский математик, педагог и научный организатор.
Новый!!: Парадокс Рассела и Курант, Рихард · Узнать больше »
Куайн, Уиллард Ван Орман
Уиллард Ван Орман Куайн (Willard Van Orman Quine; 25 июня 1908, Акрон, штат Огайо — 25 декабря 2000, Бостон, штат Массачусетс) — американский философ, логик и математик.
Новый!!: Парадокс Рассела и Куайн, Уиллард Ван Орман · Узнать больше »
Кантор, Георг
Гео́рг Ка́нтор (Georg Ferdinand Ludwig Philipp Cantor, 3 марта 1845, Санкт-Петербург — 6 января 1918, Галле (Заале)) — немецкий, ученик Вейерштрасса.
Новый!!: Парадокс Рассела и Кантор, Георг · Узнать больше »
Класс (математика)
Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком.
Новый!!: Парадокс Рассела и Класс (математика) · Узнать больше »
Контейнер (программирование)
Конте́йнер в программировании — тип, позволяющий инкапсулировать в себе объекты других типов.
Новый!!: Парадокс Рассела и Контейнер (программирование) · Узнать больше »
Проблема остановки
Проблема остановки (или проблема останова) — это одна из центральных проблем в теории алгоритмов, которая может неформально быть поставлена в виде: Алан Тьюринг доказал в 1936 году, что проблема остановки неразрешима на машине Тьюринга.
Новый!!: Парадокс Рассела и Проблема остановки · Узнать больше »
Парадокс Карри
Парадокс Карри — парадоксальный вывод из высказывания «Если это утверждение верно, то русалки существуют».
Новый!!: Парадокс Рассела и Парадокс Карри · Узнать больше »
Парадокс Кантора
Парадо́кс Ка́нтора — парадокс теории множеств, который демонстрирует, что предположение о существовании множества всех множеств ведёт к противоречиям и, следовательно, противоречивой является теория, в которой построение такого множества возможно.
Новый!!: Парадокс Рассела и Парадокс Кантора · Узнать больше »
Парадокс Ришара
Парадо́кс Риша́ра — семантический парадокс, впервые описанный французским математиком Жюлем Ришаром в 1905 году.
Новый!!: Парадокс Рассела и Парадокс Ришара · Узнать больше »
Парадокс всемогущества
Ибн Рушд (1126—1198) — западноарабский философ, исследовавший в своих работах парадокс всемогущества. Деталь фрески Андреа Бонайути «Апофеоз святого Фомы» (1366) Парадо́кс всемогу́щества — семейство парадоксов, связанных с различными интерпретациями понятия всемогущества.
Новый!!: Парадокс Рассела и Парадокс всемогущества · Узнать больше »
Парадокс интересных чисел
Парадокс интересных чисел — полуюмористический парадокс, который возникает из-за попыток классифицировать натуральные числа как «интересные» и «скучные».
Новый!!: Парадокс Рассела и Парадокс интересных чисел · Узнать больше »
Парадокс Мириманова
Парадокс Мириманова (парадокс класса всех фундированных классов) — парадокс в теории множеств, являющийся обобщением парадокса Бурали-Форти.
Новый!!: Парадокс Рассела и Парадокс Мириманова · Узнать больше »
Парадокс Бурали-Форти
Парадокс Бурали-Форти демонстрирует, что предположение о существовании множества всех порядковых чисел ведёт к противоречиям и, следовательно, противоречивой является теория множеств, в которой построение такого множества возможно.
Новый!!: Парадокс Рассела и Парадокс Бурали-Форти · Узнать больше »
Парадокс Берри
Парадокс Берри — парадокс самореференции, заключённый во фразе «наименьшее натуральное число, которое нельзя описать менее чем заданным количеством слов» («the smallest possible integer not definable by a given number of words»).
Новый!!: Парадокс Рассела и Парадокс Берри · Узнать больше »
Порядковое число
Изображение порядковых чисел от 0 до \omega^\omega. Каждый оборот спирали соответствует одной степени \omega В теории множеств порядковым числом, или ординалом (ordinalis — порядковый) называется порядковый тип вполне упорядоченного множества.
Новый!!: Парадокс Рассела и Порядковое число · Узнать больше »
Перечислимое множество
Перечисли́мое мно́жество (эффекти́вно перечислимое, рекурси́вно перечислимое, полуразреши́мое множество) — множество конструктивных объектов (например, натуральных чисел), все элементы которого могут быть получены с помощью некоторого алгоритма.
Новый!!: Парадокс Рассела и Перечислимое множество · Узнать больше »
Пеано, Джузеппе
''Aritmetica generale e algebra elementare'', 1902 Джузе́ппе Пеа́но (Giuseppe Peano; 27 августа 1858 — 20 апреля 1932) — итальянский математик.
Новый!!: Парадокс Рассела и Пеано, Джузеппе · Узнать больше »
Алгоритмическая разрешимость
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
Новый!!: Парадокс Рассела и Алгоритмическая разрешимость · Узнать больше »
Антиномия
Антино́мия (ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов.
Новый!!: Парадокс Рассела и Антиномия · Узнать больше »
Аналитическая философия
Аналити́ческая филосо́фия (Analytic philosophy) — англо-американская традиция философии, получившая широкое распространение в середине XX века.
Новый!!: Парадокс Рассела и Аналитическая философия · Узнать больше »
Нельсон, Леонард
Леона́рд Не́льсон (Leonard Nelson; 11 июля 1882, Берлин — 29 октября 1927, Гёттинген) — немецкий философ и психолог, глава психологического течения в неокантианстве, последователь Якоба Фриза, основатель неофризской школы в неокантианстве.
Новый!!: Парадокс Рассела и Нельсон, Леонард · Узнать больше »
Рассел, Бертран
Бе́ртран А́ртур Уи́льям Ра́ссел, 3-й граф Рассел (Bertrand Arthur William Russell, 3rd Earl Russell; 18 мая 1872, Треллек, Уэльс — 2 февраля 1970, Уэльс) — британский,, и общественный деятель.
Новый!!: Парадокс Рассела и Рассел, Бертран · Узнать больше »
Система аксиом фон Неймана — Бернайса — Гёделя
Система аксиом фон Неймана — Бернайса — Гёделя (NBG, аксиоматика Гёделя — Бернайса) в метаматематике — одна из основных аксиоматических теорий множеств.
Новый!!: Парадокс Рассела и Система аксиом фон Неймана — Бернайса — Гёделя · Узнать больше »
Синглетон (математика)
Синглетон — множество с единственным элементом.
Новый!!: Парадокс Рассела и Синглетон (математика) · Узнать больше »
Теорема Кантора
Теорема Кантора — классическое утверждение теории множеств.
Новый!!: Парадокс Рассела и Теорема Кантора · Узнать больше »
Теорема Гёделя о неполноте
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Новый!!: Парадокс Рассела и Теорема Гёделя о неполноте · Узнать больше »
Уайтхед, Альфред Норт
Альфред Норт Уайтхед (Alfred North Whitehead;,, Кент, Великобритания —,, Массачусетс, США) — британский математик, логик, философ, который вместе с Бертраном Расселом написал фундаментальный труд «Principia Mathematica» (1910—13), составивший основу логицизма и теории типов.
Новый!!: Парадокс Рассела и Уайтхед, Альфред Норт · Узнать больше »
Фундированное множество
Фундированное множество — частично упорядоченное множество \langle M, R \rangle, у которого любое непустое подмножество S \subseteq M имеет минимальный элемент.
Новый!!: Парадокс Рассела и Фундированное множество · Узнать больше »
Фреге, Фридрих Людвиг Готлоб
Фридрих Людвиг Готлоб Фреге (Friedrich Ludwig Gottlob Frege, 8 ноября 1848, Висмар — 26 июля 1925, Бад-Клайнен) — немецкий логик, математик и философ.
Новый!!: Парадокс Рассела и Фреге, Фридрих Людвиг Готлоб · Узнать больше »
Формальный язык
Синтаксическое подразделение в рамках формальной системы. Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом.
Новый!!: Парадокс Рассела и Формальный язык · Узнать больше »
Формальная система
Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
Новый!!: Парадокс Рассела и Формальная система · Узнать больше »
Цермело, Эрнст
Эрнст Фри́дрих Фердина́нд Церме́ло (Ernst Friedrich Ferdinand Zermelo; 27 июля 1871, Берлин — 21 мая 1953, Фрайбург) — немецкий, внёсший значительный вклад в теорию множеств и создание аксиоматических оснований математики.
Новый!!: Парадокс Рассела и Цермело, Эрнст · Узнать больше »
Математический анализ
Математи́ческий ана́лиз (классический математический анализ) — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.
Новый!!: Парадокс Рассела и Математический анализ · Узнать больше »
Мартин-Лёф, Пер
Пер Мартин-Лёф (Per Martin-Löf; род. 8 мая 1942) — шведский логик, статистик и философ.
Новый!!: Парадокс Рассела и Мартин-Лёф, Пер · Узнать больше »
Мощность множества
Мо́щность мно́жества, кардина́льное число́ мно́жества (cardinalis ← cardo «главное обстоятельство; стержень; сердцевина») — характеристика множеств (в том числе бесконечных), обобщающая понятие количества (числа) элементов конечного множества.
Новый!!: Парадокс Рассела и Мощность множества · Узнать больше »
Интуиционистское исчисление высказываний
Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикой — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма.
Новый!!: Парадокс Рассела и Интуиционистское исчисление высказываний · Узнать больше »
Брауэр, Лёйтзен Эгберт Ян
Лёйтзен Э́гберт Ян Бра́уэр (Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.
Новый!!: Парадокс Рассела и Брауэр, Лёйтзен Эгберт Ян · Узнать больше »
Витгенштейн, Людвиг
Лю́двиг Йо́зеф Иога́нн Витгенште́йн (Ludwig Josef Johann Wittgenstein;, Вена —, Кембридж) — австрийский и, представитель аналитической философии, один из крупнейших философов XX века.
Новый!!: Парадокс Рассела и Витгенштейн, Людвиг · Узнать больше »
Гуссерль, Эдмунд
Эдмунд Густав Альбрехт Гу́ссерль (Edmund Gustav Albrecht Husserl; 8 апреля 1859, Просниц, Моравия (Австрия) — 27 апреля 1938, Фрайбург-в-Брайсгау) — немецкий философ, основатель феноменологии.
Новый!!: Парадокс Рассела и Гуссерль, Эдмунд · Узнать больше »
Группа (математика)
Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный.
Новый!!: Парадокс Рассела и Группа (математика) · Узнать больше »
Гильберт, Давид
Дави́д Ги́льберт (David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий -универсал, внёс значительный вклад в развитие многих областей математики.
Новый!!: Парадокс Рассела и Гильберт, Давид · Узнать больше »
Дюбуа-Реймон, Поль Давид Густав
Поль Давид Густав Дюбуа-Реймон Поль (Пауль) Давид Густав Дюбуа-Реймон (Paul David Gustave du Bois-Reymon;, —) — немецкий.
Новый!!: Парадокс Рассела и Дюбуа-Реймон, Поль Давид Густав · Узнать больше »
Логика первого порядка
Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
Новый!!: Парадокс Рассела и Логика первого порядка · Узнать больше »
Логико-философский трактат
«Ло́гико-филосо́фский тракта́т» — крупнейшая из прижизненно изданных работ австро-английского философа Людвига Витгенштейна.
Новый!!: Парадокс Рассела и Логико-философский трактат · Узнать больше »
1901 год
Без описания.
Новый!!: Парадокс Рассела и 1901 год · Узнать больше »
Перенаправления здесь:
Антиномия Рассела - Цермело, Антиномия Рассела — Цермело, Антиномия Рассела-Цермело, Антиномия Цермело - Рассела, Антиномия Цермело — Рассела, Антиномия Цермело-Рассела, Расселовское множество, Парадокс Рассела - Цермело, Парадокс Рассела — Цермело, Парадокс Рассела-Цермело, Парадокс Цермело - Рассела, Парадокс Цермело — Рассела, Парадокс Цермело-Рассела, Парадокс брадобрея, Парадокс парикмахера, Деревенский парикмахер (парадокс).
