Y. Gurevitch The Logic in Computer Science column 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 sec­ onde question, nous discutons dans la première section des anti­ nomies 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, is­ sue 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 construc­ tivisme. This is a critical discussion of constructivism in computer sci­ ence. 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 intro­ duction 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.