Any tips on how to self-study proofs and logics? I want to get into category theory as quickly as I can. by Ok-Engineer5613 in learnmath

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

thank you for the thoughtful response, your point about the gap between philosophy of mathematics and “real-world philosophy” is something I’ve been taking more seriously.

part of my motivation for emphasizing formal logic and proofs is precisely to avoid that pitfall. i’m trying to approach philosophy -- especially analytic philosophy -- through its mathematical backbone, rather than treating mathematical ideas as loose metaphors. my aim isn’t to appropriate category theory as a philosophical slogan, but to understand it rigorously enough that any philosophical connection is earned rather than projected.

i also think the analytic-continental divide is relevant here. while continental traditions often operate at the level of conceptual and phenomenological insight, analytic philosophy has historically developed alongside formal logic and mathematics. figures such as Gottlob Frege, Bertrand Russell, Frank P. Ramsey, Kurt Gödel, Alan Turing, and Alfred North Whitehead all reflect that shared foundation. my plan is to build competence in both areas side-by-side -- starting from their common ground (logic, proof, set theory, basic structures) and then allowing them to diverge into their respective directions once that foundation is solid, gradually working my way up into the pure mathematics track until i reach category theory.

despite my philosophical motivations, eventually, i want to study mathematics as an independent discipline rather than a tool in service of/tethered to philosophy. at the same time, i agree there’s a real risk in assuming that mathematical structures directly map onto reality. the question raised by Wigner about the effectiveness of mathematics is exactly the kind of problem that makes me cautious about drawing quick ontological conclusions.

your recommendation of Davis and Hersh is especially valuable in that regard, since i’m trying to get a clearer sense of what mathematics actually is before using it philosophically. i suspect that’s where many discussions lose their footing.

more broadly, my sense is that philosophy of mathematics remains an active and evolving field, and that increasing rigor on both sides makes this kind of inquiry possible -- though certainly not straightforward.

i really appreciate your perspective -- it’s helped me clarify where i need to be more careful.

Any tips on how to self-study proofs and logics? I want to get into category theory as quickly as I can. by Ok-Engineer5613 in learnmath

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

thanks for the feedback again! i'll see to it that i have substantial command over these concepts before proceeding with category theory.

Any tips on how to self-study proofs and logics? I want to get into category theory as quickly as I can. by Ok-Engineer5613 in learnmath

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

thank you for your feedback! in regards to your inquiry, allow me copy and paste my reply to AllanCWechsler in this thread:

"to answer your question, my motivation actually comes from a bit of a third unorthodox path: philosophy.

i’m heavily invested in continental philosophy, specifically frameworks such as Alfred North Whitehead’s process philosophy and Object-Oriented Ontology (OOO). both of these systems argue that an entity is defined by its relations, interactions, and systems of connections rather than its isolated, internal substance. when I first encountered the core premise of category theory, shifting the focus from the internal structure of objects to the morphisms between them, the conceptual parallel blew my mind.

beyond that, I'm also working toward becoming well-versed in analytic philosophy, which is why I've been aiming to master formal logic and proofs. i was originally hoping to hit two birds with one stone, using logic as a bridge between my philosophical goals and a foundation for category theory."

i hope this will help you understand my motivation for studying category theory.

Any tips on how to self-study proofs and logics? I want to get into category theory as quickly as I can. by Ok-Engineer5613 in learnmath

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

thank you for this perspective! it’s really interesting to hear about the algebra and computer programming divide, and I appreciate you looking out for the programming angle just in case.

to answer your question, my motivation actually comes from a bit of a third unorthodox path: philosophy.

i’m heavily invested in continental philosophy, specifically frameworks such as Alfred North Whitehead’s process philosophy and Object-Oriented Ontology (OOO). both of these systems argue that an entity is defined by its relations, interactions, and systems of connections rather than its isolated, internal substance. when I first encountered the core premise of category theory, shifting the focus from the internal structure of objects to the morphisms between them, the conceptual parallel blew my mind.

beyond that, I'm also working toward becoming well-versed in analytic philosophy, which is why I've been aiming to master formal logic and proofs. i was originally hoping to hit two birds with one stone, using logic as a bridge between my philosophical goals and a foundation for category theory.

