Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Essays in Constructive Mathematics
Автор: Edwards H.
This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not `algorithms' that require surveying an infinite number of possibilities to determine whether a given condition is met.