I missed the concept of "proofs" in highschool.
I'm a programmer right now and something tells me they are valuable to my interest in pattern finding.
I was reading this wiki page about basic proofs, but there is something I did not understand.
It's extremely simple, I'm sure, but I don't want to jump to assumptions.
So here it is
"If x is odd (not even) then x = 2k + 1 for an integer k."
Does this mean "make K any integer"? The language used isn't intuitive.
Thanks for any help.