Skip to content
keeping simple

keeping simple

@vy@mastodon.social

is it safe to buy disulfiram online Menu

  • Groundbreaking treatise on state machines, paxos, specification
  • The RTLinux patent 5,995,745
  • Notes on Security and Common Criteria
  • Download code

Von Neumann on the empirical roots of mathematics

See also: Von Neumann’s critique of automata theory and logic in computer science

View Fullscreen
Skip to PDF content
Von Neumann on the empirical roots of mathematics
Tagged on: empiricism    mathematics    von neumann
vy December 21, 2025December 23, 2025 theory
  • ← Specifying digital systems using sequential functions
  • C23 standard (final draft) →

Pages

  • Groundbreaking treatise on state machines, paxos, specification
  • The RTLinux patent 5,995,745
  • Notes on Security and Common Criteria
  • Download code

Archives

  • February 2026
  • December 2025
  • November 2025
  • October 2025
  • January 2025
  • December 2024
  • September 2024
  • January 2024
  • December 2023
  • May 2023
  • October 2022
  • September 2022
  • May 2022
  • April 2022
  • March 2022
  • January 2022
  • October 2021
  • August 2021
  • May 2021
  • March 2021
  • September 2020
  • October 2019
  • July 2019
  • March 2019
  • February 2019
  • December 2018
  • November 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • January 2018
  • November 2017
  • August 2017
  • July 2017
  • June 2017
  • December 2016
  • September 2016
  • August 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015
  • March 2015
  • November 2014
  • October 2014
  • September 2014
  • July 2014
  • June 2014
  • May 2014
  • April 2014
  • February 2014
  • January 2014
  • December 2013
  • January 2013
  • November 2012
  • August 2012
  • July 2012
  • May 2012
  • April 2012
  • March 2012
  • February 2012
  • January 2012
  • December 2011
  • October 2011
  • September 2011
  • August 2011
  • July 2011
  • June 2011
  • May 2011
  • March 2011
  • November 2010
  • October 2010
  • September 2010
  • August 2010
  • July 2010
  • June 2010
  • May 2010
  • April 2010
  • March 2010
  • February 2010
  • January 2010
  • December 2009
  • November 2009
  • September 2009
  • August 2009
  • July 2009
  • June 2009
  • April 2009
  • March 2009
  • February 2009
  • January 2009
  • December 2008
  • November 2008
  • October 2008
  • September 2008
  • August 2008
  • July 2008
  • June 2008
  • May 2008
  • April 2008
  • March 2008
  • February 2008
  • January 2008
  • December 2007
  • November 2007
  • October 2007
  • September 2007
  • August 2007
  • July 2007
  • June 2007
  • May 2007
  • April 2007
  • March 2007
  • February 2007
  • January 2007
  • December 2006
  • November 2006
  • October 2006
  • September 2006
  • August 2006
  • June 2006
  • May 2006
  • April 2006
  • March 2006
  • February 2006
  • January 2006
  • December 2005
  • April 2005
  • February 2005
  • January 2005
  • December 2004
Copyright © 2026 keeping simple. All rights reserved. Theme Spacious by ThemeGrill. Powered by: WordPress.