@foomagemindset I would think that it would be like a human, it might help somewhat but you still do not know everything about yourself even if you had a live MRI scan for you to watch 24/7
@godspeed_aflame Yes, when I actually read his paper, I was pleasantly surprised to see that there was no defined notion of “truth” needed
It just needed recursive
@MatjazLeonardis The idea is more that if you understand exactly what it is then you’re able to define exactly it’s boundaries and represented inside of a formal system
Their may be other valid ways to understand or formalize it but you can argue that those are separate, albeit different, ideas
@HughAndFree The point I’m making here is that the limits of formal systems means much more than just the limits of logic. It is the limit of what anything could do.
Learning some extremely basic Metamathematics and model theory fundamentally changed the way I think and understand the world.
It’s basically the rigorous philosophy of language stuff. I now better understand the structure and limits of thought
@HughAndFree That’s fine, the style of thinking doesn’t change the limitations. If something isn’t impossible, it remains impossible
thinking in pictures is still isomorphic to a more complicated formal system
You can also represent hazy things have different levels of expressive capacity
@HughAndFree However, we can still know what universe of numbers we intend to talk about using some sort of higher order logic that doesn’t actually let us prove things.
There’s a trade-off between expressive capacity and proof ability in a system, this trade-off exists while you think too
@HughAndFree Nothing can break the rules, there is no recursively innumerable system that can represent all truths about numbers. Your brain is subject to the same limitation
@HughAndFree Tbh, i’m not sure which claim you’re referring to, the riggrios philosophy of language part, the structure of thought part, or the fundamentally changing the way I think part?