Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I notice that this entry talks a fair bit about “synthetic” (vs. “analytic”) approaches without commenting on this choice of terminology. Should this be linked to synthetic mathematics?
But at some point the entry says:
Here “synthetic” means roughly “requires evidence”
which does not sound like the usual notion of “synthetic”. It sounds more like the usual notion if “constructive”. (?)
Added publication data and link for
1 to 5 of 5