Общие вопросы математики

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Общие вопросы математики >

?-consistent theory

Автор: Jesse Russell
Год: 2013
Издание: Книга по Требованию
Страниц: 105
ISBN: 9785514022724
High Quality Content by WIKIPEDIA articles! In mathematical logic, an ?-consistent (or omega-consistent, also called numerically segregative) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also avoids proving certain infinite combinations of sentences that are intuitively contradictory. The name is due to Kurt Godel, who introduced the concept in the course of proving the incompleteness theorem. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной...
Добавлено: 2015-04-23 01:22:57

Похожие книги

Видео о книгах:



Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы