Більш швидкий доступ, ніж браузер!
28 відносини: XX століття, Класична логіка, Колмогоров Андрій Миколайович, Послідовність, Аренд Гейтінг, Абстракція потенційної здійсненності, Альфред Тарський, Алгоритм, Антиномія, Натуральні числа, Нескінченність, Нескінченна множина, Стівен Коул Кліні, Скінченна множина, Теорія множин, Формалізм, Марков Андрій Андрійович, Закон виключеного третього, Вид, Давид Гільберт, Доведення, Ієрархія, Інтуїціоністська логіка, Інформація, Ефективність, Екстраполяція, Лейтзен Егберт Ян Брауер, 1970-ті.
XX століття
XX століття — століття, яке розпочалося 1 січня 1901 року і закінчилося 31 грудня 2000 року; двадцяте століття нашої ери і десяте століття II тисячоліття.
Новинка!!: Інтуїціонізм і XX століття · Побачити більше »
Класична логіка
Класична логіка — термін математичної логіки по відношенню до тієї чи іншої логічної системи, для вказівки того, що для цієї логіки справедливі всі закони (класичного) обчислення висловлювань, в тому числі закон виключеного третього.
Новинка!!: Інтуїціонізм і Класична логіка · Побачити більше »
Колмогоров Андрій Миколайович
Колмого́ров Андрі́й Микола́йович (*, Тамбов — † 20 жовтня 1987, Москва) — російський радянський математик.
Новинка!!: Інтуїціонізм і Колмогоров Андрій Миколайович · Побачити більше »
Послідовність
Послідо́вність — функція визначена на множині натуральних чисел яка набуває значення на об'єктах довільної природи.
Новинка!!: Інтуїціонізм і Послідовність · Побачити більше »
Аренд Гейтінг
Аренд Гейтінг (Голландський:; 9 травня 1898 — † 9 липня 1980) — голландський математик та логік.
Новинка!!: Інтуїціонізм і Аренд Гейтінг · Побачити більше »
Абстракція потенційної здійсненності
Абстра́кція потенці́йної здійсне́нності — одна з абстракцій математики і логіки, що полягає у відверненні від реальних меж конструктивних можливостей, обумовлених обмеженістю нашого життя в просторі, в часі і в матеріалах.
Новинка!!: Інтуїціонізм і Абстракція потенційної здійсненності · Побачити більше »
Альфред Тарський
Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності.
Новинка!!: Інтуїціонізм і Альфред Тарський · Побачити більше »
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Новинка!!: Інтуїціонізм і Алгоритм · Побачити більше »
Антиномія
Антино́мія (αντινομια проти закону/правила) — термін логіки та епістемології, що означає парадокс або нерозв'язну суперечність.
Новинка!!: Інтуїціонізм і Антиномія · Побачити більше »
Натуральні числа
Натуральні числа можуть використовуватись для лічби (одне яблуко, два яблука, три яблука, …). Натура́льні чи́сла — числа, що виникають природним чином при лічбі.
Новинка!!: Інтуїціонізм і Натуральні числа · Побачити більше »
Нескінченність
Символ нескінченності ∞ в різних шрифтах. Нескінче́нність (символ) — категорія людського мислення, яка використовується для характеристики безмежних, невичерпних предметів і явищ, для яких є неможливим вказання границь або кількісної міри.
Новинка!!: Інтуїціонізм і Нескінченність · Побачити більше »
Нескінченна множина
Нескінченна множина — множина, що не є скінченною.
Новинка!!: Інтуїціонізм і Нескінченна множина · Побачити більше »
Стівен Коул Кліні
Стівен Коул Кліні (Stephen Cole Kleene) (5 січня 1909 — 25 січня 1994) — американський логік і математик, праці якого заклали основи теоретичної інформатики.
Новинка!!: Інтуїціонізм і Стівен Коул Кліні · Побачити більше »
Скінченна множина
Скінченна множина — це множина, кількість елементів якої є скінченна, тобто існує натуральне число k, що є числом елементів цієї множини.
Новинка!!: Інтуїціонізм і Скінченна множина · Побачити більше »
Теорія множин
перетин двох множин Тео́рія множи́н — розділ математики, в якому вивчаються загальні властивості множин (переважно нескінченних).
Новинка!!: Інтуїціонізм і Теорія множин · Побачити більше »
Формалізм
* Формалізм (етика).
Новинка!!: Інтуїціонізм і Формалізм · Побачити більше »
Марков Андрій Андрійович
Андрі́й Андрі́йович Ма́рков (*14 червня 1856, Рязань — †20 липня 1922, Петроград) — російський математик, представник петербурзької математичної школи.
Новинка!!: Інтуїціонізм і Марков Андрій Андрійович · Побачити більше »
Закон виключеного третього
Закон виключеного третього (поширена лат. назва tertium non datur — «третього не дано») — закон класичної логіки, який полягає в тому, що з двох висловлювань — «А» чи «не А» — одне обов'язково є істинним, тобто два судження, одне з яких є запереченням іншого, не можуть бути одночасно хибними.
Новинка!!: Інтуїціонізм і Закон виключеного третього · Побачити більше »
Вид
Співвідношення основних таксономічних рангів Вид (species) — одна з головних одиниць біологічної класифікації, таксономічна категорія.
Новинка!!: Інтуїціонізм і Вид · Побачити більше »
Давид Гільберт
Давид Гільберт (David Hilbert; 23 січня 1862, Велау тепер смт Знаменськ Гвардєйського района Калінінградської області — 14 лютого 1943) — німецький математик.
Новинка!!: Інтуїціонізм і Давид Гільберт · Побачити більше »
Доведення
Доведення у математиці — процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження.
Новинка!!: Інтуїціонізм і Доведення · Побачити більше »
Ієрархія
Ієра́рхія (грец. ίεράρχίά, від ίερσς — священний, та άρχή — влада) — поділ на вищі й нижчі посади, чини; суворий порядок підлеглості нижчих щодо посади або чину осіб вищим.
Новинка!!: Інтуїціонізм і Ієрархія · Побачити більше »
Інтуїціоністська логіка
Інтуїтивна логіка (інколи конструктивна логіка) — система символічної логіки, яка відрізняється від класичної логіки, замінюючи традиційне поняття істини поняттям конструктивно доказової істини.
Новинка!!: Інтуїціонізм і Інтуїціоністська логіка · Побачити більше »
Інформація
Інформа́ція — абстрактне поняття, що має різні значення залежно від контексту.
Новинка!!: Інтуїціонізм і Інформація · Побачити більше »
Ефективність
Ефективність (англ. efficiency; performance; нім. Effektivität f, Wirkunsgrad m, Wirksamkeit f) - 1) відношення корисного ефекту (результату) до витрат на його одержання;.
Новинка!!: Інтуїціонізм і Ефективність · Побачити більше »
Екстраполяція
Екстраполяція – наближення (приближення), знаходження за рядом даних значень функції інших її значень, що містяться поза цим рядом.
Новинка!!: Інтуїціонізм і Екстраполяція · Побачити більше »
Лейтзен Егберт Ян Брауер
Лейтзен Егберт Ян Брауер (Luitzen Egbertus Jan Brouwer; 27 лютого 1881 — 2 грудня 1966) — голландський філософ та математик, випускник університету Амстердама, який працював у таких галузях математики, як топологія, теорія множин, математична логіка, теорія міри та комплексний аналіз.
Новинка!!: Інтуїціонізм і Лейтзен Егберт Ян Брауер · Побачити більше »
1970-ті
Без опису.
Новинка!!: Інтуїціонізм і 1970-ті · Побачити більше »
