I tried. I was hoping for something more like:
"a field is something you can add, subtract, multiply, & divide in"
and less like:
"a field is a set that is a commutative group with respect to two different operations (excepting 0), linked by the distributive law".
I need something to hold on to when reading the more formal treatment.
I highly suggest Robert Harper's lectures from the Oregon Programming Languages Summer School. I watched the OPLSS'12 lectures, but I'm sure they're great any year.
I need something to hold on to when reading the more formal treatment.