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

Formalism. The Success(es) of a Failure

Résumé

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
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01396841 , version 1

Citer

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

Partager

More