a mystery solved

[minoanmiss]

Today at work the computer programmers explained to me how set theory underpins computer languages. That was nifty to finally find out.

I don't quite think I can pass on the explanation as yet, though. Anyone who can and wants to, feel free!

Comments

[amaebi]

Set theory is logic. Logic runs computers.

[mdlbear]

Fun!

I've been picking up a little category theory, which is one way of looking at functional programming.