Formalism. The Success(es) of a Failure - Université de Lille Accéder directement au contenu
Chapitre D'ouvrage Année : 2016

Formalism. The Success(es) of a Failure


In this paper I review a particular version of so-called "formalism" (the one elaborated by Emil Post) and show how this deviates from traditional understandings of formalism (cfr Lakatos). This results in a critique on the dogma of simulation as we see and experience it in current user-driven software developments and which hides the lack of meaning of "pure" computation.
Fichier principal
Vignette du fichier
demol_corrected.pdf (170.38 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01396841 , version 1 (17-11-2016)


  • HAL Id : hal-01396841 , version 1


Liesbeth de Mol. Formalism. The Success(es) of a Failure. Soyons Logiques/Let's be logical, 2016. ⟨hal-01396841⟩
180 Consultations
123 Téléchargements


Gmail Mastodon Facebook X LinkedIn More