CT-1996-02: From Constructivism to Computer Science

CT-1996-02: Troelstra, A.S. (1996) From Constructivism to Computer Science. [Report]

[img] Text (Full Text)
CT-1996-02.text.ps.gz

Download (99kB)
[img] Text (Abstract)
CT-1996-02.abstract.txt

Download (842B)

Abstract

My field 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 field; 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, connected with the constructi- vistic trend in the foundations of mathematics, developed within mathematical logic and ultimately diffused into computer science. It will be seen that this development has not been a quite straightforward one. In the history of ideas it often looks as if a certain idea has to be discovered several times, by different people, before it really enters into the ``consciousness'' of science.

Item Type: Report
Report Nr: CT-1996-02
Series Name: Computation and Complexity Theory (CT)
Year: 1996
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1071

Actions (login required)

View Item View Item