The Logic in Computer Science column

Y. Gurevitch

IBP-Litp 1995/64: Rapport de Recherche Litp / Litp research reports
22 pages - Janvier/January 1996 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: The Logic in Computer Science column

Résumé : Cet article est une discusssion critique du constructivisme en informatique. Peu d'informaticiens savent ce qu'est exactement le constructivisme et ce qui l'a provoqué. Pour répondre à la seconde question, nous discutons dans la première section des antinomies en théorie des ensembles et de la crise fondamentaliste qui en est issue.Dans la seconde section, nous donnons une courte introduction "grand public" au constructivisme. Pour être équitable, nous discutons des aspects positifs du constructivisme dans la section 3. Dans la section 4 nous critiquons l'idée, issue du constructivisme, de concevoir les algorithmes en démontrant leurs spécifications de façon constructive. Enfin, dans la section 5, nous donnons notre critique du constructivisme.

Abstract : This is a critical discussion of constructivism in computer science. Many computer scientists do not know what constructivism is exactly and what provoqued it. To answer the second question, we discuss set-theoretic antinomies and the related foundational crisis in Section 1. In Section 2, we give a short popular introduction to constructivism. To be fair, we discuss good things about constructivism in Section 3. In Section 4 we criticize a constructivism-inspired idea of designing algorithms by proving constructively their specification. Finally, in Section 5, we give our critique of constructivism.

Publications internes Litp 1995 / Litp research reports 1995