Essays in constructive mathematics
This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it. All definitions and proofs are based on finite algorithms, which pave illuminating paths to nontrivial results, primarily in algebra, number theory, and the theory of algeb...
Full description
Saved in:
| Main Author: |
Edwards, Harold M., |
| Other Authors: |
SpringerLink (Online Service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Cham, Switzerland :
Springer,
2022.
|
| Physical Description: |
1 online resource (xiv, 322 pages) : illustrations (some color)
|
| Edition: |
Second edition. |
| Subjects: |
|