OK, that thread is from last year, before HOOO EP was completed. HOOO EP is now completed.
You should not be confused by the term “Path Semantics”, as this is the name of my project. The foundational level of Path Semantics is a set of logical languages consisting of IPL, HOOO EP, PSQ and PSI.
Of course HOOO EP is a made up term. I am the person who invented it. However, the Prop library contains stuff about IPL, which is not something I invented. You don’t have to understand HOOO EP to trust that IPL is previous work, as it is well established field. Consider HOOO EP a contribution I have done to Type Theory. The same for PSQ and PSI. PSQ is fully formalized and PSI is almost completed.
It takes time to publish research. The foundation work in Path Semantics is not yet completed, but it is getting closer now as it can model functional programming using the “types as propositions” approach known from Category Theory. There is a link between Path Semantics and Homotopy Type Theory, but this is not yet formalized. I will visit Henri Pointcare Institute this year, as they have the best collection in the world of work in topology.
Let me break down Kent Palmer’s paper for you: Zizek saved Lacan’s sexuation formulas from the dustbin of history and connected it to work of Derrida. There is an ongoing program in Continental Philosophy where these ideas are being developed. I am not part of this development. However, I helped Kent Palmer to formalize his Schema Theory in propositional logic and developed a grammar of “maximal mathematical languages”, which is generalization of Gödel’s Incompleteness Theorems extended with results from philosophy of the past century. Kent Palmer is a veteran in this field and is perhaps one of the few people in the world that know the work 6 modern philosophers in great detail. He is hosting reading groups in philosophy and Applied Category Theory. “Nilsen theories” is his naming of the Inside/Outside distinction I used to introduce an underlying structure in the formalization of his Schema Theory. The name “Schema” goes back to Emmanuel Kant, hence the reference to Antimonies of Kant.
The name “Seshatism” comes from the Anti-Thoth argument of Daniel Fischer based on Plato’s writings. Thoth was an ancient Egyptian god credited with invention of writing. His female consort, Seshat, was also credited invention of writing by some believers, but this was forgotten by history at the time of Plato. The Anti-Thoth argument is about language bias introduced by the core axiom in Path Semantics, which can be thought of as a kind of Platonic bias. The corresponding anti-bias is dual-Platonic, but I did not want to negate Platonism as there was a whole philosophy and mythology in ancient Egypt that was dual to the later Platonism. Therefore, I named it “Seshatism” after Seshat.
If you are reading a math paper from a researcher that is at the top of their field, then it is very likely that you need to spend a lot of time absorbing the ideas and learn new concepts. This is just natural. I estimate Path Semantics is more than twice as hard to learn than e.g. IPL. I am trying to flatten the learning curve, but there is only so much I can do and I need to complete the foundation first.
You can also take a look at Avalog, which is an implementation of Avatar Logic. I made it from scratch, using my own experience building automated theorem provers. I took the work of Barry Jay about Closure Calculus and formalized it in Avalog. I also formalized an example of MIRI’s research into Cartesian Frames, which is Chu spaces. This was just a test run to check whether Avalog made it easier to formalize modern research in mathematics.
So, this is the level of expertise that I work on a daily basis. When somebody like you that claim this is generated by GPT, you can’t expect me to take you seriously. I don’t know anything about your background, so if I try to explain my own research to you, it’s like shooting in the dark. If somebody doesn’t understand what IPL is, so what? I got research to do and it’s not wrong of me to share things about it. There is a reason the organization is called AdvancedResearch!
I am not good at writing papers, but the papers uploaded are work documents. They are used internally in the organization. There has been people like you trying to figure out whether I am a crackpot, but that’s just reddit drama. Good luck with that.
Let me break down Kent Palmer’s paper for you: Zizek saved Lacan’s sexuation formulas from the dustbin of history and connected it to work of Derrida. There is an ongoing program in Continental Philosophy where these ideas are being developed. I am not part of this development. However, I helped Kent Palmer to formalize his Schema Theory in propositional logic and developed a grammar of “maximal mathematical languages”, which is generalization of Gödel’s Incompleteness Theorems extended with results from philosophy of the past century.
One of us seems to be deeply confused about what math is, because I strongly believe that Gödel’s Incompleteness Theorem is not about sexuality or castration. From my perspective, this is some alt-math; a postmodern misinterpretation of how math is actually used (hint: not to make complicated metaphors about penises). If this is actually popular in some branches of academia (which sadly doesn’t sound unlikely), may gods have mercy on us.
Kent Palmer is a veteran in this field and is perhaps one of the few people in the world that know the work 6 modern philosophers in great detail.
Someone who self-publishes on Academia edu (writing about topics such as: “Nine Men’s Morris Game as Structural Analogy for the Western Worldview”, “Did Schelling Discover the Higher Logical Types of Being?”, “Foundational Mathematical Categories and Passive Syntheses in Anti-Oedipus”, “Exploring the Tetractys and what is Beyond at the level of the Site/Event and the Holon within the structure of the Emergent Event”) is the endorsement for your mathematical theories?
Sorry, I previously wasn’t specific, but when I asked for “a scientific paper written by someone else, referring to your paper or to your program”, I assumed someone who does math, or computer science. Not a self-publishing philosopher who uses math as a metaphor for sexuality. Because I want to know whether your writing makes sense mathematically, and don’t really care whether it can or cannot be used as convenient postmodern metaphor.
Could we agree that “math as known to and used by mathematicians” and “math as known to and used by postmodern philosophers” are simply two different things? And while your contributions may be novel and valuable for the latter, this website is about the former. Thus the confusion.
The experts in dependent types I know, think Path Semantics might help provide a better foundation or understanding in the future, or perhaps languages with some new features. We don’t know yet, because it takes a lot of work to get there. I don’t have the impression that they are thinking about Path Semantics, since there is already a lot to do in dependent types.
The reason I worked with Kent Palmer, was because unlike in dependent types, it is easier to see the connection between Path Semantics and Continental Philosophy. Currently, there is a divide between Analytic Philosophy and Continental Philosophy and Kent Palmer is interested in bridging these two.
OK, that thread is from last year, before HOOO EP was completed. HOOO EP is now completed.
You should not be confused by the term “Path Semantics”, as this is the name of my project. The foundational level of Path Semantics is a set of logical languages consisting of IPL, HOOO EP, PSQ and PSI.
Of course HOOO EP is a made up term. I am the person who invented it. However, the Prop library contains stuff about IPL, which is not something I invented. You don’t have to understand HOOO EP to trust that IPL is previous work, as it is well established field. Consider HOOO EP a contribution I have done to Type Theory. The same for PSQ and PSI. PSQ is fully formalized and PSI is almost completed.
It takes time to publish research. The foundation work in Path Semantics is not yet completed, but it is getting closer now as it can model functional programming using the “types as propositions” approach known from Category Theory. There is a link between Path Semantics and Homotopy Type Theory, but this is not yet formalized. I will visit Henri Pointcare Institute this year, as they have the best collection in the world of work in topology.
Let me break down Kent Palmer’s paper for you: Zizek saved Lacan’s sexuation formulas from the dustbin of history and connected it to work of Derrida. There is an ongoing program in Continental Philosophy where these ideas are being developed. I am not part of this development. However, I helped Kent Palmer to formalize his Schema Theory in propositional logic and developed a grammar of “maximal mathematical languages”, which is generalization of Gödel’s Incompleteness Theorems extended with results from philosophy of the past century. Kent Palmer is a veteran in this field and is perhaps one of the few people in the world that know the work 6 modern philosophers in great detail. He is hosting reading groups in philosophy and Applied Category Theory. “Nilsen theories” is his naming of the Inside/Outside distinction I used to introduce an underlying structure in the formalization of his Schema Theory. The name “Schema” goes back to Emmanuel Kant, hence the reference to Antimonies of Kant.
The name “Seshatism” comes from the Anti-Thoth argument of Daniel Fischer based on Plato’s writings. Thoth was an ancient Egyptian god credited with invention of writing. His female consort, Seshat, was also credited invention of writing by some believers, but this was forgotten by history at the time of Plato. The Anti-Thoth argument is about language bias introduced by the core axiom in Path Semantics, which can be thought of as a kind of Platonic bias. The corresponding anti-bias is dual-Platonic, but I did not want to negate Platonism as there was a whole philosophy and mythology in ancient Egypt that was dual to the later Platonism. Therefore, I named it “Seshatism” after Seshat.
If you are reading a math paper from a researcher that is at the top of their field, then it is very likely that you need to spend a lot of time absorbing the ideas and learn new concepts. This is just natural. I estimate Path Semantics is more than twice as hard to learn than e.g. IPL. I am trying to flatten the learning curve, but there is only so much I can do and I need to complete the foundation first.
You can also take a look at Avalog, which is an implementation of Avatar Logic. I made it from scratch, using my own experience building automated theorem provers. I took the work of Barry Jay about Closure Calculus and formalized it in Avalog. I also formalized an example of MIRI’s research into Cartesian Frames, which is Chu spaces. This was just a test run to check whether Avalog made it easier to formalize modern research in mathematics.
So, this is the level of expertise that I work on a daily basis. When somebody like you that claim this is generated by GPT, you can’t expect me to take you seriously. I don’t know anything about your background, so if I try to explain my own research to you, it’s like shooting in the dark. If somebody doesn’t understand what IPL is, so what? I got research to do and it’s not wrong of me to share things about it. There is a reason the organization is called AdvancedResearch!
I am not good at writing papers, but the papers uploaded are work documents. They are used internally in the organization. There has been people like you trying to figure out whether I am a crackpot, but that’s just reddit drama. Good luck with that.
One of us seems to be deeply confused about what math is, because I strongly believe that Gödel’s Incompleteness Theorem is not about sexuality or castration. From my perspective, this is some alt-math; a postmodern misinterpretation of how math is actually used (hint: not to make complicated metaphors about penises). If this is actually popular in some branches of academia (which sadly doesn’t sound unlikely), may gods have mercy on us.
Someone who self-publishes on Academia edu (writing about topics such as: “Nine Men’s Morris Game as Structural Analogy for the Western Worldview”, “Did Schelling Discover the Higher Logical Types of Being?”, “Foundational Mathematical Categories and Passive Syntheses in Anti-Oedipus”, “Exploring the Tetractys and what is Beyond at the level of the Site/Event and the Holon within the structure of the Emergent Event”) is the endorsement for your mathematical theories?
Sorry, I previously wasn’t specific, but when I asked for “a scientific paper written by someone else, referring to your paper or to your program”, I assumed someone who does math, or computer science. Not a self-publishing philosopher who uses math as a metaphor for sexuality. Because I want to know whether your writing makes sense mathematically, and don’t really care whether it can or cannot be used as convenient postmodern metaphor.
Could we agree that “math as known to and used by mathematicians” and “math as known to and used by postmodern philosophers” are simply two different things? And while your contributions may be novel and valuable for the latter, this website is about the former. Thus the confusion.
Maybe you can talk to Eric Weiser, who kindly provided me a proof in Lean 3: https://github.com/advancedresearch/path_semantics/blob/master/papers-wip/semiconjugates-as-satisfied-models-of-total-normal-paths.pdf
The experts in dependent types I know, think Path Semantics might help provide a better foundation or understanding in the future, or perhaps languages with some new features. We don’t know yet, because it takes a lot of work to get there. I don’t have the impression that they are thinking about Path Semantics, since there is already a lot to do in dependent types.
The reason I worked with Kent Palmer, was because unlike in dependent types, it is easier to see the connection between Path Semantics and Continental Philosophy. Currently, there is a divide between Analytic Philosophy and Continental Philosophy and Kent Palmer is interested in bridging these two.