The media of programming

2019

Mark Priestley, Thomas Haigh

in: Exploring the early digital, Berlin,

Challenging the gospel

Grete Hermann on von Neumann's no-hidden-variables proof

2016

Michiel Seevinck

in: Grete Hermann, Berlin,

Die Mathematik und andere Kurzsprachen

2016

Loet Leydesdorff

in: Schlüsselwerke der Systemtheorie, Berlin,

Proofs as efficient programs

2008

Ugo Dal Lago, Simone Martini

in: Deduction, computation, experiment, Berlin,

Kurt Gödel

das Album the Album

2006

Karl Sigmund, John Dawson, Kurt Mühlberger

Berlin, Vieweg

A characterization of von Neumann games in terms of memory

2004

Giacomo Bonanno

Synthese 139 (2)

Mathematical physics and philosophy of physics (with special consideration of J. von Neumann's work)

2002

Miklós Rédei

in: History of philosophy of science, Berlin,

J. v. Neumann's influence in mathematical physics

2001

Walter Thirring

in: John von Neumann and the foundations of quantum physics, Berlin,

Opportunistic axiomatics — von Neumann on the methodology of mathematical physics

2001

Michael Stöltzner

in: John von Neumann and the foundations of quantum physics, Berlin,

Von Neumann's theory of quantum measurement

2001

Jeffrey Bub

in: John von Neumann and the foundations of quantum physics, Berlin,