Полное описание
>
51/М 970
Мэдди, Пенелопа. В защиту аксиом. О философских основаниях теории множеств / П. Мэдди ; [перевод с английского В. В. Целищев]. - Москва : Канон-плюс : Реабилитация, 2026. - 398 с. : ил. - (Библиотека аналитической философии). - Загл. на корешке : В защиту аксиом. - Библиогр.: с. 397-398. - Пер. изд.: Defending the axioms. On the philosophical foundations of set theory / Penelope Maddy. - 2011. - 1000 экз. - ISBN 978-5-88373-888-2 : 195 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03 | 510.3:1 |
Рубрики:
Математика -- Философские вопросы
Множеств теория
Кл.слова (ненормированные): философия математики -- теоретико-множественный метод -- множества -- абстрактные объекты -- трансфинитные множества
Аннотация: Мэдди пытается ответить на следующие вопросы: "Что делают теоретики множеств?" и "Как им это удается?" Это собственные формулировки Мэдди, которые побуждают ее исследовать предмет и методы современной теории множеств. Философский подход - это форма натурализма, получившая название Второй Философии, чтобы отличать ее от любой метафизически нагруженной Первой Философии. Кроме того, светила современной философии математики Дж. Булос и П. Бенацерраф обсуждают вопрос, какая из бесконечностей в иерархии теории множеств слишком "велика" для понимания ее человеком, и то, как натурализм в математике решает этот вопрос.
Доп. точки доступа:
Целищев, Виталий Валентинович\пер.\
Maddy, Penelope
>
Имеются экземпляры в отделах: всего 2 : ХРЦ (1), ХРР (1)
Свободны: ХРЦ (1), ХРР (1)
Обложка
Целищев, Виталий Валентинович. Философский раскол. Логика vs метафизика / В. В. Целищев, 2021. - 335 с. - Текст (визуальный) : непосредственный.Глок, Ганс-Иоганн. Аналитическая философия. Как она есть / Г.-И. Глок ; пер. В. В. Целищев, 2022. - 399 с. - Текст (визуальный) : непосредственный.Шапиро, Стюарт. Философия математики / С. Шапиро ; [перевод с англ. В. В. Целищева], 2022. - 511 с. - Текст (визуальный) : непосредственный.Хинтикка, Яакко. Принципы математики. Новый взгляд. Революция в логике? ; / Я. Хинтикка, Г. Санду ; [пер. с англ. В. В. Целищев], 2022. - 397 с. - Текст (визуальный) : непосредственный.Целищев, Виталий Валентинович. Алгоритмический ум : ментализм vs механизм в философии математики / В. В. Целищев, 2023. - 512 с. - Текст (визуальный) : непосредственный.Теннант, Ньюл. Укрощение истины : анти-реализм дедуктивного дискурса и познание / Н. Теннант, 2024. - 351 с. - Текст (визуальный) : непосредственный.Ландини, Грегори. Рассел / Грегори Ландини ; [перевод с английского В. В. Целищева], 2024. - 479 с. - Текст (визуальный) : непосредственный.Мэдди, Пенелопа. В защиту аксиом. О философских основаниях теории множеств / П. Мэдди, 2026. - 398 с. - Текст (визуальный) : непосредственный.
Фреге Г. Основоположения арифметики. Логико-математическое исследование о понятии числа : Пер. с нем. / Г.Фреге, 2000. - 127 с. - Текст : непосредственный.Хакинг Я. Почему вообще существует философия математики? / Я. Хакинг ; пер. с англ. Целищева В. В., 2020. - 399 с. - Текст : непосредственный.Стролл А. Аналитическая философия. Двадцатый век / Аврум Стролл ; [перевод с английского В. В. Целищева], 2020. - 383 с. - Текст : непосредственный.Грей, Джереми. Призрак Платона : модернистская трансформация математики / Дж. Грей ; [пер. с англ. В. В. Целищева], 2021. - 623 с. - Текст (визуальный) : непосредственный.Глок, Ганс-Иоганн. Аналитическая философия. Как она есть / Г.-И. Глок ; пер. В. В. Целищев, 2022. - 399 с. - Текст (визуальный) : непосредственный.Тасич, Владимир. Математика и корни постмодернистской философии / В. Тасич ; [пер. с англ. В. В. Целищев], 2022. - 366 с. - Текст (визуальный) : непосредственный.Шапиро, Стюарт. Философия математики / С. Шапиро ; [перевод с англ. В. В. Целищева], 2022. - 511 с. - Текст (визуальный) : непосредственный.Хинтикка, Яакко. Принципы математики. Новый взгляд. Революция в логике? ; / Я. Хинтикка, Г. Санду ; [пер. с англ. В. В. Целищев], 2022. - 397 с. - Текст (визуальный) : непосредственный.Целищев, Виталий Валентинович. Алгоритмический ум : ментализм vs механизм в философии математики / В. В. Целищев, 2023. - 512 с. - Текст (визуальный) : непосредственный.Теннант, Ньюл. Укрощение истины : анти-реализм дедуктивного дискурса и познание / Н. Теннант, 2024. - 351 с. - Текст (визуальный) : непосредственный.Ландини, Грегори. Рассел / Грегори Ландини ; [перевод с английского В. В. Целищева], 2024. - 479 с. - Текст (визуальный) : непосредственный.Нагель, Эрнест. Доказательство Гёделя / Эрнест Нагель, Джеймс Ньюман, 2025. - 174 с. - Текст (визуальный) : непосредственный.Уилсон, Марк. Блуждающие значения : в двух томах. Т. 1гл. 1-6, 2025. - 519 с. - Текст : непосредственный.Мэдди, Пенелопа. В защиту аксиом. О философских основаниях теории множеств / П. Мэдди, 2026. - 398 с. - Текст (визуальный) : непосредственный.
Ахтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Хисамиев Н.Г. Конструктивные абелевы группы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев, 1990. - 24 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результатыSchindler R.D. core model up to one strong cardinal : Diss. / R.D.Schindler, 1997. - 122 p. - Текст : непосредственный. Rutten J.J.M.M. On the foundations of final semantics:non-standard sets,metric spaces, partial orders / J.J.M.M.Rutten,D.Turi, 1992. - 53 p. - Текст : непосредственный.Хенл Дж.М. Введение в теорию множеств / Дж.М.Хенл;Пер. с англ. С.И.Травкина; Под ред.В.Б.Кузьмина, 1993. - 105 c. - Текст : непосредственный.Beigel R. Approximable sets / R.Beigel,M.Kummer,F.Stephan, 1993. - 15 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Todorchevich S. Some applications of the method of forcing / S.Todorchevich,I.Farah, 1995. - 148 p. - Текст : непосредственный.Малинина Т.Б. Высшая математика: элементы теории множеств, линейная алгебра и аналитическая геометрия : Курс лекций / Т.Б.Малинина, 1995. - 100 c. - Текст : непосредственный.Дополнительные разделы элементарной математики. Элементы теории множеств : Текст лекций / С.А.Беликов,Ю.П.Данилов,В.Г.Фарафонов,О.Ю.Шульц, 1995. - 45 c. - Текст : непосредственный.Good C. Measurable cardinals and finite intervals between Hausdorff topologies / C.Good,D.W.McIntyre,W.S.Watson, 1996. - 15 p. - Текст : непосредственный.Halko A. Negligible subsets of the generalized Baire space w1w1 : Diss. / A.Halko, 1996. - 38 p. - Текст : непосредственный.Бурбаки, Н. Начала математики : Пер. с фр. Г.Н.Поварова, Ю.А.Шихановича. Ч. 1 : Основные структуры анализаКн. 1. Теория множеств, 1965. - 455 с. - Текст : непосредственный.Столл Р.Р. Множества. Логистика. Аксиоматические теории / Р.Р.Столл;Пер. с англ. Ю.А.Гастева, И.Х.Шмаина; Под ред. Ю.А.Шихановича, 1968. - 231 с. - Текст : непосредственный.Стрыгин В.З. Метаматематическое, теоретико-множественное и математико-логическое обоснование решения некоторых NP-полных задач полиномиальными алгоритмами / В.З.Стрыгин, 1994. - 35 с. - Текст : непосредственный.Березнюк С. Расположение собственно степеней / С. Березнюк, Р. Кулз, А. Сорби, 1997. - 20 с. - Текст : непосредственный.Шестаков А.А. Высшая математика. Множества и пространства : Учеб.пособие / А.А.Шестаков,Г.Х.Синдаловский, 1997. - 39 с. - Текст : непосредственный.Котлярова И.О. Элементы теории множеств и математической логики : Учеб. пособие / И. О. Котлярова, Е. Л. Кузнецова, Г. Н. Сериков, 1997. - 78 с. - Текст : непосредственный.Насыров З.Х. Множества, отношения, алгоритмы : Учеб.пособие по курсу "Дискрет.мат." / З.Х.Насыров, 1997. - 36 с. - Текст : непосредственный.Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В.Е.Шестопал, 1997. - 19 с. - Текст : непосредственный.Мальцев Ю.Н. Основания математики. Элементы теории множеств, дискретной математики и математической логики / Ю.Н.Мальцев, 1996. - 83 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