Сводный каталог книг

[Текст] : Сборник статей и выступлений / Г. Штейнгауз ; пер. с пол. Б.И. Копылова; под ред. А.В. Хачояна. - Москва : БИНОМ. Лаборатория Базовых Знаний, 2005. - 351 с. : ил. - Имен. указ.: с. 345-349. - Библиогр.: с. 344. - Пер. изд. : Miedzy duchem a materia posredniczy matematyka / H. Steinhaus. - ISBN 5-94774-214-4 : 195.35 р.

УДК

51:1^V3

ББК В1в.я44 + В1г(0)я44

Аннотация: Книга представляет собой сборник статей и выступлений автора, посвященных истории развития отдельных разделов математики и их приложениям к биологии, медицине, геологии, судебной практике, экономике и другим областям. Объединяющим моментом являются глубокие методологические рассуждения автора о природе математики и ее взаимодействии с другими науками. Приведены малоизвестные факты из биографий выдающихся ученых-математиков. Для преподавателей математики, студентов и всех интересующихся историей этой науки и ее приложениями к различным сферам народного хозяйства и к научным исследованиям.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Хачоян, А.В. \ред.\; Копылов, Б.И. \пер.\; Steinhaus, H.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Нонпарель, 2004. - 340 с. : ил. - (Новая философия математики). - Библиогр.: с. 334-339. - ISBN 5-93089-020-X : 80.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК Ю251.4 + В1

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.В. Целищев ; Отв. ред. А.В. Бессонов; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Нонпарель, 2003. - 240 с. : ил. - (Новая философия математики). - Библиогр.: с. 234-238. - ISBN 5-93089-020-X : 10.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК В1

Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы абстрактных объектов математики, в частности, природы натуральных чисел и множеств. В центре внимания работы находятся понятия существования математического объекта и структуры. Значительная часть книги посвящена исследованиям последнего десятка лет. Книга предназначена всем, интересующимся философией математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бессонов, А.В. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : новая философия математики / В.В. Целищев; Отв. ред. А.В. Бессонов; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Наука, 2002- - . - 2002. - 212 с. - Библиогр.: с. 205-210. - ISBN 5-02-031888-4 : 5.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК Ю251.4:В1

Аннотация: В монографии отражены исследования в области философии математики, чрезвычайно важные для понимания соотношения формальных систем и их философских интерпретаций. В центре внимания находятся интерпретации теоремы Левенгейма - Сколема и континуум-гипотезы Кантора, а также обсуждение теоретико-множественных аксиом и логических языков математики. Значительная часть книги посвящена исследованиям философов математики, проведенным за последние два десятка лет. Книга предназначена всем, интересующимся философией математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Бессонов, А.В. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.В. Целищев ; Ин-т философии и права, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2006. - 212 с. : ил. - (Новая философия математики). - Библиогр.: с. 209-211. - ISBN 5-98901-010-9 : 50.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК Ю251

Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы математического доказательства, в частности, двух типов доказательства - по "озарению" и комбинаторного. Значительная часть книги посвящена проблемам компьютерного доказательства. Книга предназначена всем, интересующимся философией математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Основные программы обоснования математики ХХ столетия: учеб. пособие для вузов по направлению 540400 (050400) "Соц.-экон. образование" / В.А. Светлов. - Москва : КомКнига ; Москва : URSS, 2006. - 208 с. : ил. - ISBN 5-484-00453-5 : 200.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК Ю251 + В1

Аннотация: Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии XX столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе автором излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по "Истории и философии науки", одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004, № 697. Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и кого интересуют логика и методология современной науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : избранное: [пер. с нем.] / Г. Грассман, Р. Грассман ; [отв. ред. Л. Г. Бирюкова, З. А. Кузичева; вступ. ст. Б. В. Бирюкова, Л. Г. Бирюковой, с. 5-56 ; послесл. Б. В. Бирюкова ; Рос. акад. наук, Ин-т философии]. - Москва : Наука, 2008. - 502 с. - (Памятники философской мысли / редкол.: Т. И. Ойзерман (пред.) и др.). - ISBN 978-5-02-033858-6 : 547.00 р.

ГРНТИ	27
УДК	51:1^V3

ББК В1 + Ю4

Аннотация: В сборник избранных работ выдающихся немецких мыслителей - братьев Г. Грассмана (1809-1877) и Р. Грассмана (1815-1901), занимающихся математикой, философией, логикой, филологией, включены тексты, раскрывающие разные стороны философских воззрений и методологии авторов. Тексты Грассманов подробно прокомментированы и снабжены обширным Послесловием. Для широкого круга читателей, интересующихся историей философии, логикой, философией математики, методологией науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Грассман, Роберт; Бирюкова, Л.Г. \ред.\; Кузичева, З.А. \ред.\; Ойзерман, Т.И. \ред.\; Бирюкова, Б.В. \.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Ю. Л. Ершов, К. Ф. Самохвалов ; Ин-т математики, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2007. - 142 с. : ил. - (Новая философия математики). - Библиогр.: с. 140-142. - ISBN 978-5-98901-028-8 : 210.00 р.

