<style face="normal" font="default" size="100%">Formalism. The success(es) of a failure</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">Formalism. The success(es) of a failure</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Haskell before Haskell: an alternative lesson in practical logics of the ENIAC</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Generating, solving and the mathematics of Homo Sapiens. Emil Posts views on computation</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Reasoning with computer-assisted experiments in mathematics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Report 'International Conference on History and Philosophy of Computing' (HAPOC)</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">A short history of small machines</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">On the complex behavior of simple tag systems An experimental approach</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Looking for busy beavers. A socio-philosophical study of a computer-assisted proof</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Setting-up early computer programs: D. H. Lehmer's ENIAC computation</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Solvability of the halting and reachability problem for binary 2-tag systems</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Doing mathematics on the ENIAC. Von Neumann's and Lehmer's different visions</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Mathematics through man-computer interaction. A study of the early years of computing.</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results.</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">How to talk with a computer: an essay on computability and man-computer conversations</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Tag systems and Collatz-like functions</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A week-end off: the first extensive number-theoretical computation on the ENIAC</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Study of limits of solvability in tag systems</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Tracing Unsolvability. A Mathematical, Historical and Philosophical Analysis with a Special Focus on Tag Systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Closing the circle: An analysis of Emil Post's early work</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Facing the Computer. Some techniques to understand technique.</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">Mathematics and Pictures. Some popular examples</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Post's machine</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Theory and Experiment in the work of Alonzo Church and Emil Post</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Study of fractals derived from IFS-fractals by metric procedures</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Computer Generated Images as Mathematical Tools</style>