Р. Л. Гудстейн

Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Книга Р.Л.Гудстейна может служить кратким введением в математическую логику. От многих других книг по логике, имеющихся на русском языке, она выгодно...

Издательство: Либроком
Дата выхода: январь 2010

В настоящее время интенсивно развивается конструктивное направление в математике, в частности, конструктивный математический анализ. Р.Л. Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. Этот подход существенно отличается (как по общему замыслу, так и по характеру центральных понятий) от подходов,...

Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей.Данное издание Гудстейна может служить кратким введением в математическую логику, в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о...