ГРНТИ	27.01
УДК	51:1^V3

ББК В1в + Ю252:В1

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Самохвалов, Климентий Федорович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Л. Кутюра ; ред. П. С. Юшкевич ; пер. с фр. Б. Корень ; Ф. Ф. Линде. - 2-е изд., испр. - Москва : URSS : ЛКИ, 2010. - 264 с. : ил. - (Физико-математическое наследие : ФМН. Математика (философия математики)). - Указ. имен: с. 261-262. - ISBN 978-5-382-01035-9 : 229.02 р.

ГРНТИ	27.01
УДК	51:1^V3

ББК В1в + Ю252:В1

Аннотация: Вниманию предлагается классическая работа французского математика и философа Л. Кутюра (1868-1914) - первая в России книга, где была изложена общая теория математической логики. Автор не только рассматривает современное ему состояние философии математики, но и приводят важнейшие результаты своего критического исследования основ математики, которые, по его мнению, в математической логике привели к слиянию дедуктивной логики и чистой математики в единую научную систему. Книга адресована математикам, философам, логикам, историкам и методологам науки, студентам и аспирантам соответствующих специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Юшкевич, Павел Соломонович \ред.\; Корень, Б. \пер.\; Линде, Ф.Ф. \.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : наследие двадцатого столетия / Габриэле Лолли ; пер. с итал. А.Л. Сочкова при участии С.М. Антакова ; под ред. Я.Д. Сергеева. - Нижний Новгород : Нижегородский госуниверситет им. Н.И. Лобачевского, 2012. - 299 с. - (Библиотека переводов классиков мировой науки). - Библиогр.: с. 7-8, 31-34. - В надзаг.: Министерство образования и науки Российской Федерации, Нижегородский государственный университет им. Н.И. Лобачевского, Национальный исследовательский университет. - Пер. изд. : Filosofia della matematica : L'eredità del Novecento / Lolli Gabriele. - ISBN 978-88-15-08510-8 (итал.). - ISBN 978-5-91326-211-0 : 220.00 р.

ГРНТИ	27.01
УДК	51:1

ББК В1в + Ю252:В1

Аннотация: Книга содержит широкий обзор и критический анализ философий математики, предложенных на Западе в ХХ столетии. Рассмотрены не только наиболее известные направления, такие как платонизм, формализм или конструктивизм, но также номинализм, логицизм, реализм, феноменология, натурализм, семиотика, структурализм, дедуктивизм, фаллибилизм, эмпиризм и др. В каждом из рассмотренных течений обсуждаются философские принципы, методы и инструменты, имеющие значение для математики. В частности, большое внимание уделено выявлению сущности математического доказательства, а также раскрытию влияния философии математики на саму математику и специалистов, которые ею занимаются. Часто для обсуждения того или иного положения слово предоставляется не только философам, но и математикам. Это является интересной и важной особенностью монографии потому, что во многих других публикациях философские аспекты обычно превалируют, а математические часто отодвигаются на второй план. Автор книги - профессор Габриэле Лолли - является известным итальянским ученым, видным представителем математической школы этой страны, опубликовавшим более 10 книг по математической логике, основаниям и философии математики. В первую очередь монография адресована математикам и философам. Однако и широкий круг специалистов, использующих математику в своей деятельности, аспиранты и студенты математических, философских и естественно-научных факультетов, и все те, кто интересуется основаниями и философией математики, логикой и методологией современной науки найдут эту книгу интересной и полезной.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Сергеев, Ярослав Дмитриевич \ред.\; Сочков, А.Л. \пер.\; Антаков, Сергей Мирославович \пер.\; Lolli, Gabriele
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В. В. Целищев ; Институт философии и права (Новосибирск), Сибирское отделение РАН. - Новосибирск : Параллель, 2008. - 172,[1] с. : ил. ; 22 см. - (Новая философия математики). - Библиогр.: с. 168-172. - 400 экз. - ISBN 978-5-98901-053-0 : 140.00 р.

ГРНТИ	27.03
УДК	51:1^V3

ББК В127,0

Аннотация: В монографии отражены исследования в области философии математики, важные для понимания природы вычислимости и ее роли в познании. В центре внимания находится тезис Черча, являющийся уточнением интуитивного понятия вычислимости, а также понятия алгоритма, лежащего в основе понятия вычисления. Книга предназначен а всем интересующимся философией математики.

Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Институт философии и права (Новосибирск); Сибирское отделение РАН
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)