Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Электронный каталог (7)Краеведческие статьи (15)
Поисковый запрос: (<.>A=Целищев, В.$<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.


    Целищев, В.
    Все есть число? / Виталий Целищев // Вокруг света. - 2008. - № 9. - С. 150-160. - (Наука) )
. - ISSN 0321-0669
УДК
ББК 22.1 + 87.25
Рубрики: Математика
   Общие вопросы математики

   Философия

   Философия науки

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


Доп.точки доступа:
Сриниваса, Р.
Прямая ссылка
Найти похожие

2.


    Целищев, В. В. (Новосибирск).
    Аналитическая философия и сайентизм / В. В. Целищев ; (Новосибирск) // Вопросы философии. - 2010. - № 8. - С. 11-16. - (К итогам V Российского философского Конгресса) ) . - Библиогр.: с. 16
. - ISSN 0042-8744
УДК
ББК 87
Рубрики: Философия
   Общие вопросы философии

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

Прямая ссылка
Найти похожие

3.


    Целищев, В. В.
    Логика и философия : (записки семидесятника) / В. В. Целищев // Вопросы философии. - 2012. - № 5. - С. 124-133. - (Из истории отечественной философской мысли) )
. - ISSN 0042-8744
УДК
ББК 87.3(2)
Рубрики: Философия
   Философия России и СССР, 20 в. 70-е гг.

Кл.слова (ненормированные):
аналитическая философия -- история философии -- логика -- математическая логика -- философская логика
Аннотация: Статья посвящена связи логики и аналитической философии, развитию этого направления в СССР в 70-е годы 20 века. Статью предваряют краткие биографические данные В. В. Целищева - специалиста в области философии и методологии науки, лидера сибирской школы философии логики и математики, которому исполнилось 70 лет.


Доп.точки доступа:
Целищев, Виталий Валентинович (философ; директор); Куайн, Уиллард Ван Орман (американский философ; логик; математик ; 1908-2000); Крипке, Сол Аарон (американский философ; логик ; 1940-)
Прямая ссылка
Найти похожие

4.


    Целищев, В. В.
    Рационалистический оптимизм и философия Курта Геделя / В. В. Целищев // Вопросы философии. - 2013. - № 8. - С. 12-23. - (К 20-летию философского факультета Новосибирского государственного университета) ) . - Библиогр.: с. 22-23
. - ISSN 0042-8744
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

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


Доп.точки доступа:
Гедель, Курт (австрийский логик; математик; философ ; 1906-1978)
Прямая ссылка
Найти похожие

5.


    Целищев, В. В.
    [Рецензия] / В. В. Целищев // Вопросы философии. - 2015. - № 1. - С. 208-212. - (Критика и библиография) ) . - Библиогр. в сносках
. - Рец. на кн.: Суровцев В. А. Рамсей и программа логицизма / В. А. Суровцев. Томск : Изд-во Томского университета, 2012. 258 с. . - ISSN 0042-8744
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

Кл.слова (ненормированные):
Рамсея теория -- логицизм -- математики -- основания математики -- рецензии -- теория Рамсея -- философия математики -- философы


Доп.точки доступа:
Суровцев, В. А.; Рамсей, Ф. П. (английский математик и философ ; 1903-1930)
Прямая ссылка
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)