Bridges Douglas (EN) — Varieties of Constructive Mathematics

Тут можно читать онлайн книгу Bridges Douglas (EN) - Varieties of Constructive Mathematics - бесплатно полную версию (целиком). Жанр книги: Иностранная литература. Вы можете прочесть полную версию (весь текст) онлайн без регистрации и смс на сайте Lib-King.Ru (Либ-Кинг) или прочитать краткое содержание, аннотацию (предисловие), описание и ознакомиться с отзывами (комментариями) о произведении.

Varieties of Constructive Mathematics
Язык книги: Английский
Прочитал книгу? Поставь оценку!
0 0

Varieties of Constructive Mathematics краткое содержание

Varieties of Constructive Mathematics - описание и краткое содержание, автор Bridges Douglas (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.

This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.

Varieties of Constructive Mathematics - читать онлайн бесплатно полную версию (весь текст целиком)

Varieties of Constructive Mathematics - читать книгу онлайн бесплатно, автор Bridges Douglas (EN)

Поделиться книгой

Оставить отзыв