A Case Study for Leibnizian Ideas in Wolfram Model

We study implications of Leibnizian ideas such as the identity of indiscernibles, and variety (due to Barbour and Smolin) in the context of Wolfram Model, which has been put forward in 2020. We have provided (at the moment) speculative interpretations for Leibnizian and non-Leibnizian hypergraphs. We introduced an action based on variety, to select paths where it is maximized. The specific universe which is of concern here is the one with name ‘wm1268’ from the Registry of Notable Universe Models, which is used as a test case in the present study.