From Constructivism to Computer Science

Abstract

My eld is mathematical logic, with a special interest in constructivism, and I would not dare to call myself a computer scientist. But some computer scientists regard my work as a contribution to their eld; and in this text I shall try to explain how this is possible, by taking a look at the history of ideas. I want to describe how two interrelated ideas… (More)
DOI: 10.1016/S0304-3975(97)00172-2

Topics

  • Presentations referencing similar topics