Поисковый запрос: (<.>A=Целищев, В. В.$<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
1.
|
Тейт, У. Еще одно изгнание из рая: счет становится безумным [Текст] / У. Тейт ; пер. с англ. В. В. Целищева> // Философия науки. - 2007. - N 4. - С. 183-191
. - ISSN 1560-7488ББК 87.252 + 22.12 Рубрики: Философия Философские вопросы и методология отдельных наук Математика Математическая логика Кл.слова (ненормированные): множества (математика) -- числа -- трансфинитные числа -- теория множеств Аннотация: О теории трансфинитных чисел.
Доп.точки доступа: Целищев, В. В. \.\; Кантор, Георг (немецкий математик ; 1845-1918) \г.\ Найти похожие
|
2.
|
Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев> // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
. - ISSN 1560-7488ББК 22.12 + 87.4 Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\ Найти похожие
|
3.
|
Целищев, В. В. Неологицизм и экзистенциальные допущения в логике [Текст] / В. В. Целищев> // Философия науки. - 2008. - N 3. - С. 46-58. - Библиогр.: с. 58 (11 назв. )
. - ISSN 1560-7488ББК 87.25 Рубрики: Философия Философия науки Кл.слова (ненормированные): неологицизм -- математика -- логика Аннотация: Изложение проблем оснований математики не обходится без упоминания "великой троицы" - логицизма, интуицизма и формализма.
Найти похожие
|
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 8. - С. 11-16. - Библиогр.: с. 16
. - ISSN 0042-8744ББК 87 Рубрики: Философия Общие вопросы философии Кл.слова (ненормированные): философская наука -- аналитическая философия -- сайентизм -- континентальная философия -- философия науки -- познание -- методы познания Аннотация: Выступление на V Российском философском Конгрессе посвящено применению в философии аналитических методов познания.
Найти похожие
|
6.
|
Целищев, В. В. Представление знания как проблема эпистемологии теоретических конструкций [Текст] / В. В. Целищев, А. В. Хлебалин> // Философия науки. - 2010. - N 4. - С. 33-67. - Библиогр.: с. 67 (17 назв. )
. - ISSN 1560-7488ББК 87.22 Рубрики: Философия Теория познания Кл.слова (ненормированные): знание (философия) -- эпистемология -- логика -- функция -- вычислимость Аннотация: В данной работе рассматриваются проблемы представления знания в дедуктивных структурах.
Доп.точки доступа: Хлебалин, А. В. Найти похожие
|
7.
|
Целищев, В. В. Неологицизм, аксиома бесконечности и логические константы [Текст] / В. В. Целищев> // Философия науки. - 2010. - N 2. - С. 21-33. - Библиогр.: с. 32-33 (19 назв. )
. - ISSN 1560-7488ББК 87.25 Рубрики: Философия Философия науки Кл.слова (ненормированные): неологицизм -- логические константы -- аксиома бесконечности Аннотация: Данное исследование посвящено роли логических констант в программе неологизма.
Найти похожие
|
8.
|
Баджини, Дж. Алан Сокал: Моя философия [Текст] / Дж. Баджини ; пер. с англ. В. В. Целищева> // Философия науки. - 2010. - N 2. - С. 131-136
. - ISSN 1560-7488ББК 87.25 Рубрики: Философия Философия науки Кл.слова (ненормированные): философия жизни -- бытие Бога -- квантовая механика Аннотация: Размышления автора о работе Алана Сокала "Моя философия".
Доп.точки доступа: Целищев, В. В. \.\ Найти похожие
|
9.
|
Целищев, В. В. Математика как представление знания при расширительном понимании платонизма [Текст] / В. В. Целищев> // Философия науки. - 2011. - N 3. - С. 16-36. - Библиогр.: с. 16-36 (16 назв. )
. - ISSN 1560-7488ББК 87.25 Рубрики: Философия Философия науки Кл.слова (ненормированные): математика -- логика -- платонизм -- номинализм Аннотация: Статья посвящена анализу номиналистической реконструкции математики оснований математики. Особенностью излагаемого в статье подхода является отказ от противопоставления платонизма и номинализма в определенных версиях. Платонизма рассматривается в версии т. н. полнокровного платонизма, а номинализм - в версии фикционализма. Представленная концепция позволяет рассматривать математику как представление дедуктивного знания.
Доп.точки доступа: Куайна, Уиллард Ван Орман (американский философ, логик и математик ; 1908-2000) \в.\; Патнэм, Хилари (американский философ ; 1926 -) \х.\ Найти похожие
|
10.
|
Целищев, В. В. Онтологический статус семантической информации [Текст] : поверхностная и глубинная информация / В. В. Целищев> // Философия науки. - 2012. - № 3. - С. 3-28. - Библиогр.: с. 27-28 (13 назв. )
. - ISSN 1560-7488ББК 87.25 + 32.97 Рубрики: Философия Философия науки Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): онтология -- семантика -- информация -- компьютерные исследования Аннотация: В статье рассматриваются проблемы измерения семантической информации средствами дистрибутивных нормальных форм логики первого порядка. Обосновывается различие в онтологическом статусе глубинной и поверхностной семантической информации.
Найти похожие
|
11.
|
Пальчунов, Д. Е. Проблема извлечения знаний в системе взаимодействия человека и компьютера [Текст] : онтологии и пресуппозиции / Д. Е. Пальчунов, В. В. Целищев> // Философия науки. - 2012. - № 4. - С. 20-35. - Библиогр.: с. 34-35 (9 назв. )
. - ISSN 1560-7488ББК 87.25 Рубрики: Философия Философия науки Кл.слова (ненормированные): знания -- информация -- компьютеры -- онтология -- человек -- пользователи -- программные системы -- восприятие мира Аннотация: Данная работа посвящена проблемам извлечения, представления и передачи знаний. Рассматриваются два вида обмена знаниями: первый - между людьми, второй - между человеком и компьютером, т. е. между программной системой и ее пользователем. При этом необходимо отме6тить, что второй вид обмена знаниями во многом сводится к первому: проблемы непонимания, искажения или потери информации при общении пользователя с программной системой обусловлены различным восприятием мира, различными онтологиями пресуппозициями, имеющимися у этого пользователя и у разработчиков данной программой системы. Соответственно, значительную важность приобретает проблема организации совместной деятельности человека и компьютера. Для решения этой проблемы необходимо решать задачи разработки человеко-машинных интерфейсов. Проблемы человеко-машинных интерфейсов тесно связанны с различием в представлении знаний у различных групп пользователей и разработчиков программного обеспечения. В этом контексте представляет интерес исследование фактов наличия или отсутствия единого понимания информаций и знаний.
Доп.точки доступа: Целищев, В. В. Найти похожие
|
12.
|
Целищев, В. В. Логика и философия [Текст] : (записки семидесятника) / В. В. Целищев> // Вопросы философии. - 2012. - № 5. - С. 124-133
. - ISSN 0042-8744ББК 87.3(2) Рубрики: Философия Философия России и СССР, 20 в. 70-е гг. Кл.слова (ненормированные): логика -- аналитическая философия -- история философии -- математическая логика -- философская логика Аннотация: Статья посвящена связи логики и аналитической философии, развитию этого направления в СССР в 70-е годы 20 века. Статью предваряют краткие биографические данные В. В. Целищева - специалиста в области философии и методологии науки, лидера сибирской школы философии логики и математики, которому исполнилось 70 лет.
Доп.точки доступа: Целищев, Виталий Валентинович (философ; директор) \в. В.\; Куайн, Уиллард Ван Орман (американский философ; логик; математик ; 1908-2000) \у. В. О.\; Крипке, Сол Аарон (американский философ; логик ; 1940-) \с. А.\ Найти похожие
|
13.
|
Целищев, В. В. Философские основания онтологий верхнего уровня [Текст] / В. В. Целищев> // Философия науки. - 2012. - № 2. - С. 26-36. - Библиогр.: с. 35-36 (10 назв. )
. - ISSN 1560-7488ББК 87.25 Рубрики: Философия Философия науки Кл.слова (ненормированные): логика -- онтология -- информационные технологии -- концептуализации Аннотация: Статья посвящена перспективности разработки онтологий высшего уровня. Трудности на пути такого рода конструкций преодолеваются с помощью априорных концептуализаций.
Найти похожие
|
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) \ф. П.\ Найти похожие
|
|