Новиков, Николай Борисович. На стыке между психологией и другими науками [Текст] / Н. Б. Новиков> // Образование и наука. - 2008. - N 8. - С. 114-133. - Библиогр.: с. 133 (20 назв. ) . - ISSN 1994-5639
Рубрики: Наука. Науковедение Организация науки Кл.слова (ненормированные): познавательные процессы -- синергетический подход -- метафорическое мышление -- генерирование аналогий -- математическое моделирование -- уравнения Колмагорова -- Колмагорова уравнения -- уравнения Вольтерра -- Вольтерра уравнения -- закон Парето -- Парето закон -- теорема Геделя -- Геделя теорема -- теория индуктивного мышления -- дискуссии Аннотация: Показана продуктивность синергетического подхода к исследованию познавательных процессов. Обсуждается возможность интепритации метафорического мышления, связанного с генерированием аналогий, на основе идей, заложенных в управлении Вольтерра, продемонстрированна полезность использования уравнения диффузии Колмогорова для описания процесса оформления мыслей в вербальную форму, а также процесса распространения научных парадигм. Приводятся аргументы в пользу того, что распределение истинных и ошибочных результатов индукции должно подчиняться закону Парето-Ципфа-Уиллиса, то есть негауссовому закону распределения вероятностей. Обнаружена аналогия между принципом Пригожина об открытости диссипативных структур и теоремой Геделя о неполноте, которую можно рассматривать как требование открытости для любых алгоритмов. Доп.точки доступа: Вольтерра, В. (1860-1940); Колмагоров, А. Н. (акад. АН СССР ; 1903-1987); Парето, В. (1848-1923) |
Витко, Андрей Владимирович. О проблеме явления Бернулли [Текст] / А. В. Витко> // Изобретательство. - 2010. - Т. 10, N 3. - С. 23-38 : 6 рис. - Библиогр.: с. 37-38 . - ISSN 2072-3067
Рубрики: Физика Математическая физика Кл.слова (ненормированные): уравнение Бернулли -- Бернулли уравнение -- теорема Геделя -- Геделя теорема -- эффект Тарасенко -- Тарасенко эффект -- гидродинамика -- гидравлический поток -- механика Аннотация: Автор анализирует уравнение Бернулли. Доп.точки доступа: Бернулли, Д.; Гедель, К.; Тарасенко, А. П. |
Чечулин, В. Л. О счетности простых деревьев и следствиях из нее [Текст] / В. Л. Чечулин> // Вестник Пермского университета. - 2010. - Вып. 4 (4). - С. 20-23. . - Библиогр.: с. 22-23 (5 назв. ). - Назв. вып.: Математика. Механика. Информатика
Рубрики: Математика Теория вероятностей Кл.слова (ненормированные): счетность простых деревьев -- самопринадлежность -- теорема Геделя Аннотация: В статье обоснованы, посредством семантики самопринадлежности, теоремы Геделя, а также утверждения о несчетности количества точек прямой. Нет сведений об экземплярах (Источник в БД не найден) |
Родин, Кирилл Александрович (аспирант). Витгентшейн против Геделя: доказанность и доказуемость [Текст] / К. А. Родин> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2013. - № 4 (24). - С. 163-169. - Библиогр.: с. 169 (12 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки http://elibrary
Рубрики: Философия Философия зарубежных стран Кл.слова (ненормированные): история философии -- австрийские философы -- австрийские математики -- теоремы -- теорема о неполноте -- теорема Геделя -- Геделя теорема -- доказуемость -- доказанность Аннотация: История споров вокруг записей Людвига Витгенштейна, в которых философ обсуждает Геделеву первую теорему о неполноте. Доп.точки доступа: Витгенштейн, Л. (австрийский философ ; 1889-1951); Гедель, К. (австрийский логик ; 1906-1978) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, В. В. Истинность геделева предположения [Текст] : внутренний и внешний вопросы / В. В. Целищев> // Философия науки. - 2014. - № 1. - С. 16-38. - Библиогр.: с. 37-38 . - ISSN 1560-7488
Рубрики: Философия Философия науки Кл.слова (ненормированные): методология философии науки -- теорема Геделя -- Геделя теорема -- истина Аннотация: Статья посвящена экспликации понятия истинности геделева предложения в доказательстве первой теоремы Геделя о неполноте. Рассмотрено несколько классификаций в установлении истинности геделева предложения. Показано, что различие в трактовках этого вопроса, предлагаемых работающими математиками и философами математики, карнаповскому различению внутренних и внешних вопросов. Доп.точки доступа: Гедель, К. (1906-1978) Нет сведений об экземплярах (Источник в БД не найден) |
Целищев, Виталий Валентинович (доктор философских наук). Итерированные модальные операторы и условия выводимости Гильберта-Бернайса [Текст] / В. В. Целищев> // Вестник Томского государственного университета. Философия. Социология. Политология. - 2018. - № 43. - С. 33-43. - Библиогр.: с. 42 (14 назв.). - полный текст статьи см. на сайте Научной электронной библиотеки https://elibrary.ru . - ISSN 1998-863x
Рубрики: Логика Логический синтаксис и логическая семантика Кл.слова (ненормированные): теории -- логические теории -- логические исчисления -- модальные логики -- условия выводимости Гильберта-Бернайса -- Гильберта-Бернайса условия выводимости -- модальные операторы -- итерированные модальные операторы -- доказательства -- теоремы о неполноте -- теорема Геделя -- Геделя теорема -- неполнота арифметики -- арифметика Аннотация: Анализ некоторых способов ослабления универсальности условий выводимости Гильберта-Бернайса, связанных с применением модальной логики к теории доказательства, в частности при доказательстве Второй теоремы Геделя о неполноте. Нет сведений об экземплярах (Источник в БД не найден) |