Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 4 results:

Author Title [ Type

] Year

Filters: Author is Löwe, Benedikt [Clear All Filters]

Journal Article

Bullynck, Maarten, and Liesbeth De Mol. 2010. “Setting-Up Early Computer Programs: D. H. Lehmer's Eniac Computation” Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Archive for Mathematical Logic 49: 123–146. http://dx.doi.org/10.1007/s00153-009-0169-8.

Conference Paper

De Mol, Liesbeth, and Maarten Bullynck. 2008. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Springer Verlag.

Book Chapter (with title)

De Mol, Liesbeth. 2011. “Looking For Busy Beavers. A Socio-Philosophical Study Of A Computer-Assisted Proof” Karen François, Löwe, Benedikt, Müller, Thomas, and Van Kerkhove, Bart. Foundations of the Formal Sciences: 61–90.

Heeffer, Albrecht. 2011. “On The Curious Historical Coincidence Of Algebra And Double-Entry Bookkeeping” Karen François, Löwe, Benedikt, Müller, Thomas, and Van Kerkhove, Bart. Foundations of the formal sciences VII : bringing together philosophy and sociology of science 32: 109–130. http://www.collegepublications.co.uk/logic/?00021.