Take a photo of a barcode or cover
231 pages • first pub 2004 (view editions)
ISBN/UID: 9780387219783
Format: Hardcover
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
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 mathemati...
Community Reviews
Content Warnings
231 pages • first pub 2004 (view editions)
ISBN/UID: 9780387219783
Format: Hardcover
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
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 mathemati...
Community Reviews
Content Warnings