Новиков, Николай Борисович. На стыке между психологией и другими науками [Текст] / Н. Б. Новиков> // Образование и наука. - 2008. - N 8. - С. 114-133. - Библиогр.: с. 133 (20 назв. ) . - ISSN 1994-5639 Рубрики: Наука. Науковедение Организация науки Кл.слова (ненормированные): познавательные процессы -- синергетический подход -- метафорическое мышление -- генерирование аналогий -- математическое моделирование -- уравнения Колмагорова -- Колмагорова уравнения -- уравнения Вольтерра -- Вольтерра уравнения -- закон Парето -- Парето закон -- теорема Геделя -- Геделя теорема -- теория индуктивного мышления -- дискуссии Аннотация: Показана продуктивность синергетического подхода к исследованию познавательных процессов. Обсуждается возможность интепритации метафорического мышления, связанного с генерированием аналогий, на основе идей, заложенных в управлении Вольтерра, продемонстрированна полезность использования уравнения диффузии Колмогорова для описания процесса оформления мыслей в вербальную форму, а также процесса распространения научных парадигм. Приводятся аргументы в пользу того, что распределение истинных и ошибочных результатов индукции должно подчиняться закону Парето-Ципфа-Уиллиса, то есть негауссовому закону распределения вероятностей. Обнаружена аналогия между принципом Пригожина об открытости диссипативных структур и теоремой Геделя о неполноте, которую можно рассматривать как требование открытости для любых алгоритмов. Доп.точки доступа: Вольтерра, Вито (1860-1940) \в.\; Колмагоров, Андрей Николаевич (акад. АН СССР ; 1903-1987) \а. Н.\; Парето, Вильфредо (1848-1923) \в.\ |
Добрынин, Сергей. Железная логика [Текст] / Сергей Добрынин> // Вокруг света. - 2012. - № 4. - С. 104-110 . - ISSN 0321-0669 Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): теоремы -- доказательства теорем -- математические теоремы -- математические доказательства -- компьютерные расчеты -- теорема о четырех красках -- гипотеза Кеплера -- Кеплера гипотиза -- теорема Геделя -- Геделя теорема -- простые конечные группы -- классификация простых конечных групп Аннотация: О проблемах современной математики, заставляющих ученых полагаться на компьютерные вычисления при доказательствах различных математических теорем. |
Кудрин, Виктор. Абсурд логики и логика абсурда [Текст] / Виктор Кудрин> // Наука и религия. - 2012. - № 10. - С. 44-45 Рубрики: Философия--Европа, 20 в. Теория познания--Европа Кл.слова (ненормированные): ученые -- математика -- теоремы -- теоремы о неполноте -- Геделя теорема -- теорема Геделя -- аксиомы математики -- аксиоматические методы -- возможное -- невозможное -- теория познания -- абсурдность логики Аннотация: О теореме австрийского ученого Курта Геделя, которая позволила лучше понять принципы действия человеческого разума и оказала глубокое влияние на мировоззрение и культуру 20 века. |
М. М. Наследие господина Warum`а [Текст] / М. М.> // Наука и религия. - 2012. - № 10. - С. 45 Рубрики: Философия--Европа, 20 в. Теория познания--Европа Кл.слова (ненормированные): ученые -- математика -- теоремы -- теоремы о неполноте -- Геделя теорема -- теорема Геделя Аннотация: О жизни и открытиях австрийского ученого Курта Геделя. |
Очевидное - недоказуемое, или Почему теоремы Геделя о неполноте волнуют не только математиков [Текст]> // Наука и жизнь. - 2012. - № 11. - С. 30-31 . - ISSN 0028-1263 Рубрики: Математика Математическая логика Кл.слова (ненормированные): теорема Геделя -- Геделя теорема -- математические утверждения -- теоремы -- инструменты познания -- познание -- логика Аннотация: В статье рассказывается о теореме Геделя, которая представляет собой математическое утверждение, сделанное относительно одного конкретного инструмента познания - логики. |
Родин, Кирилл Александрович (аспирант). Витгентшейн против Геделя: доказанность и доказуемость [Текст] / К. А. Родин> // Вестник Томского государственного университета. Философия. Социология. Политология = Tomsk State University. Journal of Philosophy, Sociology and Political Science. - 2013. - № 4 (24). - С. 163-169. - Библиогр.: с. 169 (12 назв.)
Рубрики: Философия Философия зарубежных стран Кл.слова (ненормированные): Геделя теорема -- австрийские математики -- австрийские философы -- доказанность -- доказуемость -- история философии -- теорема Геделя -- теорема о неполноте -- теоремы Аннотация: История споров вокруг записей Людвига Витгенштейна, в которых философ обсуждает Геделеву первую теорему о неполноте. Доп.точки доступа: Витгенштейн, Л. (австрийский философ ; 1889-1951); Гедель, К. (австрийский логик ; 1906-1978) |
Бессонов, А. В. О двух неверных догмах, связанных со второй теоремой Гёделя о неполноте арифметики [Текст]. Ч. I / А. В. Бессонов> // Философия науки. - 2014. - № 4. - С. 12-31. - Библиогр.: с. 31 (24 назв. ) . - ISSN 1560-7488
Рубрики: Философия Философия науки Математика Теория чисел Кл.слова (ненормированные): Геделя теорема -- арифметика -- неадекватность предиката доказуемости -- предикат недоказуемости -- теорема Геделя Аннотация: Показано, что гёделево доказательство второй теоремы о неполноте формальной арифметики зависит от избранного им предиката доказуемости. С использованием предиката недоказуемости строятся контрпримеры ко второй теореме, из чего следует, что в общем случае вывод второй теоремы не является верным. |