@AkivaWeinberger thanks! I watched some of Doc's videos when I was trying not to fail physics. I bookmarked them for later, they will replace my PBS SpaceTime slot for today lol
@AkivaWeinberger All engineering really is inspired from nature! p-type and n-type silicon sound vaguely familiar from my computer architecture class..
@AkivaWeinberger Awesome! I think I saw the $+$ notation in Axler's book. Although now it seems kind of obvious (doesn't it always?), I hadn't even considered $T - T = S$! It led me to some new insights about solution spaces :D
Basically I'm trying to say that once you have a solution to $AX = B$, you can tack on any vector from the associated homogeneous system and still get a solution. Actually, this might be a better formulation: $(\forall w \in T)(\forall u \in S)((v = w+u) \rightarrow v \in T)$
Say you have $AX=B$ with solution set $T$ and the associated homogeneous system $AX=0$ with solution set $S$. Assuming $T \neq \empty$, then $(\forall w \in T)(\forall v \in T)(\exists u \in S)(w = v + u)$
Hey guys, can anyone familiar with set notation and basic linear algebra (I'm sure all of you are lol) help me out? I'm revisiting linear algebra with a slightly more formal approach and I want to make sure my notes are not pure jiberish.
I got started on math very late, it kind of sucks that I didn't have a good teacher when I was young. But I'm having a lot of fun recovering lost ground
@user21820 holy crap that second link is a great outline, I'll take a closer look later. What is intimidating to me is that even if you have a firm grasp on the formal aspect of logic, you still have to deal with the cognitive/psychological aspect in order to get the big picture of reasoning
@user21820 cool, thanks for the link, its very complete. I studied some logic on my own and I took a 'theory of computation' in school, but I have far from complete knowledge of it I think
I think syntax serves the same role as axioms, no? (if I understand what you mean by syntax) You have to agree on some sort of baseline and build up from there