Торальф Сколем
- Торальф Альберт Сколем – норвежский математик и логик, пионер теоретической информатики.
- Разработал арифметику натуральных чисел и доказал ее последовательность, полноту и разрешимость.
- Гедель доказал неполноту и, следовательно, неразрешимость арифметики Пеано.
- Сколем склонен рассматривать общие проблемы на конкретных примерах и часто представляет доказательства в том же порядке, в каком пришел к ним.
- Его идеи часто содержательны и потенциально способны к широкому применению.
Полный текст статьи:
Торальф Скулем — Википедия
Похожие статьи:
- Эпоха Просвещения Оглавление1 Эпоха просвещения1.1 Эпоха Просвещения1.2 Истоки и влияние1.3 Основные идеи1.4 Влиятельные интеллектуалы1.5 “Энциклопедия”1.6 Философия эпохи Просвещения1.7...
- История социализма Оглавление1 История социализма1.1 История социализма1.2 Социализм в XX веке1.3 Конец коммунизма и новые тенденции1.4 Истоки социализма1.5...
- Схема аксиом замены Оглавление1 Схема замены аксиомы1.1 Аксиома замены в теории множеств1.2 История аксиомы замены1.3 Влияние на развитие теории...
- Новая Кембриджская современная история Оглавление1 Новая Кембриджская современная история1.1 Обзор серии “Кембриджская история Европы”1.2 Структура серии1.3 Содержание томов1.4 Авторы и...
- Эрнст Цермело Эрнст Цермело Эрнст Цермело – немецкий математик, внесший значительный вклад в теорию множеств. Он доказал теорему...
- Личное имя – Arc.Ask3.Ru Оглавление1 Личное имя1.1 История и классификация личных имен1.2 Структура личных имен1.3 История фамилий1.4 Региональные особенности1.5 Использование...
- Антиглобалистское движение Оглавление1 Антиглобалистское движение1.1 Аскетизм и инфлюэнца1.2 Альтернативная культура и антикапитализм1.3 Автономное здание и взлом рекламного щита1.4...
- Джон Мейнард Кейнс Оглавление1 Джон Мейнард Кейнс1.1 Ранние годы и образование1.2 Карьера и ранние работы1.3 Вклад в экономику1.4 Влияние...
- Огюстен-Жан Френель Оглавление1 Огюстен-Жан Френель1.1 Ранние годы и образование1.2 Религиозное образование и инженерные задания1.3 Вклад в физическую оптику1.4...
- Че Гевара Оглавление1 Che Guevara1.1 Ранние годы и образование1.2 Политическая деятельность1.3 Роль в Кубинской революции1.4 Поздние годы и...
- Брюс Рид (политический деятель) Оглавление1 Брюс Рид (политический деятель)1.1 Ранняя жизнь и образование1.2 Карьера1.3 Избранные работы1.4 Полный текст статьи:2 Брюс...
- Список норвежских математиков Оглавление1 Список норвежских математиков1.1 Определение математика1.2 Выдающиеся математики Норвегии1.3 Дополнительные ресурсы2 Список норвежских математиков — Википедия...
- Аксиома схемы замены Схема замены аксиомы Аксиома замены аксиом Цермело-Френкеля позволяет заменять элементы множества на другие элементы или множества. ...
- Принцип взрыва Принцип взрыва Принцип взрыва или псевдо-Скотус утверждает, что любое утверждение может быть доказано из противоречия. Доказательство...
- Эми Кони Барретт – Arc.Ask3.Ru Оглавление1 Эми Кони Барретт1.1 Ранние годы и образование1.2 Юридическая карьера1.3 Выдвижение и подтверждение кандидатуры1.4 Работа в...
- Рассуждение на основе прецедентов Оглавление1 Рассуждения, основанные на конкретных примерах1.1 Основы рассуждений, основанных на конкретных примерах (CBR)1.2 Применение CBR1.3 Критика...
- Роберт Х. Годдард Оглавление1 Роберт Х. Годдард1.1 Ранние годы и вдохновение1.2 Детские эксперименты1.3 Образование и ранняя учеба1.4 Ученые1.5 Вклад...
- Список наборов данных для исследований в области машинного обучения Оглавление1 Список наборов данных для исследований в области машинного обучения1.1 Контролируемое обучение1.2 Обучение без присмотра1.3 Онлайн-обучение1.4...
- Антиглобалистское движение Оглавление1 Антиглобалистское движение1.1 Аскетизм и инфлюэнца1.2 Альтернативная культура и антикапитализм1.3 Автономное здание и взлом рекламного щита1.4...
- Логология (наука) – Arc.Ask3.Ru Оглавление1 Логология (наука)1.1 Происхождение логологии1.2 История и развитие1.3 Определение науки1.4 Познаваемость реальности1.5 Непознаваемые вопросы1.6 Проблема зарождения...
- Неолиберализм Оглавление1 Неолиберализм1.1 Происхождение и развитие неолиберализма1.2 Основные идеи и принципы1.3 Критика и использование термина1.4 Историческое значение...
- Идея Оглавление1 Идея1.1 Определение и природа идей1.2 Роль идей в истории и культуре1.3 Идеи и их распространение1.4...