What Is Computable Set Theory?

  • Domenico Cantone
  • Eugenio Omodeo
  • Alberto Policriti
Part of the Monographs in Computer Science book series (MCS)

Abstract

Set theory, conceived toward the end of the nineteenth century, shaped the language of today’s mathematics. It should provide, essentially for the same reasons, the standard ingredients for the language of computer science as that discipline progresses out of its own infancy. This book aims to bring to light evidence that such a task can indeed be rewarding, by developing tools (algorithmic, as well as conceptual) for better and deeper exploitation of Set theory in computer science.

Keywords

Logic Programming Decision Algorithm Axiomatic System Program Transformation Computational Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Domenico Cantone
    • 1
  • Eugenio Omodeo
    • 2
  • Alberto Policriti
    • 3
  1. 1.Dipartimento di Matematica e InformaticaUniversità di CataniaCataniaItaly
  2. 2.Dipartimento di Matematica Pura e ApplicataUniversità di L’AquilaL’AquilaItaly
  3. 3.Dipartimento di Matematica e InformaticaUniversità degli Studi di UdineUdineItaly

Personalised recommendations