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.
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

http://hal.univ-lille3.fr/hal-01396841
Contributeur : Liesbeth De Mol <>
Soumis le : jeudi 17 novembre 2016 - 08:21:52
Dernière modification le : jeudi 11 janvier 2018 - 06:20:28
Document(s) archivé(s) le : jeudi 16 mars 2017 - 17:23:16

Fichier

demol_corrected.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

72

Téléchargements de fichiers

52