{"version":1,"work":"machine-native-mathematics-essay","title":"The Possibility for a Machine Native Mathematics","source_revision":"f49e00d6088bbc8dca4f8a3a70b232db1eea085b","sources":[],"pdfs":[{"repository_path":"research/machine-native-mathematics-essay/The_Possibility_for_a_Machine_Native_Mathematics_v10.pdf","url":"read/machine-native-mathematics-essay/the-possibility-for-a-machine-native-mathematics-v10-afb8fe7cd1df.html","sha256":"dfe58e51a85e008bc7f23885da8453b08201753d6d3dc4bcdb05d339d10a5920"}],"passages":[],"entries":[]}