You’re right, we build on the backs of giants. The issue is, typically, anything I discover myself is typically very far below the level where new science can be done OR it is far enough above my current knowledge that I just don’t even know where I’d begin.
Bi intuitionistic logic is the latter category. I was expecting truth tables and instead had to add a ton of words to my vocabulary like “Heyting Algebra” and “Kripke Frame” etc. just to understand what the paper was saying (not that I do fully understand what the papers are saying lol)
You’re right, we build on the backs of giants. The issue is, typically, anything I discover myself is typically very far below the level where new science can be done OR it is far enough above my current knowledge that I just don’t even know where I’d begin.
Bi intuitionistic logic is the latter category. I was expecting truth tables and instead had to add a ton of words to my vocabulary like “Heyting Algebra” and “Kripke Frame” etc. just to understand what the paper was saying (not that I do fully understand what the papers are saying lol)