Essays in constructive mathematics
"This book aims to promote constructive mathematics not by defining it or formalizing it, but by practicing it, by basing all definitions and proofs on finite algorithms. The topics covered derive from classic works of nineteenth-century mathematics, among them Galois's theory of algebraic...
Saved in:
Main Author: | Edwards, Harold M. |
---|---|
Other Authors: | SpringerLink (Online Service) |
Format: | eBook |
Language: | English |
Published: |
New York :
Springer,
©2005.
|
Physical Description: |
1 online resource (xix, 211 pages) : illustrations. |
Subjects: |
In Prospector
Similar Items
-
Essays in constructive mathematics
by: Edwards, Harold M.,
Published: (2022) -
Apartness and uniformity : a constructive development
by: Bridges, D. S. 1945-
Published: (2011) -
Constructivism in mathematics : an introduction. Volume 1
by: Troelstra, A. S.
Published: (1988) -
Principles of adaptive filters and self-learning systems
by: Zaknich, Anthony.
Published: (2005) -
Foundational theories of classical and constructive mathematics
Published: (2011)