Does it make sense to learn Logic? Or is it entirely unrelated to Mathematics?
Should somebody learn Logic if they want to learn Mathematics?
>>8757881
(Almost) all proofs are based on logic, so yes, you need logic if you want to do mathematics
>>8757881
In Cs Logic is very important
>>8757881
Yes
>>8757881
logic = philosophy = mathematics
You can't "learn" logic. It's an ability that should already be found in your brain. Mathematics just provides ways to express logical structures and proofs on paper.
>>8757881
OR is pleb tier operator. It's all about those AND and NOT operators.
>>8757881
Logic is pretty important. Any mathematics curriculum will have a first semester class that starts by teaching propositional logic and then to translate propositional tautologies into first order meta-theorems.
Mine was called "foundations". Good times. I didn't realize it until a year later but fuck, that course really made me better at proofs. The difference is incredible. I love that professor now.
>>8757881
You have a misperception of what logic is. Logic is not divorced from mathematics, because it is a field of mathematics.
Research in logic includes recursion theory, model theory, proof theory, category theory, and is used heavily in areas like theory of computation.
You'll find a lot of logic used in theoretical CS in areas like automated theorem proving and so on.
You're misperception is like asking if one should learn algebra (abstract) if they want to learn math.
Typing on mobile and do not have the patience to delete the comment, and then repost with my corrected your* due to autocorrect mistakes >>8758152
>>8757908
>almost
Which proof doesn't use logic?
>>8757881
All the logic gates we need are invented already. There's no point studying a subject if it has no more room for advancement.
>>8758152
>logic is a field of mathematics
Logic is a field of philosophy and mathematics is a field of logic.
>>8757915
Shouldn't take more than a few weeks to learn all operators, all rules of inference and all rules of substitution. So yeah go do it.
>>8758038
>implying and, xor etc.. can't be constructed from just 'or' & 'not'.
>pleb
Pick both.
>>8758325
> There's no point studying a subject if it has no more room for advancement.
lol. if this is not bait pls kys
>what is boolean algebra
>>8757915
Please pick up a book on formal and symbolic logic. It is arguably the most fundemental field of philosophy, and forms the foundation for every single belief we hold in mathematics and science.
>>8758152
You've got it backwards. Logic is the basis on which we build mathematics. All the assumptions we make in mathematics can only be made because they have been built on simple consistent logic.
That said all of the best logicians are also mathmeticians and vice versa.
>>8758075
This
In my naive sophomore opinion formal logic (like analysis) really helps you become comfortable with proofs. Also (like most of math) it's incredibly interesting