# Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg

## TL;DR

This paper explores the constructive reinterpretation of classical algebra as presented in 'A Course in Constructive Algebra', highlighting simpler proofs and a clearer understanding achieved without classical logic shortcuts.

## Contribution

It analyzes the major features of the book, emphasizing how constructive methods lead to more precise and elegant proofs in algebra.

## Key findings

- Classical theorems are revisited with a constructive perspective.
- Proofs become simpler and more elegant without classical logic.
- Constructive approach clarifies the true content of algebraic proofs.

## Abstract

The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Classical theorems are revisited, with a new flavour, and become much more precise. We are often surprised to find proofs that are simpler and more elegant than the usual ones. In fact, when one cannot use magic tools as the law of excluded middle, it is necessary to understand what is the true content of a classical proof. Also, usual shortcuts allowed in classical proofs introduce sometimes useless detours. In order to understand clearly a problem, prescience may be a handicap.