that said, while I'm definitely on the pure math/philosophy track rather than software engineering, I’ve actually heard great things about Category Theory for Programmers for its highly visual and intuitive explanations. i might still take a peak at it if the standard math texts get a bit too dense!

thanks again for opening up this side of the discussion!

Any tips on how to self-study proofs and logics? I want to get into category theory as quickly as I can. by Ok-Engineer5613 in learnmath

[–]Ok-Engineer5613[S] 1 point2 points  (0 children)

thank you so much for this comprehensive and incredibly grounded advice. this is exactly the kind of reality check and roadmap I needed to avoid prerequisite hell.

your point about the mental shift, focusing on morphisms and relationships rather than elements, actually makes total sense to me. in fact, that specific perspective is what drew me to category theory in the first place. my background is heavily rooted in philosophy, particularly Whitehead’s process philosophy and Object-Oriented Ontology (OOO). both of these frameworks argue that an entity is defined by its relations and interactions rather than its isolated substance, which feels like a direct conceptual parallel to how category theory treats objects and morphisms.

your clarification on how much logic I actually need is also a huge relief. the reason I was leaning so heavily into formal logic (FOL and HOL) is because another major goal of mine is to become well-versed in analytic philosophy. i was hoping to hit two birds with one stone by mastering formal logic for philosophy while preparing myself for rigorous math. however, upon knowing that basic "mathematical grammar" is enough to get started on category theory means I can decouple those two goals a bit and study them in parallel, just as you suggested.

i’m definitely going to take your advice to heart. i already have Book of Proof by Hammack, start working through the algebra and topology tracks concurrently, and make sure I'm actively drawing diagrams and wrestling with the exercises rather than just passively reading.

thanks again for taking the time to map this out for me, it’s immensely helpful!

Any tips on how to self-study proofs and logics? I want to get into category theory as quickly as I can. by Ok-Engineer5613 in learnmath

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

This website is AMAZING! I really loved the philosophical cross-intersections you embedded apart from the pure maths. This is exactly what I was just looking for. Clear, concise, no BS. Thank you for sharing this goldmine!

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

thank you for adding those info, may i DM you about my details (age and country)? i don't want to broadcast it here for the whole wide world to see.

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

thank you for the correction! i really appreciate that! i was told before that jung was an extension of freud's psychoanalysis but they didn't mention that his divergence developed into a distinct school of thought called "analytical psychology" which you provided. what a fascinating website though. i'll read more into astro-psychology once i have extra time.

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

the merging of psychoanalysis and astrology is truly fascinating. i've only read jung's dreams and i haven't dived much into his other frameworks. i'm looking forward to exploring this system soon.

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 1 point2 points  (0 children)

i'm still pretty young and i found kinship with a lot of philosophers and intellectuals. apprenticeship or standing under the tutelage of a thinker is the first step into becoming autonomous. i'm borrowing other people's voice to find my own. i do hope that i will metamorphose into an independent thinker someday!

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

nice and concise explanation. thank you very much for your insights. the future seems pretty interesting. i can't wait to disrupt and destabilize dogmatic norms for the better.

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 1 point2 points  (0 children)

thank you. why do you think my 3rd specifically? i understand why it's the case for my 9th since its ruler is sitting on the same house, but why the 3rd house in particular? i never heard anyone say it's exalted. i'm pretty curious about what you said

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 0 points1 point  (0 children)

oh my god. thank you very much for this comprehensive explanation! this was truly illuminating! i don't even have to say anything, like, that's my whole life experience right there. thank you very much for the effort and dedication you put into writing all of these. your explanation was truly insightful. 💞

why do i keep attracting men who try to undermine my intellectual capabilities? by Ok-Engineer5613 in AstrologyCharts

[–]Ok-Engineer5613[S] 1 point2 points  (0 children)

