Most practical first-order theories have no computable models. However, we can relax the definition of "computable" a little bit by allowing the program to backtrack and change its previous output, so long as for each finite subset of its output, it eventually settles on an answer. It turns out that...
I wrote a comment that captures a core part of what I'm trying to explain, so I will copy it here in its own post. > If we take as assumption that everything humans have observed has been made up of smaller physical parts (except possibly for the current elementary...
Introduction Aside from the lowest levels of physics itself, effectively everything that humanity has studied scientifically has been found to reduce to smaller physical parts. This idea is strongly backed by many, many, observations. Because this idea is strongly backed by evidence (which I will not list here), it follows...
Warning: The argument in this post implies bad things about reality, and is likely to be bad for your mental health if it convinces you. If you're not sure if you can handle that, consider skipping this post for now and coming back later. Introduction At my best, when I...