Сортировать по:
| Выпуск | Название | |
| Том 18, № 2 (2020) | Разрыв интенсионального и экстенсионального в математике | Аннотация PDF (Rus) похожие документы |
| В. В. Целищев, А. В. Хлебалин | ||
| "... traditions in the foundations of mathematics. One of the important manifestations of this discrepancy ..." | ||
| Том 16, № 1 (2018) | УНИВАЛЕНТНОСТЬ И ПОНЯТИЕ СТРУКТУРЫ В ФИЛОСОФИИ МАТЕМАТИКИ | Аннотация PDF (Rus) похожие документы |
| Л. Д. Ламберов | ||
| "... of mathematics. In particular, the paper discusses the axiom of univalence and the modern type-theoretical ..." | ||
| Том 17, № 4 (2019) | Дефляционная теория истины и инструменталистская концепция математики | Аннотация PDF (Rus) похожие документы |
| А. В. Хлебалин | ||
| "... of mathematics. It is shown that the use of the concept of truth in mathematical theory is similar to the use ..." | ||
| Том 18, № 2 (2020) | О задачном подходе в искусственном интеллекте и когнитивных науках | Аннотация PDF (Rus) похожие документы |
| Е. Е. Витяев, С. С. Гончаров, Д. И. Свириденко | ||
| "... of the task approach. This paper will show that not only the problems of the bases of mathematics ..." | ||
| Том 16, № 4 (2018) | СЕМАНТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ | Аннотация PDF (Rus) похожие документы |
| С. С. Гончаров, Д. И. Свириденко | ||
| "... and discrete mathematics. The possibility of constructing a new, «explanatory artificial intelligence free from ..." | ||
| Том 16, № 3 (2018) | ЛОГИЧЕСКИЙ И МАТЕМАТИЧЕСКИЙ ВЫВОД: СИНТАКСИС И СЕМАНТИКА ДОКАЗАТЕЛЬСТВА | Аннотация PDF (Rus) похожие документы |
| А. В. Хлебалин | ||
| "... The paper treats the relation between mathematical and logical inferences in mathematics ..." | ||
| Том 16, № 1 (2018) | ПОЛНОТА ЛОГИЧЕСКИХ И МАТЕМАТИЧЕСКИХ ФОРМАЛЬНЫХ СИСТЕМ: ВИДЫ И СПЕЦИФИКА | Аннотация PDF (Rus) похожие документы |
| В. В. Целищев, А. О. Костяков | ||
| "... not reflect the important features of the application of logic to mathematics. It is demonstrated ..." | ||
| Том 20, № 4 (2022) | Законы: историческая трансформация, современное понимание, классификация | Аннотация PDF (Rus) похожие документы |
| В. И. Разумов | ||
| "... , a classification is constructed that includes the laws of logic and mathematics, natural sciences, technology ..." | ||
| Том 16, № 2 (2018) | СЕМАНТИЧЕСКАЯ ТРАДИЦИЯ НА ПУТИ К НОВОЙ ПАРАДИГМЕ: КАРНАП МЕЖДУ СИНТАКСИСОМ И СЕМАНТИКОЙ | Аннотация PDF (Rus) похожие документы |
| В. В. Целищев | ||
| "... Расселом и Гильбертом, по поводу статуса геометрических аксиом показывали, что идеи метаматематики трудно ..." | ||
| Том 17, № 4 (2019) | Истина и обоснование для дедуктивных систем: базовые постулаты и аналитичность | Аннотация PDF (Rus) похожие документы |
| В. Н. Карпович | ||
| "... аксиомы существования. Отсюда следует, что некоторые истины математики являются синтети- ческими, а ..." | ||
| Том 17, № 4 (2019) | О задачном подходе в искусственном интеллекте | Аннотация PDF (Rus) похожие документы |
| Е. Е. Витяев, С. С. Гончаров, Д. И. Свириденко | ||
| "... . Е. Витяев, С. С. Гончаров, Д. И. Свириденко Институт математики им. С. Л. Соболева СО РАН ..." | ||
| Том 17, № 1 (2019) | Концепции интенсиональности математического дискурса: этапы самореференции | Аннотация PDF (Rus) похожие документы |
| В. В. Целищев, А. В. Хлебалин | ||
| "... - преложностью, присущей строгой логике. Действительно, структура формальной математики, в ее теоретико ..." | ||
| Том 17, № 1 (2019) | Формальная логика, риторика и рациональная аргументация | Аннотация PDF (Rus) похожие документы |
| В. Н. Карпович | ||
| "... моделирования рассуждений в других науках. Рассел, один из основателей этой логики, так характеризовал ее ..." | ||
| Том 16, № 4 (2018) | ЭТИКА АРИСТОТЕЛЯ КАК ПЕРВАЯ ФИЛОСОФИЯ | Аннотация PDF (Rus) похожие документы |
| А. А. Санженаков | ||
| "... , по сути, занимается каждая наука, будь то врачевание или математика 5. Обратимся ко второму и ..." | ||
| Том 16, № 2 (2018) | РАЦИОНАЛЬНЫЕ МОДЕЛИ И РЕАЛЬНЫЕ РЕШЕНИЯ В «ОБЩЕСТВЕ РИСКА» | Аннотация PDF (Rus) похожие документы |
| В. С. Диев | ||
| "... - гочисленные исследования в математике, экономике, психологии, которые, с одной стороны, позволили получить ..." | ||
| Том 17, № 1 (2019) | Философские аспекты российской модели управления | Аннотация PDF (Rus) похожие документы |
| В. С. Диев | ||
| "... «ничейной земле» (термин Б. Рассела), и поэтому возможно и необходимо использовать фило- софские методы и ..." | ||
| Том 18, № 3 (2020) | Еще раз о неверных истолкованиях второй теоремы Гёделя о неполноте | Аннотация PDF (Rus) похожие документы |
| А. В. Бессонов | ||
| "... реализуемости выдвинутой Д. Гильбертом программы финитного обоснования математики. ..." | ||
| Том 17, № 4 (2019) | Дж. Лэдимен и Э. Лоу: паттерны, сущность и установление истины | Аннотация PDF (Rus) похожие документы |
| Н. В. Головко | ||
| "... предложениям (sen- tences)… Некоторые мыслители, Рассел, Витгенштейн в Трактате и Гус- серль в Логических ..." | ||
| Том 17, № 4 (2019) | Неопределенность, риск и принятие решений в междисциплинарном контексте | Аннотация PDF (Rus) похожие документы |
| В. С. Диев | ||
| "... ]. Используя известную метафору Б. Рассела о философии как «ничейной земле» между наукой и религией, В. С ..." | ||
| Том 16, № 3 (2018) | ИНДИВИДУАЛИЗМ И ТОЛЕРАНТНОСТЬ КАК ПРИНЦИПЫ ПОЛИТИЧЕСКОЙ ЭТИКИ ЛИБЕРАЛИЗМА | Аннотация PDF (Rus) похожие документы |
| М. А. Широкова | ||
| "... религиозными войнами XVI–XVII вв. Бертран Рассел, анализируя процесс формирования философско- го либерализма и ..." | ||
| 1 - 20 из 43 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
