This introductory chapter sets the stage for the following chapters. It first discusses the issue of foundational systems for constructive mathematical practice, and expresses the desire for a closer interplay between foundations and practice of constructive mathematics as they seem to have parted from each other in more recent times. It observes that a closer connection is already witnessed by some of the contributions to this book. With the intent of fostering the discussion on foundations, it suggests some ideas on (weak) foundational systems for constructive mathematics. Finally, it recalls the basic steps in the fields of constructive set and type theory, formal topology, and constructive analysis, and gives a presentation of the contributions in the volume to each field.
Introduction to the book / Crosilla L.; Schuster P.. - STAMPA. - 9780198566519:(2005), pp. 1-20. [10.1093/acprof:oso/9780198566519.003.0001]
Introduction to the book
Crosilla L.;Schuster P.
2005
Abstract
This introductory chapter sets the stage for the following chapters. It first discusses the issue of foundational systems for constructive mathematical practice, and expresses the desire for a closer interplay between foundations and practice of constructive mathematics as they seem to have parted from each other in more recent times. It observes that a closer connection is already witnessed by some of the contributions to this book. With the intent of fostering the discussion on foundations, it suggests some ideas on (weak) foundational systems for constructive mathematics. Finally, it recalls the basic steps in the fields of constructive set and type theory, formal topology, and constructive analysis, and gives a presentation of the contributions in the volume to each field.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.