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.
2005
0198566514
0198566514
9780198566519
9780198566519
9780191713927
9780191713927
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
1
20
Crosilla L.; Schuster P.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1347691
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact