Темы

Математическая логика

Mathematical Logic · 100 статей

  1. Чарльз Сандерс Пирс: Американский философ и основоположник прагматизма

    Чарльз Сандерс Пирс: американский философ, основатель прагматизма. Логика, математика, философия, история науки. Биография и вклад мыслителя.

    #1341 · 32 мин чтения

  2. Георг Генрик фон Врайт: Жизнь и философское наследие

    Георг Хенрик фон Врайт (1916-2003) – финский философ, писавший на разных языках. Исследования охватывают широкий спектр философских тем.

    #2904 · 1 мин чтения

  3. Логическое доказательство существования Бога: аргумент Гёделя

    Доказательство существования Бога: онтологический аргумент Гёделя и Ансельма Кентерберийского. Логическая формулировка, основанная на понятии высшего существа.

    #2944 · 5 мин чтения

  4. Джузеппе Пеано: математик и лингвист-новатор

    Джузеппе Пеано: итальянский математик, основатель математической логики и теории множеств. Аксіоми Пеано – основа современной математики.

    #3118 · 6 мин чтения

  5. Математическая логика: история и современное состояние

    Математическая логика: изучение формальной логики в математике. Теория моделей, доказательств, множеств и рекурсий. Основы математики и рассуждений.

    #4745 · 27 мин чтения

  6. Математические начала и основы логики: "Principia Mathematica" Уайтхеда и Рассела

    «Principia Mathematica» Уайтхеда и Рассела: основы математики, логика, теория типов и решение парадоксов начала XX века. Ключевая работа по математической логике.

    #5775 · 5 мин чтения

  7. Логико-философский трактат: Исследование языка и реальности

    Трактат Логико-философский Витгенштейна: анализ языка и реальности, границы науки. Философская работа 1921 года, оказавшая влияние на логику и философию.

    #7237 · 10 мин чтения

  8. Уиллард Ван Орман Куайн: Жизнь и философские идеи

    Уиллард Ван Орман Куайн (1908-2000) – американский философ и логик. Развил систему "Новые основы", аргумент Куайна-Путнама, считал философию частью науки.

    #8079 · 4 мин чтения

  9. Имре Лакатос: философ математики и науки

    Имре Лакатос: биография венгерского философа математики и науки, автора методологии исследовательских программ и концепции фальсифицируемости математики.

    #9032 · 16 мин чтения

  10. Хaskell Brooks Curry: Жизнь и вклад в математическую логику

    Хaskell Curry: биография, вклад в математическую логику (комбинаторная логика, парадокс Карри, соответствие Карри-Ховарда) и языки программирования Haskell, Brook, Curry.

    #9930 · 4 мин чтения

  11. Абрахам Робинсон: Жизнь и вклад в математику

    Авраам Робинсон: биография и вклад в математику. Разработчик нестандартного анализа, вернувший бесконечно малые величины. Эмигрант из Германии.

    #10834 · 2 мин чтения

  12. Герхард Гентцен: Жизнь и трагическая судьба математика

    Герхард Гентцен: немецкий математик и логик, вклад в основания математики, теория доказательств, естественный вывод. Умер в чешском лагере в 1945.

    #10835 · 2 мин чтения

  13. Соль Крипке: Жизнь и философское наследие

    Соль Крипке: биография, вклад в логику и философию. Аналитический философ, логик, профессор Принстона и CUNY. Ключевые идеи и работы.

    #11277 · 13 мин чтения

  14. Фридрих Людвиг Готлоб Фреге: Жизнь и творчество

    Готлоб Фреге: биография, работы и вклад в логику, математику и философию. Begriffsschrift, основания арифметики, геометрические представления.

    #11374 · 11 мин чтения

  15. Алонзо Чёрч: Жизнь и вклад в математику и информатику

    Алонзо Чёрч: биография, вклад в математическую логику и информатику. Лямбда-исчисление, тезис Чёрча-Тьюринга, Entscheidungsproblem. Основоположник computer science.

    #11657 · 3 мин чтения

  16. Рэймонд Смаллиан: Математик, логик и многогранная личность.

    Рэймонд Смаллиан: американский математик, логик, фокусник и философ. Биография, образование (Университет Чикаго, Принстон) и вклад в логику.

    #13228 · 4 мин чтения

  17. Альфред Тарский: Жизнь и вклад в логику и математику

    Альфред Тарский: биография, вклад в логику и математику. Теория моделей, метаматематика, алгебраическая логика. Польский и американский ученый XX века.

    #14029 · 10 мин чтения

  18. История логики: от древности до современности.

    История логики: развитие науки о правильных умозаключениях с древности до Средневековья. Аристотель, схоластика, логика Ибн Сины и Оккама.

    #14033 · 30 мин чтения

  19. Вильгельм Аккерман: Жизнь и вклад в математическую логику.

    Вильгельм Аккерманн: немецкий математик и логик, известный функцией Аккерманна и вкладом в теорию вычислений. Доказательство непротиворечивости арифметики.

    #14712 · 1 мин чтения

  20. Жак Эрбран: Жизнь и трагическая судьба математика

    Жак Эрбран (1908-1931) – французский математик, внесший вклад в математическую логику и теорию полей классов. Автор рекурсивных функций и теоремы Эрбрана.

    #49708 · 2 мин чтения

  21. Дэна Скотт: Жизнь и научная деятельность

    Дэна Скотт – американский логик, лауреат премии Тьюринга (1976). Работы в теории автоматов, семантике языков программирования, логике и топологии.

    #50138 · 3 мин чтения

  22. Основания математики: Исследование базовых концепций и труд Гильберта и Бернайса.

    Основы математики: философский и логический анализ базовых понятий (множества, функции, числа). Исследование работ Гильберта и Бернайса.

    #51770 · 23 мин чтения

  23. Лютцен Эгбертус Ян Броуэр: Математик и философ-интуиционист

    Бертус Брувер: голландский математик, основатель современной топологии. Теорема о неподвижной точке, интуиционизм и спор с Гильбертом.

    #52550 · 3 мин чтения

  24. Метаматематика: Исследование основ математики

    Метаматематика: изучение математики методами самой математики. Основы, метатеории, логика и работа Гильберта. Строгий анализ математических систем.

    #55081 · 6 мин чтения

  25. Венский кружок: логический эмпиризм и философия науки

    Венский кружок (1924-1936) – влиятельная группа философов и ученых, основателей логического эмпиризма. Влияние на философию науки и аналитическую философию.

    #62866 · 16 мин чтения

  26. Макс Блэк: Жизнь и философские взгляды

    Макс Блэк (1909-1988) – британско-американский философ, вклад в аналитическую философию, философию языка, математики и искусства. Переводчик Фреге.

    #75167 · 2 мин чтения

  27. Криспин Райт: Биография и философские взгляды

    Философ Габриэль Райт: биография, образование в Кембридже и Оксфорде, профессорская деятельность в Сент-Эндрюсе и Нью-Йоркском университете (NYU).

    #75169 · 3 мин чтения

  28. Джон Рэндольф Лукас: Жизнь и философское наследие

    Джон Рэндольф Лукас (1929-2020) – британский философ, математик и логик. Образование в Оксфорде и Принстоне. Биография и научные интересы.

    #76632 · 1 мин чтения

  29. Леонард Нельсон: философ, математик и социалист

    Леонард Нельсон (1882-1927) – немецкий философ, математик, социалист. Развил парадокс Греллинга-Нельсона, неокантианство и основал организацию ISK.

    #81640 · 5 мин чтения

  30. Джордж Булос: Жизнь и вклад в математическую логику

    Джордж Булос: американский философ и математический логик, профессор MIT. Исследовал теоремы Гёделя о неполноте и внес вклад в математическую логику.

    #82040 · 10 мин чтения

  31. Логицизм в философии математики: история и развитие

    Логицизм в философии математики: программа сведения математики к логике. Фреге, Рассел, Уайтхед, Дедекинд и Пеано – ключевые фигуры и их вклад в развитие теории.

    #83700 · 18 мин чтения

  32. Соломон Феферман: Жизнь и вклад в логику и математику

    Соломон Феферман (1928-2016) – американский философ и математик, специалист по математической логике, теории вычислимости и истории логики. Предикативизм.

    #84525 · 3 мин чтения

  33. Леон Альберт Хенкин: Жизнь и вклад в логику и математику

    Леон Хенкин: биография и вклад американского логика в теорию типов и математическую логику. Доказательства полноты формальных систем, учение в Беркли.

    #84666 · 19 мин чтения

  34. Элизабет Пост: Жизнь и вклад в математическую логику.

    Эмиль Пост: биография математика и логика (1897-1954). Трагический случай, повлиявший на выбор профессии, и вклад в математику. NYC College.

    #85632 · 3 мин чтения

  35. Рут Баркан Маркус: Пионер квантованной модальной логики и философии языка

    Рут Баркан Маркус: биография, вклад в логику и философию. Разработала формальные системы модальной логики с кванторами и формулу Баркан.

    #86689 · 5 мин чтения

  36. Эдвард Нельсон: Жизнь и вклад американского математика

    Эдвард Нельсон (1932-2014) – амер. математик, профессор Принстона. Работы по мат. физике, логике, внутр. теории множеств и ультрафинитизму.

    #89645 · 3 мин чтения

  37. Дэвид Келлогг Льюис: Жизнь и философские идеи

    Дэвид Льюис (1941-2001) – видный американский философ, внесший вклад в философию сознания, логику, науку и др. Ключевые идеи и биография.

    #90645 · 11 мин чтения

  38. Станислав Лесневский: Жизнь и вклад в логику и математику

    Станислав Лесневский (1886-1939) – польский математик, философ и логик, представитель Львовско-Варшавской школы логики. Биография и вклад в науку.

    #95785 · 2 мин чтения

  39. Ричард Силван: Философ, логик и этик-эколог.

    Философ из Новой Зеландии, Рутли, внес вклад в неклассическую логику и семантику. Его работы повлияли на Грэма Приста и развитие диалетеизма.

    #97724 · 2 мин чтения

  40. Плюральная квантификация в математике и логике

    Плюральная квантификация в математике и логике: теория множественных значений переменных. Расширяет логику первого порядка, избегая аксиом теории множеств.

    #99655 · 1 мин чтения

  41. Ричард Монтегю: Математик, философ и трагическая смерть.

    Ричард Монтегю: биография, вклад в математическую логику и философию языка. Разработчик Монтегью-грамматики и ZFC. Трагическая смерть в 40 лет.

    #123573 · 2 мин чтения

  42. Логический атомизм Бертрана Рассела

    Логический атомизм: философское течение начала XX века, основанное Б. Расселом. Мир состоит из неделимых логических фактов. Влияние на Венский кружок.

    #125548 · 11 мин чтения

  43. Моисей Шейнфинкель: Жизнь и вклад в логику и математику

    Моисей Шейнфинкель: биография, вклад в логику и математику. Изобретатель комбинаторной логики, родился в Екатеринославе (Днепр, Украина).

    #143440 · 2 мин чтения

  44. Калькулюс рациоцинатор Лейбница: логика или машина?

    Калькулюс рациоцинатор Лейбница: теоретическая основа логических вычислений и универсального языка. Предтеча математической логики и компьютерных программ.

    #154210 · 2 мин чтения

  45. Доказательства и опровержения: Логика математического открытия

    «Доказательства и опровержения» И. Лакатоса (1976) – о логике математических открытий, развитии определений и критике формализма. Сократические диалоги о полиэдрах.

    #154966 · 2 мин чтения

  46. Кристоф фон Зигварт: Жизнь и логические труды

    Кристоф Зигварт (1830-1904) – немецкий философ и логик, профессор Тюбингенского университета. Автор фундаментального труда "Логика", внесшего вклад в логическую теорию.

    #155412 · 2 мин чтения

  47. Begriffsschrift: Основы логики Готлоба Фреге

    Begriffsschrift Фреге (1879): революционная работа по логике, заложившая основы аналитической философии. Формальная система для чистого мышления.

    #157303 · 2 мин чтения

  48. Казимеж Айдукевич: Польский философ и логик

    Казимеж Айдукевич: польский философ и логик, основатель категориальной грамматики. Исследования в логике, семантике и философии науки. Львовско-Варшавская школа.

    #157347 · 1 мин чтения

  49. Кеннет Барвайз: Математик, философ и логик

    Кеннет Барвайз: биография, вклад в математическую логику и философию языка. Исследования в области логики, лингвистики и CSLI.

    #158938 · 2 мин чтения

  50. Леон Хвистек: Философ, математик и теоретик искусства.

    Леон Хвистек: польский философ, математик, теоретик искусства. Основатель Польского математического общества, профессор логики. Книга "Пределы науки".

    #172771 · 2 мин чтения

  51. Хао Ван: Жизнь и вклад в логику и математику

    Хао Ван: биография и вклад китайско-американского логика, философа и математика. Ученик Курта Гёделя, образование в Китае и Гарварде.

    #175839 · 3 мин чтения

  52. Луи Кутура: Логик, математик и философ-лейбницианец

    Луи Кутура: французский логик, математик, философ и лингвист. Пионер эсперанто и создатель языка Идо, сторонник трансфинитных чисел.

    #179432 · 3 мин чтения

  53. Аренд Хейтинг: Математик и логик-интуиционист

    Аренд Хейтинг (1898-1980) – нидерландский математик и логик, ученик Брауэра. Разработал формальную интуиционистскую логику, внес вклад в математическую логику.

    #190634 · 2 мин чтения

  54. Пред-интуиционизм в математике: взгляды Пуанкаре, Бореля и Лебега.

    Преинтуиционизм в математике: философия Пуанкаре, Бореля и Лебега. Альтернатива формализму, акцент на интуитивном понимании чисел и непротиворечивости.

    #192452 · 2 мин чтения

  55. Нюэль Динсмор Белнап: Жизнь и вклад в логику и философию.

    Нюэл Белнэп: американский философ и логик, вклад в темпоральную логику и структурную теорию доказательств. Преподавал в Питтсбургском университете.

    #198919 · 2 мин чтения

  56. Карл Гемпель: Жизнь и философский путь

    Карл Хемпель (1905-1997) – немецкий философ и писатель, изучал логику, математику и физику. Вклад в логический анализ вероятности и научную философию.

    #211549 · 3 мин чтения

  57. Львовско-Варшавская школа: философия, логика и психология

    Львовско-Варшавская школа: философское направление, логика, психология. Основана Казимежем Твардовским (1895). Вклад Лукасевича, Тарского и др. в философию языка.

    #216139 · 2 мин чтения

  58. Пол Джозеф Бенацераф: Философ, логик и проблема идентификации чисел.

    Пол Джозеф Бенацераф (1931) – американский философ, родился в Париже. Биография, образование (Принстон), семья и переезд в США. Философия.

    #216679 · 3 мин чтения

  59. Дэвид Каплан: Философ языка и логики

    Дэвид Каплан – видный американский философ, специалист по логике, языку и Фреге. Исследования: интенсиональный контекст, референция, пропозиции.

    #221510 · 7 мин чтения

  60. Йохан ван Бентем: Жизнь и научная деятельность

    Йохан ван Бентем – нидерландский профессор логики и философии. Лауреат премии Спинозы, эксперт в области логики, языка и вычислений.

    #223246 · 1 мин чтения

  61. Хартри Филд: Американский философ и его вклад в науку и математику

    Хартри Филд: биография и вклад американского философа в науку, математику, эпистемологию и философию сознания. NYU, образование, ключевые идеи.

    #226630 · 1 мин чтения

  62. Курт Греллинг: Жизнь и работы немецкого логика и философа

    Курт Греллинг (1886-1942) – немецкий логик и философ, член Берлинского кружка. Известен работами по парадоксам, включая парадокс Греллинга-Нельсона.

    #229203 · 3 мин чтения

  63. Карло Хинтикка: философ и логик

    Каарло Хинтикка (1929-2015) – финский философ и логик, основатель формальной эпистемической логики и игровой семантики. Докторская диссертация, ученик Г.Х. фон Врихта.

    #244260 · 3 мин чтения

  64. Фридрих Вайсман: Жизнь и вклад в логический позитивизм

    Фридрих Вайсманн: австрийский математик, физик и философ, член Венского кружка и теоретик логического позитивизма. Биография и вклад в философию.

    #245576 · 2 мин чтения

  65. Чарльз Дакер Парсонс: Жизнь и философское наследие

    Чарльз Парсонс (1933-2024) – амер. философ, специалист по философии математики и Канту. Профессор Гарварда, сын социолога Т. Парсонса. Биография и вклад.

    #254764 · 1 мин чтения

  66. Джозеф Амади Гогуэн: Жизнь и вклад в компьютерную науку

    Джозеф Гоген: американский ученый-компьютерщик, пионер нечеткой логики и теории множеств. Разработал теорию институтов, влиятельную в универсальной логике.

    #262001 · 2 мин чтения

  67. Пер Мартин Лёф: Логик, философ и статистик

    Мартин Лёф: шведский логик, философ и математик. Основы вероятности, статистики, логики и информатики. Интуиционистская теория типов и её влияние.

    #264933 · 11 мин чтения

  68. Ласло Кальмар: Жизнь и вклад в математическую логику и информатику.

    Ласло Кальмар (1905-1976) – венгерский математик, основатель математической логики и теоретической информатики в Венгрии. Биография и вклад ученого.

    #270829 · 3 мин чтения

  69. Антипсихологизм в логике: история и современность

    Антипсихологизм в логике: теория независимости логической истины от человеческих идей. Кант, Больцано, Фреге и др. – ключевые фигуры и развитие концепции.

    #273863 · 2 мин чтения

  70. Алиса Амброуз Лазерович: Философ, логик и автор.

    Алиса Лазеровиц (1906-2001) – американский философ, логик, автор. Ученица Витгенштейна, изучала философию и математику. Книга о Витгенштейне.

    #281901 · 2 мин чтения

  71. Жан-Луи ван Хейеноорт: от секретаря Троцкого до историка математической логики

    Жан Луи ван Эйженорт: биография историка математической логики и личного секретаря Льва Троцкого (1932-1939). Трагическая судьба и ранние годы.

    #283776 · 5 мин чтения

  72. Эверт Виллем Бет: Жизнь и вклад в логику и математические основания

    Эверт Виллем Бет (1908-1964) – нидерландский философ и логик, специалист по основам математики. Член группы "Сигнификс". Биография и вклад в логику.

    #287104 · 3 мин чтения

  73. Пауль Лоренцен: философ, математик и основатель Эрлангенской школы

    Пауль Лоренцен (1915-1994) – немецкий математик и философ, основатель Эрлангенской школы, изобретатель игровой семантики. Биография и научные работы.

    #301500 · 2 мин чтения

  74. К. А. Мередит: Ирландский логик и математик

    К.А. Мередит (1904-1976) – ирландский математик и логик, профессор Тринити-колледжа. Вклад в конденсированное отсечение, пацифистские взгляды.

    #323730 · 1 мин чтения

  75. Психологизм в философии: обзор и критика

    Психологизм в философии: роль психологии в обосновании метафизики, эпистемологии и логики. История, определение и ключевые идеи от Локка и Erdmann.

    #323991 · 2 мин чтения

  76. Richard Milton Martin

    #343588 · 4 мин чтения

  77. Франсиско Миро Кесада Кантуариас: Жизнь и творчество перуанского философа

    Франсиско Миро Кесада Кантуариас (1918-2019) – перуанский философ, создатель паракванзистентной логики. Исследовал логику, политику и природу человека.

    #346770 · 1 мин чтения

  78. Генри Морис Шеффер: Американский логик и его вклад в булеву алгебру

    Генри Шеффер (1882-1964) – американский логик, философ польского происхождения. Биография, образование в Гарварде, преподавание в разных университетах США.

    #353544 · 2 мин чтения

  79. Грэм Прист: Философ, логик и мастер боевых искусств

    Грэм Прист: британский философ и логик, специалист по диалетеизму и логическим парадоксам. Неклассические логики, параконсистентность.

    #398801 · 1 мин чтения

  80. Жан-Ив Безьо: Логик и создатель Всемирного дня логики

    Жан-Ив Безьо – швейцарский профессор логики в Бразилии, эксперт в парасогласованной логике, квадрате оппозиций и универсальной логике. Философ, исследователь.

    #398994 · 3 мин чтения

  81. Кассиус Джексон Кейзер: Американский математик и философ

    Кассий Джексон Кизер: биография американского математика и философа. Образование, карьера преподавателя, учёба в Columbia University и научные степени.

    #403676 · 1 мин чтения

  82. Ассоциация символической логики: история и деятельность

    Ассоциация символической логики (ASL): международная организация специалистов по математической и философской логике. Конференции, встречи, история.

    #405551 · 3 мин чтения

  83. Рональд Бьёрн Йенсен: Биография и вклад в математическую логику

    Рональд Йенсен – американский математик (род. 1936), специалист по математической логике и теории множеств. Образование: Американский ун-т, Боннский ун-т.

    #406460 · 1 мин чтения

  84. Алан Росс Андерсон: Американский логик и философ

    Алан Росс Андерсон (1925-1973) – американский логик, разработчик релевантной и деонтической логики. Ключевая идея: связь посылок и выводов.

    #406829 · 1 мин чтения

  85. Эдвард Джон Леммон: британский логик и философ

    Эдвард Леммон: британский логик и философ, известный работами по модальной логике. Биография, образование, карьера и трагическая гибель ученого.

    #414304 · 2 мин чтения

  86. Артур Пап: Жизнь и философские труды

    Артур Пап (1921-1959) – швейцарский философ-аналитик. Исследования аналитической философии, её роль и влияние на общество. Биография и творчество.

    #419280 · 2 мин чтения

  87. Пенелопа Мэдди: Реализм и натурализм в философии математики

    Пенелопа Мэдди – американский философ и математик, специалист по философии математики, математическому реализму и натурализму. Профессор Калифорнийского университета.

    #419570 · 2 мин чтения

  88. Винсент Ф. Хендрикс: Датский философ и логик

    Винсент Хендрикс – датский философ и логик, профессор Копенгагенского университета. Исследует формальную философию, эпистемологию и теорию информации.

    #421637 · 2 мин чтения

  89. Пьерджорджо Одифредди: математик, логик и публицист.

    Пьерджорджо Одифредди: итальянский математик, логик и популяризатор науки. Исследования, философия, атеизм, влияние Рассела и Чомски.

    #424584 · 4 мин чтения

  90. Питер Брюс Эндрюс: Американский математик и логик

    Питер Брюс Эндрюс – американский математик, профессор Carnegie Mellon. Создатель логики Q0, лауреат Herbrand Award, разработчик TPS. Математическая логика.

    #425518 · 1 мин чтения

  91. Ричард Джеффри: Жизнь и творчество американского логика.

    Ричард Джеффри: американский логик и философ, автор радикального вероятностного подхода и метода Джеффри-обусловливания. Биография и вклад в теорию вероятностей.

    #434798 · 2 мин чтения

  92. Станислав Яськовский: Жизнь и вклад в логику

    Станислав Яськовский: польский логик, основатель натурального вывода и парасогласованной логики. Вклад в теорию доказательств и формальную семантику.

    #435368 · 2 мин чтения

  93. Ирвинг Копи: Жизнь и творчество американского философа и логика.

    Ирвинг Копи: биография американского философа и логика (1917-2002). Ученик Б. Рассела, автор учебников по логике и работ по логике отношений.

    #437944 · 1 мин чтения

  94. Павел Тихий: Жизнь и творчество чешского логика и философа.

    Павел Тихий: чешский логик, философ и математик, создатель прозрачной интенсиональной логики. Анализ естественных языков, значение предложений и коммуникация.

    #449924 · 2 мин чтения

  95. Nicolai A. Vasiliev

    #462444 · 3 мин чтения

  96. Ivan Orlov (philosopher)

    #462451 · 2 мин чтения

  97. Neil Tennant (philosopher)

    #468302 · 1 мин чтения

  98. Burton Dreben

    #477214 · 8 мин чтения

  99. Andrzej Trybulec

    #482053 · 2 мин чтения

  100. John Etchemendy

    #494190 · 2 мин чтения