Skip to Main content Skip to Navigation
Book sections

Formalism. The Success(es) of a Failure

Abstract : 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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.univ-lille3.fr/hal-01396841
Contributor : Liesbeth de Mol <>
Submitted on : Thursday, November 17, 2016 - 8:21:52 AM
Last modification on : Tuesday, July 3, 2018 - 11:30:06 AM
Document(s) archivé(s) le : Thursday, March 16, 2017 - 5:23:16 PM

File

demol_corrected.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-01396841, version 1

Citation

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

Share

Metrics

Record views

231

Files downloads

209