In his blog post Computational Theology (4 September 2014), Samuel Arbesman notes that Oppenheimer and Zalta have used computational methods to discover a very simple argument in philosophy, whereas computational methods are more frequently used to discover complex arguments.