Over 15 years, across dozens of machines in various homes and organization? Unlikely.
I do have a big difference of stability depending of the OS and app though. Windows LO is more stable than Linux LO, and Draw is more stable than Calc, which is more stable than Writer.
I think its much funnier, but also completely different. It’s a sketch show, not a narrative.
But I tend to watch it the whole series every month or so. It’s fun to put on in the background.
I feel like the brain surgery sketch is very close to the perfect sketch. It’s a simple joke, you can see where it’s headed before it gets there, but it’s still executed well.
I just watched that one and it looks good enough. I was hesitant because Youtube clips aren't always representative of clip shows. Even WKUK's most popular videos don't line up with the funniest.
Presymbolic computation appears to me to be an invented term. Any theoretical or actual system can be framed in computational terms when analysed, but the properties provided through the use of symbols will still exist in a system, whether or not that analysis has been performed. The paper you cite appears to me to lean in the direction of cybernetics and control theory, that would naturally be able to translate into terms aligned to information theory. The same rules will apply to any physical system, no matter how complicated you believe it to be.
in any case, there seems to be a difference in describing a system with symbols and computational systems that use symbols for information processing. Some information processing seems possible in systems that don’t use symbols.
Where and when information exists so do symbols, in the abstract sense. It’s not symbols as representation of meaning but symbols as mediating meaning.
That’s a strong claim that is not common. Humans are generally considered to be the only animals capable of symbolic thought [1]. Information flows in far simpler systems than symbolic systems.
Human understanding of cognition is not yet at a level that enables the creation of a program or system for general automated theorem proving. Much work has been required to create existing systems for very narrow problems. Technology has not reached a level where artificial intelligence systems can undergo the equivalent of millions of years of evolution to achieve an equivalence to general human intelligence; this may not even be achievable.
As for some “magic glasses” mathematical proving tool, it is probably inside the chocolate teapot on the other side of the sun.
