Viewing profile — bvssvni

I tried to get Jonathan Blow engaged in the Rust RFC process to improve productivity for gamedevs. However, he thought it was a better idea to start working on his own language (Ja…

Logic by default does not have a bias toward consistency. The bias is added by people who design and use mathematical languages using logic. It does not mean that the theory you ar…

Yeah, this is too imprecise. I tried to translate to your terminology, but failed. My system uses "tautological equality" and this allows me to treat them the save way for all taut…

I want to reason hypothetically, which is why I don't use syntactic equality. I only use syntactic inequality in a very limited sense, e.g. two symbols `foo'` and `bar'` are symbol…

In mathematics, the roof holds up the building, not the foundation. Since humans use mathematics a lot, we design foundations to our specific needs. It is not the building we are w…

> Does `a^b` mean `a` is provable in all worlds in which `b` is valid, i.e. taken as an axiom in the underlying proof theory, or something like that? Yes. You can also think of it …

> Something being random and/or undetermined is not sufficient for it to be like a qubit. You need the linear algebra aspect for the name to be appropriate, IMO. Naming things is h…

> Are you saying that Löb's axiom, which states that the provability of "the provability of p implies p" implies the provability of p, necessarily prejudices some implicit assumpti…

I think the most exciting work in mathematics today is in the formal foundations. However, I can also understand mathematicians who are thinking like this: 1. I only need normal co…

> I guess you just meant "the notion of provability is the same as the one that would later be described in Provability logic" ? yes > I viewed the page you linked, but I don't see…

I'm implementing it in this project: https://crates.io/crates/hooo

One thing I would like point out with Gödel's incompleteness theorems, is that there are different notions of provability. Gödel uses the notion of "provability" you get from Prova…

Is your goal to have as few axioms as possible, or as few syntactic constructions as possible?

The foundations of mathematics are all about language design. To answer this question, one must say something about which language a foundation of mathematics is using. For example…

This update changes the PSI implementation (path semantical logic) to use a safe model of path semantical quality. The problem previously was how to handle reflexivity without symb…

Link /r/rust thread: https://www.reddit.com/r/rust/comments/9x5uvk/advancedresear...

This is a scripting language I've been working on since 2016. Originally, I did not plan to make a language, but I had a couple weeks available for some project while waiting for G…

This is not just about applying universal basic income, negative tax etc. The algorithm fine tunes the whole economy using a single parameter. People can vote on the inequality lev…