Seed Media Group

Search this blog

Profile

markcc.jpg
Mark Chu-Carroll (aka MarkCC) is a PhD Computer Scientist, who works for Google as a Software Engineer. My professional interests center on programming languages and tools, and how to improve the languages and tools that are used for building complex software systems.

Other Information

Add this blog to my Technorati Favorites!

Recent Posts

Recent Comments

Categories

Blogroll

Old Topic Indices

Great Online Books

Basics:

Basics: Proof by Contradiction

I haven't written a basics post in a while, because for the most part, that well has run dry, but once in a while, one still pops up. I got an email recently asking about proofs by contradiction and...

Basics: Sets and Classes

This is something that came up in some of the comments on the recent "nimbers" post, and I thought it was worth promoting to the front, and getting up under an easy-to-find title in the "basics" series. In a...

Basics: Innumeracy

I've used the term innumeracy fairly often on this blog, and I've had a few people write to ask me what it means. It's also, I think, a very important idea. Innumeracy is math what illiteracy is to reading....

Basics: Binary Search

For the basics, I wrote a bunch of stuff about sorting. It seems worth taking a moment to talk about something related: binary search. Binary search is one of the most important and fundamental algorithms, and it shows up...

Basics: Parallel, Concurrent, and Distributed

This came up in a question in the post where I started to talk about π-calculus, but I thought it was an interesting enough topic to promote it up to a top-level post. If you listen to anyone talking...

Basics: Tautology (with a free bonus rant!)

Today's bit of basics is inspired by that bastion of shitheaded ignorance, Dr. Michael Egnor. In part of his latest screed (a podcast with Casey Luskin of the Discovery Institute), Egnor discusses antibiotic resistance, and along the way, asserts...

Theories, Theorems, Lemmas, and Corollaries

I've been getting so many requests for "basics" posts that I'm having trouble keeping up! There are so many basic things in math that non-mathematicians are confused about. I'm doing my best to keep up: if you've requested a "basics"...

Basics: Modal Logic

I've received a request from a long-time reader to write a basics post on modal logics. In particular, what is a modal logic, and why did Gödel believe that a proof for the existence of God was more compelling...

Basics: Going Meta

In math and computer science, we have a tendency to talk about "going meta". It's actually a pretty simple idea, which tends to crop up in other places, as well. It's also one of my favorite concepts - the...

Basics: Axioms

Today's basics topic was suggested to me by reading a crackpot rant sent to me by a reader. I'll deal with said crackpot in a different post when I have time. But in the meantime, let's take a look...

Basics: Discrete vs Continuous

One thing that I frequently touch on casually as I'm writing this blog is the distinction between continuous mathematics, and discrete mathematics. As people who've been watching some of my mistakes in the topology posts can attest, I'm much...

Not Quite Basics: Sorting Algorithms

Multiple people have written to me, after seeing yesterday's algorithms basics post, asking me to say more about sorting algorithms. I have to say that it's not my favorite topic - sorting is one of those old bugaboos that...

Basics: Algorithm

A kind reader pointed out that I frequently mention algorithms, but that I haven't defined them in the basics posts. To me, they're so fundamental to the stuff I do for a living that I completely forgot that they're...

Basics: Optimization

Yet another term that we frequently hear, but which is often not properly understood, is the concept of optimization. What is optimization? And how does it work? The idea of optimization is quite simple. You have some complex situation,...

Not quite Basics: The Logician's Idea of Calculus

In yesterdays basics post, I alluded to the second kind of calculus - the thing that computer scientists like me call a calculus. Multiple people have asked me to explain what our kind of calculus is. In the worlds of...

Basics: Calculus

Calculus is one of the things that's considered terrifying by most people. In fact, I'm sure a lot of people will consider me insane for trying to write a "basics" post about something like calculus. But I'm not going...

Basics: Limits

One of the fundamental branches of modern math - differential and integral calculus - is based on the concept of limits. In some ways, limits are a very intuitive concept - but the formalism of limits can be extremely...

Basics: Algebra

Basics: Algebra While I was writing the vectors post, when I commented about how math geeks always build algebras around things, I realized that I hadn't yet written a basics post explaining what we mean by algebra. And since it...

Basics: Vectors, the Other Dimensional Number

There's another way of working with number-like things that have multiple dimensions in math, which is very different from the complex number family: vectors. Vectors are much more intuitive to most people than the the complex numbers, which are...

Basics: Multidimensional Numbers

When we think of numbers, our intuitive sense is to think of them in terms of quantity: counting, measuring, or comparing quantities. And that's a good intuition for real numbers. But when you start working with more advanced math,...

Basics: The Halting Problem

Many people would probably say that things like computability and the halting program aren't basics. But I disagree: many of our basic intuitions about numbers and the things that we can do with them are actually deeply connected with...

Basics: Real Numbers

What are the real numbers? Before I go into detail, I need to say up front that I hate the term real number. It implies that other kinds of numbers are not real, which is silly, annoying, and frustrating....

Basics: The Turing Machine (with an interpreter!)

As long as I'm doing all of these basics posts, I thought it would be worth explaining just what a Turing machine is. I frequently talk about things being Turing equivalent, and about effective computing systems, and similar things,...

Basics: Sets

Sets are truly amazing things. In the history of mathematics, they're a remarkably recent invention - and yet, they're now considered to be the fundamental basis on which virtually all of mathematics is built. From simple things (like the...

Basics: Syntax and Semantics

Another great basics topic, which came up in the comments from last fridays "logic" post, is the difference between syntax and semantics. This is an important distinction, made in logic, math, and computer science. The short version of it is:...

Basics: Logic, aka "It's illogical to call Mr. Spock logical"

This is another great basics topic, and it's also one of my pet peeves. In general, I'm a big science fiction fan, and I grew up in a house where every saturday at 6pm, we all gathered in front...

Basics: Correlation

Correlation and Causation Yet another of the most abused mathematical concepts is the concept of correlation, along with the related (but different) concept of causation. Correlation is actually a remarkably simple concept, which makes it all the more frustrating to...

Basics: Recursion and Induction

Time for another sort-of advanced basic. I used some recursive definitions in my explanation of natural numbers and integers. Recursion is a very fundamental concept, but one which many people have a very hard time wrapping their head around....

Basics: Natural Numbers and Integers

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...

Basics: Margin of Error

The margin of error is the most widely misunderstood and misleading concept in statistics. It's positively frightening to people who actually understand what it means to see how it's commonly used in the media, in conversation, sometimes even by other...

Basics: Standard Deviation

When we look at a the data for a population+ often the first thing we do is look at the mean. But even if we know that the distribution is perfectly normal, the mean isn't enough to tell us...

Basics: Normal Distributions

In general, when we gather data, we expect to see a particular pattern to the data, called a normal distribution. A normal distribution is one where the data is evenly distributed around the mean in a very regular way,...

Basics: Mean, Median, and Mode

Statistics is something that surrounds us every day - we're constantly bombarded with statistics, in the form of polls, tests, ratings, etc. Understanding those statistics can be an important thing, but unfortunately, most people have never been taught just...

Search All Blogs

Blogs in the Network

Top Five: Readers' Picks

Top Science Stories

powered by SEED - seedmagazine.com