Більш швидкий доступ, ніж браузер!
46 відносини: Principia Mathematica, Кардинальне число, Квантор, Клас (теорія множин), Контейнер (програмування), Проблема зупинки та її алгоритмічна нерозв'язність, Парадокс Ґреллінґа — Нельсона, Парадокс Каррі, Парадокс Кантора, Парадокс брехуна, Парадокс Буралі-Форті, Парадокс Беррі, Потужність множини, Порядкове число, Аксіома схеми виділення, Альфред Норт Вайтхед, Наївна теорія множин, Ріхард Курант, Теорія множин Цермело, Теорема Кантора, Теореми Геделя про неповноту, Універсальна множина, Фундована множина, Функція (математика), Формальна система, Формальна мова, Математичний аналіз, Мартін Гарднер, Булеан, Бієкція, Бертран Расселл, Віллард Ван Орман Квайн, Група (математика), Готлоб Фреге, Георг Кантор, Дійсне число, Давид Гільберт, Джузеппе Пеано, Інтуїціоністська логіка, Інтуїціонізм, Ернст Цермело, Едмунд Гуссерль, Лямбда-числення, Логіка першого порядку, Лейтзен Егберт Ян Брауер, Леонард Нельсон.
Principia Mathematica
Титульна сторінка першого видання ''Principia Mathematica'' Principia Mathematica («Математичні принципи» або «Математичні основи») — тритомна праця з основ математики, написана Бертраном Расселом та Альфредом Нортом Вайтхедом й опублікована у 1910–1913 роках.
Новинка!!: Парадокс Расселла і Principia Mathematica · Побачити більше »
Кардинальне число
Кардинальним числом (кардиналом) в теорії множин називається об'єкт, який характеризує потужність множини.
Новинка!!: Парадокс Расселла і Кардинальне число · Побачити більше »
Квантор
Ква́нтор — логічний оператор, що перетворює всякий предикат на предикат меншої місності, зв'язуючи деякі змінні початкового предиката.
Новинка!!: Парадокс Расселла і Квантор · Побачити більше »
Клас (теорія множин)
Клас — термін, що вживається в математиці в основному як синонім терміна «множина» для позначення довільних сукупностей об'єктів, що володіють певною властивістю або ознакою (наприклад, в алгебрі — класи еквівалентності).
Новинка!!: Парадокс Расселла і Клас (теорія множин) · Побачити більше »
Контейнер (програмування)
Контейнер у комп'ютерній науці — клас, структура даних, або абстрактний тип даних, який дозволяє створювати колекції інших об'єктів.
Новинка!!: Парадокс Расселла і Контейнер (програмування) · Побачити більше »
Проблема зупинки та її алгоритмічна нерозв'язність
Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.
Новинка!!: Парадокс Расселла і Проблема зупинки та її алгоритмічна нерозв'язність · Побачити більше »
Парадокс Ґреллінґа — Нельсона
Парадокс Ґреллінга — Нельсона сформульовано в 1908 році Куртом Ґреллінґом та Леонардом Нельсоном, часом його авторство помилково приписують німецькому філософу та математику Герману Вайлю, та використовують термін «парадокс Вайля».
Новинка!!: Парадокс Расселла і Парадокс Ґреллінґа — Нельсона · Побачити більше »
Парадокс Каррі
Парадокс Каррі — парадоксальний висновок з висловлювання «Якщо це твердження вірне, то русалки існують».
Новинка!!: Парадокс Расселла і Парадокс Каррі · Побачити більше »
Парадокс Кантора
Парадокс Кантора — парадокс, сформульований Георгом Кантором, який демонструє, що припущення про існування множини всіх множин, веде до протиріч.
Новинка!!: Парадокс Расселла і Парадокс Кантора · Побачити більше »
Парадокс брехуна
Парадо́кс брехуна́ — відомий логічний парадокс, який полягє у неможливості визначення правдивості чи хибності твердження у межах мови, якою це твердження викладено.
Новинка!!: Парадокс Расселла і Парадокс брехуна · Побачити більше »
Парадокс Буралі-Форті
В теорії множин парадокс Буралі-Форті демонструє, що припущення про існування множини всіх порядкових чисел веде до суперечностей і, отже, суперечливою є теорія, в якій побудова такої множини можлива.
Новинка!!: Парадокс Расселла і Парадокс Буралі-Форті · Побачити більше »
Парадокс Беррі
Парадокс Беррі — парадокс самореференції, що міститься у фразі «найменше натуральне число, означення якого неможливо вкласти в задане число слів» («the smallest possible integer not definable by a given number of words»).
Новинка!!: Парадокс Расселла і Парадокс Беррі · Побачити більше »
Потужність множини
Потужність множини, або кардинальне число множини, — характеристика множин (у тому числі нескінченних), що узагальнює поняття кількості (числа) елементів скінченної множини.
Новинка!!: Парадокс Расселла і Потужність множини · Побачити більше »
Порядкове число
Представлення порядкових чисел до ωω. Кожен оберт спіралі представляє степінь ω Порядкове число (трансфінітне число, ординал) — в теорії множин, узагальнення натурального числа відмінне від цілих чисел та кардинальних чисел.
Новинка!!: Парадокс Расселла і Порядкове число · Побачити більше »
Аксіома схеми виділення
У теорії множин та області логіки, математики та інформатики, які її використовують, аксіома схеми виділення, аксіома схеми поділу, аксіома схеми підмножин або аксіома схеми обмеженого розуміння, являють собою схему з аксіоми Цермело-Френкеля.
Новинка!!: Парадокс Расселла і Аксіома схеми виділення · Побачити більше »
Альфред Норт Вайтхед
Альфред Норт Вайтгед (Alfred North Whitehead; 15 лютого 1861, Рамсгіт, Кент, Велика Британія — 30 грудня 1947, Кембридж, Массачусетс, США) — британський математик, логік, філософ та педагог, разом з Бертраном Расселом написав фундаментальну працю «Principia Mathematica» (1910 — 1913), яка стала базовою для розвитку таких напрямків філософії, як логіцізм та теорія типів.
Новинка!!: Парадокс Расселла і Альфред Норт Вайтхед · Побачити більше »
Наївна теорія множин
Наївна теорія множин — одна з декількох теорій множин, в якій описуються фундаментальні складові математики.
Новинка!!: Парадокс Расселла і Наївна теорія множин · Побачити більше »
Ріхард Курант
Ріхард Ку́рант (Richard Courant; 8 січня 1888, Люблінець, Німецька імперія, нині Польща — 27 січня 1972, Нью-Йорк, США) — німецький та американський математик, педагог і науковий організатор.
Новинка!!: Парадокс Расселла і Ріхард Курант · Побачити більше »
Теорія множин Цермело
Теорія множин Цермело - теорія множин, що включає в себе 7 аксіом опублікована німецьким математиком Ернстом Цермело у 1908 році.
Новинка!!: Парадокс Расселла і Теорія множин Цермело · Побачити більше »
Теорема Кантора
Теорема Кантора — твердження у теорії множин, що потужність довільної множини є меншою, ніж потужність її булеану (множини всіх її підмножин).
Новинка!!: Парадокс Расселла і Теорема Кантора · Побачити більше »
Теореми Геделя про неповноту
Теорема Геделя про неповноту і друга теорема Геделя (Gödel's incompleteness theorems) — дві теореми математичної логіки про принципові обмеження формальної арифметики і, як наслідок, будь-якої формальної системи, в якій можливо визначити основні арифметичні поняття: натуральні числа, 0, 1, додавання та множення.
Новинка!!: Парадокс Расселла і Теореми Геделя про неповноту · Побачити більше »
Універсальна множина
Універсальна множина (універсум) — в теорії множин така множина U, для якої перетин цієї множини з будь-якою множиною X збігається з цією множиною X. Універсальна множина єдина.
Новинка!!: Парадокс Расселла і Універсальна множина · Побачити більше »
Фундована множина
Фундована множина (фундований порядок) — частково впорядкована множина, в якій для кожної непорожньої підмножини існує мінімальний елемент.
Новинка!!: Парадокс Расселла і Фундована множина · Побачити більше »
Функція (математика)
Функція f відображає область визначення X в цільову множину Y; менший овал всередині Y — це область значень функції f Фу́нкція (відображення, трансформація, оператор) в математиці — це правило, яке кожному елементу з першої множини (області визначення) ставить у відповідність один і тільки один елемент з другої множини.
Новинка!!: Парадокс Расселла і Функція (математика) · Побачити більше »
Формальна система
Форма́льна систе́ма (форма́льна тео́рія, аксіомати́чна тео́рія, formal system) — результат строгої формалізації теорії, яка передбачає повну абстракцію від сенсу слів використовуваної мови, причому всі умови, що регулюють вживання цих слів в теорії, явно висловлені за допомогою аксіом і правил, що дозволяють вивести одну фразу з інших.
Новинка!!: Парадокс Расселла і Формальна система · Побачити більше »
Формальна мова
Синтаксичне підрозділ в рамках формальної системи. Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика).
Новинка!!: Парадокс Расселла і Формальна мова · Побачити більше »
Математичний аналіз
Математи́чний ана́ліз — фундаментальний розділ математики, що веде свій відлік від XVII століття, коли було строго сформульовано теорію нескінченно малих.
Новинка!!: Парадокс Расселла і Математичний аналіз · Побачити більше »
Мартін Гарднер
Мартін Ґарднер (Martin Gardner; 21 жовтня 1914, Талса, Оклахома, США — 22 травня 2010, Норман, Оклахома, США) — американський математик, письменник, популяризатор науки.
Новинка!!: Парадокс Расселла і Мартін Гарднер · Побачити більше »
Булеан
Елементи булеану множини x,y,z, які зображені у порядку включення елементів Булеан (power set, potenzmenge) — в теорії множин, це множина всіх підмножин даної множини A, позначається \mathcal(A) або 2^A (так як воно відповідає множині відображень з A в 2.
Новинка!!: Парадокс Расселла і Булеан · Побачити більше »
Бієкція
Бієкція (бієктивна функція, бієктивне відображення, взаємно однозначна відповідність) — в математиці відображення, яке є одночасно сюр'єктивним та ін'єктивним.
Новинка!!: Парадокс Расселла і Бієкція · Побачити більше »
Бертран Расселл
Бертра́н А́ртур Ві́льям Расселл (Bertrand Arthur William Russell; 18 травня 1872, Треллек, Уельс — 2 лютого 1970, Пенриндайдрайт, Уельс) — британський філософ, логік, математик, громадський діяч.
Новинка!!: Парадокс Расселла і Бертран Расселл · Побачити більше »
Віллард Ван Орман Квайн
Віллард Ван Орман Квайн (Willard Van Orman Quine, 25 червня 1908 — 25 грудня 2000) — американський філософ та логік, представник аналітичної філософії.
Новинка!!: Парадокс Расселла і Віллард Ван Орман Квайн · Побачити більше »
Група (математика)
Гру́па — одне з найважливіших понять сучасної алгебри, яке має численні застосування у багатьох суміжних дисциплінах.
Новинка!!: Парадокс Расселла і Група (математика) · Побачити більше »
Готлоб Фреге
Фрі́дріх Лю́двіг Го́тлоб Фре́ге (Friedrich Ludwig Gottlob Frege; *8 листопада 1848, Вісмар — †26 липня 1925, Бад-Кляйнен) — німецький логік, математик та філософ.
Новинка!!: Парадокс Расселла і Готлоб Фреге · Побачити більше »
Георг Кантор
Кантор Георг Ге́орг Фердина́нд Лю́двіг Філіпп Ка́нтор (Georg Cantor)) (*3 березня 1845, Санкт-Петербург — †6 січня 1918, Галле (Заале)) — німецький математик.
Новинка!!: Парадокс Расселла і Георг Кантор · Побачити більше »
Дійсне число
Числова пряма Дійсні числа — елементи числової системи, яка містить у собі раціональні числа і, в свою чергу, є підмножиною комплексних чисел.
Новинка!!: Парадокс Расселла і Дійсне число · Побачити більше »
Давид Гільберт
Давид Гільберт (David Hilbert; 23 січня 1862, Велау тепер смт Знаменськ Гвардєйського района Калінінградської області — 14 лютого 1943) — німецький математик.
Новинка!!: Парадокс Расселла і Давид Гільберт · Побачити більше »
Джузеппе Пеано
Джузеппе Пеано (27 серпня 1858, Спінетта — 20 квітня 1932, Турин) — італійський математик і логік, член Туринської академії наук.
Новинка!!: Парадокс Расселла і Джузеппе Пеано · Побачити більше »
Інтуїціоністська логіка
Інтуїтивна логіка (інколи конструктивна логіка) — система символічної логіки, яка відрізняється від класичної логіки, замінюючи традиційне поняття істини поняттям конструктивно доказової істини.
Новинка!!: Парадокс Расселла і Інтуїціоністська логіка · Побачити більше »
Інтуїціонізм
Інтуїціонізм — сукупність філософських та математичних поглядів, що розглядають математичні судження з позицій інтуїтивної переконливості.
Новинка!!: Парадокс Расселла і Інтуїціонізм · Побачити більше »
Ернст Цермело
Ернст Цермело (Ernst Zermelo; 27 липня 1871, Берлін — 21 травня 1953, Фрайбург) — німецький математик, який зробив великий внесок в теорію множин і створення аксіоматичних основ математики.
Новинка!!: Парадокс Расселла і Ернст Цермело · Побачити більше »
Едмунд Гуссерль
Е́дмунд Ґуста́в Альбре́хт Гу́ссерль (Edmund Gustav Albrecht Husserl; *8 квітня 1859, Простєйов, Моравія — †26 квітня 1938, Фрайбург) — німецький філософ, відомий як батько феноменології.
Новинка!!: Парадокс Расселла і Едмунд Гуссерль · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Парадокс Расселла і Лямбда-числення · Побачити більше »
Логіка першого порядку
Логіка першого порядку (числення предикатів) — це формальна система в математичній логіці, в якій допускаються висловлення відносно змінних, фіксованих функцій, і предикатів.
Новинка!!: Парадокс Расселла і Логіка першого порядку · Побачити більше »
Лейтзен Егберт Ян Брауер
Лейтзен Егберт Ян Брауер (Luitzen Egbertus Jan Brouwer; 27 лютого 1881 — 2 грудня 1966) — голландський філософ та математик, випускник університету Амстердама, який працював у таких галузях математики, як топологія, теорія множин, математична логіка, теорія міри та комплексний аналіз.
Новинка!!: Парадокс Расселла і Лейтзен Егберт Ян Брауер · Побачити більше »
Леонард Нельсон
Леона́рд Не́льсон (Leonard Nelson; 11 липня 1882, Берлін — 29 жовтня 1927, Геттінген) — німецький філософ і психолог, глава психологічної течії в неокантіанстві, послідовник, засновник неофризької школи в неокантіанстві, співзасновник.
Новинка!!: Парадокс Расселла і Леонард Нельсон · Побачити більше »
Перенаправлення тут:
Парадокс Рассела, Парадокс Цирульника.
