Worthy successors for The Black Knight.
More like this
Sorry for the delay in the category theory articles. I've been busy with work, and haven't had time to do the research to be able to properly write up the last major topic that I plan to cover in cat theory.
I'm on vacation this week, so I'm posting reruns of some of the better articles from when Goodmath/Badmath was on Blogger. Todays is a combination of two short posts on numbers and control booleans in λ calculus.
One of the interestingly odd things about how people understand math is numbers. It's
astonishing to see how many people don't really understand what numbers are, or what different kinds of numbers there are. It's particularly amazing to listen to people arguing
I've talked about the idea of the size of a set; and I've talked about the well-ordering theorem, that there's a well-ordering (or total ordering) definable for any set, including infinite ones.
LOL! Yep, the robots were real cool! They have come a long way. And with AI and fuzzy logic moving right along the way it is it might not be that far in the future when we have all those robot butlers, etc., they have been promising us for so long! LOL!
Dave Briggs :~)