The Rising-Sea Theses: Twelve Theses on Mathematics and Machine Reasoning
Source files
root filethe-rising-sea-theses.tex · root file80 KiB · SHA-256 8a2be9decf01cb09… · view text
auxiliary filefig-chain.pdf6.8 MiB · SHA-256 f37740b3fffeba3b… · raw download withheld by file policy
auxiliary filefig-chain.tex226 B · SHA-256 dec60b7ad4113ab3… · view textauxiliary filefig-relations.pdf6.7 MiB · SHA-256 5a4653f17935439e… · raw download withheld by file policy
auxiliary filefig-relations.tex1 KiB · SHA-256 baff7e2f2a0dedef… · view textauxiliary filefig-theses.pdf7.9 MiB · SHA-256 27e7116ffd305142… · raw download withheld by file policy
auxiliary filefig-theses.tex1 KiB · SHA-256 a42c6d43314cf9b5… · view textauxiliary filefig-triangle.pdf6.4 MiB · SHA-256 dbdfe1ceaec0a428… · raw download withheld by file policy
auxiliary filefig-triangle.tex573 B · SHA-256 bde40d6e6717efca… · view textauxiliary filefig-works.pdf6.6 MiB · SHA-256 a4df74f99609b98b… · raw download withheld by file policy
auxiliary filefig-works.tex226 B · SHA-256 649bd30d4ab42403… · view textauxiliary filers-header.tex8 KiB · SHA-256 82978d42daa1f523… · view textauxiliary filers-microtype.tex3 KiB · SHA-256 0683cb6fdfbfd4fb… · view textauxiliary filers-unicode.tex2 KiB · SHA-256 bbd4368ec6a03c80… · view text