User:Ukeharu
Jump to navigation
Jump to search
Introduction
Heyo! I'm Haruka (just call me Haru) :D
I'm currently reading a double degree in Pure Mathematics and Philosophy (interrupted by conscription). I'm interested in mathematical and philosophical logic, formal semantics, epistemology, theories of meaning, ontology of objects, logical metaphysics, and philosophy of mathematics.
My Esolangs
Splaytime: a Turing-complete esolang using splay trees and loosely based on Brainfuck.
Contact and Websites
(Academic links have my deadname)
Discord: @shouharuka
Youtube: https://www.youtube.com/@shouharuka
ORCID: https://orcid.org/0009-0004-9227-796X
ResearchGate: https://www.researchgate.net/profile/[deadname]-49
PhilPeople: https://philpeople.org/profiles/[deadname]