@user21820 I've been meaning to ask, do you know of any resources I could use to study logics applications to math as opposed to language? Forall x is good but it doesn't cover mathematical expressions very much.
Ive noticed the deficiency quite acutely. The other day I was working through a proof with a friend, and he was able to (using intuition) jump through a series of logical steps which I later was able to verify. The speed at which they accomplished it was a bit of a shock though.
I also noticed it was quite hard for me to deiced which two expressions in normal math where distinct …
Ive noticed the deficiency quite acutely. The other day I was working through a proof with a friend, and he was able to (using intuition) jump through a series of logical steps which I later was able to verify. The speed at which they accomplished it was a bit of a shock though.
I also noticed it was quite hard for me to deiced which two expressions in normal math where distinct …