Hey, I've registered here after having been encouraged to by Blackhole and Acey from time to time. I'm aradial-symmetry on tumblr, if you recognize me from there. As you can probably tell, I really like Homestuck (and Aradia in particular) - it's my one big fandom at the moment. I've made some cute grub plushies that I am very proud of (and enjoy hugging a lot). Other than that I tend to be into nintendo games (right now Animal Crossing and Hyrule Warriors are the ones I play the most, and I just got started with Pokemon Go). And I'm a mathematician so I spend a lot of time thinking about and getting excited by and/or frustrated at various math things. And on the other side I have some mental health things I've been struggling through - lots to go into there but the tl;dr is that I grew up with a mom who was super controlling and overbearing and disempowering, and that's led to a bunch of things like having trouble connecting to people or being able to feel like I can find support and things like that. But I've heard this is a good forum for talking about these things so yay :V
Yo, welcome to the site- Redglare? Emu? A-S? Aha, let me know which one to go with here. But yes, welcome to Kintsugi! It's a great place and I hope you like it. :)
Thanks for the welcomes! And Blackhole - "emu" would probably be best for here since it's my username, I'd respond just fine to the others but it might get confusing to anyone else :P
Hello there! There's a mathematics thread in the general chatter forum that you might be interested in. I really enjoyed formal logic*, but aside from that, most math isn't my thing. *Linguistics and logic have more overlap than I initially expected
Heh, I'm already ahead of you, I found that thread earlier and just made a quick post there :P. But thank you! And huh, how does formal logic overlap with linguistics? I don't think I've heard about that before.
Set theory is one part of it (maybe set theory isn't officially formal logic, but I did them both in the same class) - you get a lot of that in semantics. e.g., a calf is a member of the set of cattle, which is in turn a member of the subset of domesticated animals, which is in turn etc. etc. It's more obvious with phonology, though, where you get a bunch of "if x then y". e.g., in English, /z/ is the default pronunciation of -s at the end of a word (dogs, iguanas), but if the sound before the s is also an unvoiced consonant (p, t, k, f (but not s)), it is pronounced s instead. It just gets written out differently in linguistics; you'd see "z->s/C[-voice]_#" (z becomes s in the environment after an unvoiced consonant at the end of a word) (The little bit in square brackets should go under the C, but I can't get it to align properly)
All alright, that makes sense! And now that I'm thinking about it I do remember that there's also a lot about formal languages that overlaps between logic, CS, and linguistics. Cool stuff. (And... well personally I'd consider set theory and formal logic separate I guess? They're very much intertwined though, since each one is best formalized in terms of the other, and then you build up all of the rest of math on top of those as the foundations - which is why you usually see them together. But they start to diverge when you get into more advanced topics.)
For those who don't know, @Emu is actually a really good friend of mine, so I feel like making the occasional jab is okay here. :P Seriously though, welcome!
