∑ XahLee@zacts yes, very much into it. in particular, i subscribe to hilbert formalism and russell's logicism. And today, they seem to converge into type theory, with homotopy type theory being the leading. am learning this subject. wish to know it well.
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.