Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Электронный каталог (5)
Поисковый запрос: (<.>K=ГЕДЕЛЯ ТЕОРЕМА<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.


    Паршин, А. Н.
    Размышления над теоремой Геделя / А. Н. Паршин // Вопросы философии. - 2000. - № 6. - С. 92-109
ББК 87.4
Рубрики: Логика
   Общие вопросы логики

Кл.слова (ненормированные):
Геделя теорема -- неполнота

Прямая ссылка
Найти похожие

2.


    Музыкантский, Александр.
    Теория противоречивости бытия : 75 лет теореме Геделя / Александр Музыкантский // В мире науки. - 2007. - № 3. - С. 68-75. - (Математика) )
. - Ил.: 4 рис., 2 фото . - ISSN 0208-0621
УДК
ББК 22.1 + 22.11
Рубрики: Математика
   Высшая математика, 20 в.

Кл.слова (ненормированные):
Геделя теорема -- Геттингенская программа -- Гильберта программа -- Евклида методика -- Пенроуза гипотезы -- Расселя парадокс -- аксиомы -- биографии математиков -- великие ученые -- гипотезы Пенроуза -- математики -- математические открытия -- методика Евклида -- открытия -- парадокс Расселя -- программа Геттингенская -- программа Гильберта -- теорема Геделя -- ученые -- ученые-математики
Аннотация: К числу величайших достижений научной мысли минувшего столетия относят и теорему Геделя, которая позволила лучше понять принципы действия человеческого разума и оказала глубокое влияние на мировоззрение и культуру нашей эпохи. О великом математике XX века Курте Геделе.


Доп.точки доступа:
Пенроуз, Р.; Гедель, К.; Фреге, Г.; Рассел, Б.; Гейзенберг, В.; Шень, А.
Прямая ссылка
Найти похожие

3.


    Добрынин, Сергей.
    Железная логика / Сергей Добрынин // Вокруг света. - 2012. - № 4. - С. 104-110. - (Точные науки) )
. - ISSN 0321-0669
УДК
ББК 22.1
Рубрики: Математика
   Общие вопросы математики

Кл.слова (ненормированные):
Геделя теорема -- Кеплера гипотиза -- гипотеза Кеплера -- доказательства теорем -- классификация простых конечных групп -- компьютерные расчеты -- математические доказательства -- математические теоремы -- простые конечные группы -- теорема Геделя -- теорема о четырех красках -- теоремы
Аннотация: О проблемах современной математики, заставляющих ученых полагаться на компьютерные вычисления при доказательствах различных математических теорем.

Прямая ссылка
Найти похожие

4.


    Кудрин, Виктор.
    Абсурд логики и логика абсурда / Виктор Кудрин // Наука и религия. - 2012. - № 10. - С. 44-45. - (Неожиданный ракурс) )
УДК
ББК 87.22
Рубрики: Философия
   Теория познания--Европа, 20 в.

Кл.слова (ненормированные):
Геделя теорема -- абсурдность логики -- аксиоматические методы -- аксиомы математики -- возможное -- математика -- невозможное -- теорема Геделя -- теоремы -- теоремы о неполноте -- теория познания -- ученые
Аннотация: О теореме австрийского ученого Курта Геделя, которая позволила лучше понять принципы действия человеческого разума и оказала глубокое влияние на мировоззрение и культуру 20 века.


Доп.точки доступа:
Гедель, Курт (1906-1978)
Прямая ссылка
Найти похожие

5.


    М. М.
    Наследие господина Warum`а / М. М. // Наука и религия. - 2012. - № 10. - С. 45. - (Неожиданный ракурс) )
УДК
ББК 87.22
Рубрики: Философия
   Теория познания--Европа, 20 в.

Кл.слова (ненормированные):
Геделя теорема -- математика -- теорема Геделя -- теоремы -- теоремы о неполноте -- ученые
Аннотация: О жизни и открытиях австрийского ученого Курта Геделя.


Доп.точки доступа:
Гедель, Курт (1906-1978)
Прямая ссылка
Найти похожие

6.


   
    Очевидное - недоказуемое, или Почему теоремы Геделя о неполноте волнуют не только математиков // Наука и жизнь. - 2012. - № 11. - С. 30-31. - (Подробности для любознательных) )
. - ISSN 0028-1263
УДК
ББК 22.12
Рубрики: Математика
   Математическая логика

Кл.слова (ненормированные):
Геделя теорема -- инструменты познания -- логика -- математические утверждения -- познание -- теорема Геделя -- теоремы
Аннотация: В статье рассказывается о теореме Геделя, которая представляет собой математическое утверждение, сделанное относительно одного конкретного инструмента познания - логики.

Прямая ссылка
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)