High Quality Content by WIKIPEDIA articles! Godel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. The theorems, proven by Kurt Godel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all of mathematics is impossible, giving a negative answer to Hilbert's second problem. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального,...

В наличии:
	Books.Ru - 1001 руб.	Перейти
Под заказ:
	OZON.ru - 998 руб.	Перейти

Рейтинг книги: 4 из 5, 9 голос(-ов).