Поисковый запрос: (<.>A=Целищев, В. В.$<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
1. 
|
Тейт, У.
Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева // Философия науки. - 2007. - N 4. - С. 183-191
. - ISSN 1560-7488ББК 87.252 + 22.12
Рубрики: Философия
Философские вопросы и методология отдельных наук
Математика
Математическая логика
Кл.слова (ненормированные):
множества (математика) -- числа -- трансфинитные числа -- теория множеств
Аннотация: О теории трансфинитных чисел.
Доп.точки доступа:
Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\
Найти похожие
|
2.
|
Целищев, В. В.
Неологицизм и экзистенциальные допущения в логике [Текст] / В. В. Целищев // Философия науки. - 2008. - N 3. - С. 46-58. - Библиогр.: с. 58 (11 назв. )
. - ISSN 1560-7488ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
неологицизм -- математика -- логика
Аннотация: Изложение проблем оснований математики не обходится без упоминания "великой троицы" - логицизма, интуицизма и формализма.
Найти похожие
|
3.
|
Бессонов, А. В.
Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
. - ISSN 1560-7488ББК 22.12 + 87.4
Рубрики: Логика
Математика
Математическая логика
Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\
Найти похожие
|
4.
|
Койен, Дж. А.
Видеть и верить [Текст] = Seeing and Believing : (о бесконечных попытках примирить науку и религию и о том, почему они обречены на провал) / Дж. А. Койен ; пер. с англ. В. В. Целищева // Философия науки. - 2009. - N 2. - С. 127-155. - Рец. на кн.: Giberson K. Saving Darwin: How to be a Christian and Believe in Evolution (HarperOne, 2008) ; Miller K. Only a Theory: Evolution and the Battle for American' s Soul (Viking, 2008).
. - ISSN 1560-7488ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
рецензии -- наука и религия -- дарвинизм -- креационизм -- теория разумного устройства -- секулярное мышление
Доп.точки доступа:
Целищев, В. В. \.\; Giberson \k.\; Гиберсон, Карл \к.\; Miller \k.\; Миллер, Кеннет \к.\; Дарвин, Чарлз Роберт (английский естествоиспытатель ; 1809-1882) \ч. Р.\
Найти похожие
|
5.
|
Целищев, В. В.
Неологицизм, аксиома бесконечности и логические константы [Текст] / В. В. Целищев // Философия науки. - 2010. - N 2. - С. 21-33. - Библиогр.: с. 32-33 (19 назв. )
. - ISSN 1560-7488ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
неологицизм -- логические константы -- аксиома бесконечности
Аннотация: Данное исследование посвящено роли логических констант в программе неологизма.
Найти похожие
|
6.
|
Баджини, Дж.
Алан Сокал: Моя философия [Текст] / Дж. Баджини ; пер. с англ. В. В. Целищева // Философия науки. - 2010. - N 2. - С. 131-136
. - ISSN 1560-7488ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
философия жизни -- бытие Бога -- квантовая механика
Аннотация: Размышления автора о работе Алана Сокала "Моя философия".
Доп.точки доступа:
Целищев, В. В. \.\
Найти похожие
|
7.
|
Целищев, В. В.
Аналитическая философия и сайентизм [Текст] / В. В. Целищев // Вопросы философии. - 2010. - N 8. - С. 11-16. - Библиогр.: с. 16
. - ISSN 0042-8744ББК 87
Рубрики: Философия
Общие вопросы философии
Кл.слова (ненормированные):
философская наука -- аналитическая философия -- сайентизм -- континентальная философия -- философия науки -- познание -- методы познания
Аннотация: Выступление на V Российском философском Конгрессе посвящено применению в философии аналитических методов познания.
Найти похожие
|
8.
|
Целищев, В. В.
Представление знания как проблема эпистемологии теоретических конструкций [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2010. - N 4. - С. 33-67. - Библиогр.: с. 67 (17 назв. )
. - ISSN 1560-7488ББК 87.22
Рубрики: Философия
Теория познания
Кл.слова (ненормированные):
знание (философия) -- эпистемология -- логика -- функция -- вычислимость
Аннотация: В данной работе рассматриваются проблемы представления знания в дедуктивных структурах.
Доп.точки доступа:
Хлебалин, А. В.
Найти похожие
|
9.
|
Целищев, В. В.
Математика как представление знания при расширительном понимании платонизма [Текст] / В. В. Целищев // Философия науки. - 2011. - N 3. - С. 16-36. - Библиогр.: с. 16-36 (16 назв. )
. - ISSN 1560-7488ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
математика -- логика -- платонизм -- номинализм
Аннотация: Статья посвящена анализу номиналистической реконструкции математики оснований математики. Особенностью излагаемого в статье подхода является отказ от противопоставления платонизма и номинализма в определенных версиях. Платонизма рассматривается в версии т. н. полнокровного платонизма, а номинализм - в версии фикционализма. Представленная концепция позволяет рассматривать математику как представление дедуктивного знания.
Доп.точки доступа:
Куайна, Уиллард Ван Орман (американский философ, логик и математик ; 1908-2000) \в.\; Патнэм, Хилари (американский философ ; 1926 -) \х.\
Найти похожие
|
10.
|
Целищев, В. В.
Логика и философия [Текст] : (записки семидесятника) / В. В. Целищев // Вопросы философии. - 2012. - № 5. - С. 124-133
. - ISSN 0042-8744ББК 87.3(2)
Рубрики: Философия
Философия России и СССР, 20 в. 70-е гг.
Кл.слова (ненормированные):
логика -- аналитическая философия -- история философии -- математическая логика -- философская логика
Аннотация: Статья посвящена связи логики и аналитической философии, развитию этого направления в СССР в 70-е годы 20 века. Статью предваряют краткие биографические данные В. В. Целищева - специалиста в области философии и методологии науки, лидера сибирской школы философии логики и математики, которому исполнилось 70 лет.
Доп.точки доступа:
Целищев, Виталий Валентинович (философ; директор) \в. В.\; Куайн, Уиллард Ван Орман (американский философ; логик; математик ; 1908-2000) \у. В. О.\; Крипке, Сол Аарон (американский философ; логик ; 1940-) \с. А.\
Найти похожие
|
11.
|
Целищев, В. В.
Философские основания онтологий верхнего уровня [Текст] / В. В. Целищев // Философия науки. - 2012. - № 2. - С. 26-36. - Библиогр.: с. 35-36 (10 назв. )
. - ISSN 1560-7488ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
логика -- онтология -- информационные технологии -- концептуализации
Аннотация: Статья посвящена перспективности разработки онтологий высшего уровня. Трудности на пути такого рода конструкций преодолеваются с помощью априорных концептуализаций.
Найти похожие
|
12.
|
Целищев, В. В.
Онтологический статус семантической информации [Текст] : поверхностная и глубинная информация / В. В. Целищев // Философия науки. - 2012. - № 3. - С. 3-28. - Библиогр.: с. 27-28 (13 назв. )
. - ISSN 1560-7488ББК 87.25 + 32.97
Рубрики: Философия
Философия науки
Вычислительная техника
Вычислительная техника в целом
Кл.слова (ненормированные):
онтология -- семантика -- информация -- компьютерные исследования
Аннотация: В статье рассматриваются проблемы измерения семантической информации средствами дистрибутивных нормальных форм логики первого порядка. Обосновывается различие в онтологическом статусе глубинной и поверхностной семантической информации.
Найти похожие
|
13.
|
Пальчунов, Д. Е.
Проблема извлечения знаний в системе взаимодействия человека и компьютера [Текст] : онтологии и пресуппозиции / Д. Е. Пальчунов, В. В. Целищев // Философия науки. - 2012. - № 4. - С. 20-35. - Библиогр.: с. 34-35 (9 назв. )
. - ISSN 1560-7488ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
знания -- информация -- компьютеры -- онтология -- человек -- пользователи -- программные системы -- восприятие мира
Аннотация: Данная работа посвящена проблемам извлечения, представления и передачи знаний. Рассматриваются два вида обмена знаниями: первый - между людьми, второй - между человеком и компьютером, т. е. между программной системой и ее пользователем. При этом необходимо отме6тить, что второй вид обмена знаниями во многом сводится к первому: проблемы непонимания, искажения или потери информации при общении пользователя с программной системой обусловлены различным восприятием мира, различными онтологиями пресуппозициями, имеющимися у этого пользователя и у разработчиков данной программой системы. Соответственно, значительную важность приобретает проблема организации совместной деятельности человека и компьютера. Для решения этой проблемы необходимо решать задачи разработки человеко-машинных интерфейсов. Проблемы человеко-машинных интерфейсов тесно связанны с различием в представлении знаний у различных групп пользователей и разработчиков программного обеспечения. В этом контексте представляет интерес исследование фактов наличия или отсутствия единого понимания информаций и знаний.
Доп.точки доступа:
Целищев, В. В.
Найти похожие
|
14.
|
Целищев, В. В.
Рационалистический оптимизм и философия Курта Геделя [Текст] / В. В. Целищев // Вопросы философии. - 2013. - № 8. - С. 12-23. - Библиогр.: с. 22-23
. - ISSN 0042-8744ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
рациональность -- рационалистический оптимизм -- оптимизм -- ментализм -- механицизм -- мышление -- человеческий ум -- философские предпочтения -- философия математики
Аннотация: Статья посвящена малоизвестным концепциям философии Геделя, которые стали доступны после посмертной публикации его записных книжек и других материалов. Рассмотрена поставленная Геделем дилемма: либо существуют абсолютно неразрешимые математические утверждения, либо человеческий ум превосходит конечную машину. Показана философская важность дилеммы в противостоянии двух направлений - ментализма и механицизма - в понимании соотношения человеческого и машинного мышления. Объяснены позиции Геделя как менталиста и происхождение его рационалистического оптимизма.
Доп.точки доступа:
Гедель, Курт (австрийский логик; математик; философ ; 1906-1978) \к.\
Найти похожие
|
15.
|
Целищев, В. В.
[Рецензия] [Текст] / В. В. Целищев // Вопросы философии. - 2015. - № 1. - С. 208-212. - Библиогр. в сносках. - Рец. на кн.: Суровцев В. А. Рамсей и программа логицизма / В. А. Суровцев. Томск : Изд-во Томского университета, 2012. 258 с.
. - ISSN 0042-8744ББК 87.25
Рубрики: Философия
Философия науки
Кл.слова (ненормированные):
рецензии -- философия математики -- основания математики -- теория Рамсея -- Рамсея теория -- логицизм -- математики -- философы
Доп.точки доступа:
Суровцев \в. А.\; Рамсей, Фрэнк Пламптон (английский математик и философ ; 1903-1930) \ф. П.\
Найти похожие
|
|
|
Главная
Описание
Шлюз Z39.50
Электронный каталог НТГСПИ
Стандартный