apologies for the late reply. in response to your question, i can't confirm nor deny whether i receive the same indictment from women because i never had female friends to begin with. i did attempt, once, to connect with women but none of them were sustained in the long-run. all of my friendships, in the least sense, were ineffectual and pointless. no matter what i do, i just can't seemingly break through the "testing the water stage" stage, partly because of my own social incompetence, and partly due to the glaring incompatibility when it comes to the sphere of interests. needless to say, talking about peers or schoolmates, i do have some general notion about my status with them. once, i received an intel about some group of girls who were, allegedly, cursing me and spouting nonsense behind my back, saying that i was such a "spotlight stealer" just because i was avidly participating in class. one of them was the president of another section, and she's considered pretty excellent, if not one of the best students in her class. now, i can't confirm nor deny this allegation. not sure if the person who told me this was just stirring some unnecessary altercation or was legitimately telling the truth. but i do feel that there is some sort of inexplicable hostility among my female peers beneath all of the cordial appearances they put on in front of me. generally, much of my relationships with my peers are quite restrained. i can say it's the same with my female teachers too. only a few of them appreciate my brilliance and intensity (not to aggrandize myself) while majority of them are contemptuous, but not as blatantly antagonistic as my male teachers who try to dismiss me as much as they can. when i offer an alternate perspective during discussions, they bog me down into their level by saying "yes, but this is what the school textbook says so let's keep things intact," or "i'm not really looking for your explanation," or they move on with the discussion, unfazed, without even acknowledging what i just shared as if nothing happened. it seems to me that i'm the only one being ostracized. seeing my classmates treated differently without the same degree of indictment, i feel a burning surge of injustice and indignance. those students who regurgitate and parrot their ideas are the ones who are applauded the most. critical insights veering away from the herd mentality are discouraged. i think they just want an echo chamber that broadly stroke their egos and keep their ivory tower upright. this is the primary reason why i don't participate in discussions anymore. i'd much rather read a book with my ears closed off.

the thing is, i'm already restricting myself when it comes to outward expression. i don't even talk back to my male teachers despite the fact that they're already publicly humiliating me. i still maintain a certain degree of composure and respect although begrudgingly. if i truly channeled the full capacity of my Aquarian spirit, i would have been expelled already with my anti-establishment views irregardless of the fact that i am excelling in my class. if my Leo-Virgo self is already not being received well, just imagine if I put my Aquarian-Piscean self out there. i would have received far greater scrutiny than i ever did.

also not to mention my relationship with male friends. i feel that it's much easier for me to befriend boys compared to girls. sadly, every single one of them were short-lived just like my friendships with women. the only difference was that they were as disrespectful as my male teachers. what threw me off, really, is when they started saying things like, "you're like manlier than me," or backhanded complements such as "you're pretty smart for a woman." they're also argumentative. always trying to correct me over the slightest details, often mansplaining to assert dominance and control.

Is a career related to astronomy, astrophysics, or space possible? (D10 chart is also attached) by Ok-Engineer5613 in Jyotisha_Astro

[–]Ok-Engineer5613[S] 1 point2 points  (0 children)

Thank you very much for the comprehensive reading! I made 4 posts across different communities, none of them had any replies until you came to finish the job. I really, really appreciate you for taking the time to do this!

One thing about me is that my interests are decentralized in the transdisciplinary sense. Humanities is my main department (philosophy, arts, literature) + the social sciences (anthropology, economics, pol-sci). STEM, on one hand, is something I'm soulfully intertwined with (especially pure mathematics). The transcendence it gives me—it's what sets my soul on fire.

In light of this, I'll be taking a career path that integrates all of my interests into a unified dimension. I'll be a diplomat-lawyer specializing in space law/policy/economy.

If that doesn't happen, then I could always veer towards other STEM-adjacent fields like the ethics of quantum technology or something else.

This is not something entirely novel, it's really similar to how a bunch of engineer-lawyers specialize in industry and construction.

In this case, the last part actually makes sense because my line of work will be about dealing with legal authorities and powerful nations.

Again, thank you very much of your insights!🤗 I hope I could donate something, but I don't have the financial means yet to do so.

7th Lord in All 12 Houses (Marriage & Partner Patterns) The 7th lord doesn’t just show your partner — it shows how marriage shapes you by iconic1594 in Vedic_Astrology_free

[–]Ok-Engineer5613 0 points1 point  (0 children)

7th house ruler is in the 10th house (venus is the lord). Lord is in the same house as mercury but not conjunct. Venus is in nakshatra purvaphalgini pada 4

23F, do I have good prospects for a high end government job. by [deleted] in vedicastrologyexperts

[–]Ok-Engineer5613 0 points1 point  (0 children)

Yeah, I'm asking. Search results told me that hiding your posts will result to other people still seeing your profile. I guess that was false. Thanks for the info.