3 ms·
What is that dream? I don’t know much about it
by mettamage 3mo ago
What is that dream? I don’t know much about it
- ylliu 3mo ago[dead]
- sigmoid10 3mo agoMathematics in the sense of a complete set of axioms can't, but human research into mathematics apparently just needed enough compute to achieve the same output as a high-tier faculty.
- jrflo 3mo agoMathematics not being axiomatically complete doesn't mean you can't have crazy progress from a formalized and mechanized systems. It just means that there are corners you can't reach mechanically, but we don't know if those corners are at all interesting or not. It could be the case that 99.99% of useful math can be found mechanically.
- thrance 3mo agoThe Entscheidungsproblem. Basically, is there an algorithm such that, taking an arbitrary statement as input, can output wether it is true or false? Turing and Church both independently proved that no such algorithm exists. https://en.wikipedia.org/wiki/Entscheidungsproblem https://en.wikipedia.org/wiki/Entscheidungsproblem