I’m developing a mathematical framework called Constructive Operational Type Theory (COTT). Its core constraint is simple: every fundamental operation is total and reversible.
So, I’m posting here because I’m looking for feedback, advice, collaboration, etc. I’m a software engineer and the only formal training I’ve received in math was more than a decade ago, in high school. I’m a self-taught software engineer by trade, so I’m not an idiot, but… I’m not a mathematician, and this theory has quickly outgrown my expectations. It went from “what would math be like if it was designed by a software engineer?” to “Huh, that’s weird, I just re-invented complex numbers!”
I’m happy to answer questions, work out specific examples, learn about other theories, discuss problems or inconsistencies in COTT, discuss potential applications, or where I should take this theory next.
A Mathematics Without Undefined Operations: Constructive Operational Type Theory (COTT)
I’m developing a mathematical framework called Constructive Operational Type Theory (COTT). Its core constraint is simple: every fundamental operation is total and reversible.
I published my “beigepaper” on Github: https://sibarum.github.io/cott/intro/
So, I’m posting here because I’m looking for feedback, advice, collaboration, etc. I’m a software engineer and the only formal training I’ve received in math was more than a decade ago, in high school. I’m a self-taught software engineer by trade, so I’m not an idiot, but… I’m not a mathematician, and this theory has quickly outgrown my expectations. It went from “what would math be like if it was designed by a software engineer?” to “Huh, that’s weird, I just re-invented complex numbers!”
I’m happy to answer questions, work out specific examples, learn about other theories, discuss problems or inconsistencies in COTT, discuss potential applications, or where I should take this theory next.
Thanks!