9 ms·
Formal Abstracts: Express Results of Math Publications in Computer-Readable Form
- williamstein 8y agoOne of the most important research projects right now!
- deleted 8y ago[deleted]
- AndrewOMartin 8y agoI sense Gödel lurking nearby. Isn't a formal system for describing maths guaranteed to be either incomplete or inconsistent?