There are ideas and theories that are entirely plausible but cannot be proven with our current tools of logic and our current understanding of science. My seeds The surviving branch and Phenomenological homotopy fall into this category as well.
Is there something to be extracted from them? Might it mean something for existential relativity (observer-independent created realities or maybe multiple views of the one underlying substance etc.)?
Can we divide them somehow epistemologically?
- Unprovable regardless of the level of knowledge some entity might reach. Can we ever be sure of unprovability?
- Open or provable through future discoveries
They might share similarities with open problems in mathematics and logic.