6 citations · 12 across the 8 of their papers we have counts for
8 papers
John von Neumann's 1950s Change to Philosopher of Computation
Steven Meyer
John von Neumann's transformation from a logician of quantum mechanics (QM) in the 1920s to a natural philosopher of computation in the 1950s is discussed. The paper argues for rev…
A Popperian Falsification of Artificial Intelligence -- Lighthill Defended
Steven Meyer
The area of computation called artificial intelligence (AI) is falsified by describing a previous 1972 falsification of AI by British mathematical physicist James Lighthill. How Li…
Philosophical Solution to P=?NP: P is Equal to NP
Steven Meyer
The P=?NP problem is philosophically solved by showing P is equal to NP in the random access with unit multiply (MRAM) model. It is shown that the MRAM model empirically best model…
CVC Verilog Compiler -- Fast Complex Language Compilers Can be Simple
Steven Meyer
This paper explains how to develop Verilog hardware description language (HDL) optimized flow graph compiled simulators. It is claimed that the methods and algorithms described her…
Adding Methodological Testing to Naur's Anti-formalism
S. J. Meyer
Peter Naur is the leading critic of formalist computing because of his extensive writings that disprove the now dominate characterization of human thought as cognitive information…
Misbehavior in Mobile Application Markets
Steven Meyer
Mobile application markets facilitate the distribution of applications and thus help developers advertise their work and customers find useful applications. In addition, the operat…