Now on ScienceBlogs: The Galaxy's Biggest Valentine
Finding the fun in good math; Shredding bad math and squashing the crackpots who espouse it.
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.
Category: Book
This post is something that I'm thinking of including in my book. I haven't decided whether I want to spend this much time on logics; they're really interesting and fun - but there's lots of other interesting and fun stuff,...
Posted by Mark C. Chu-Carroll at 7:34 PM • 15 Comments •
Category: Logic
Sorry for the lack of posts this week. I'm traveling for work, and I'm seriously jet-lagged, so I haven't been able to find enough time or energy to do the studying that I need to do to put together...
Posted by Mark C. Chu-Carroll at 1:26 PM • 8 Comments •
Category: Logic
There was an interesting discussion about mathematical constructions in the comment thread on my post about the professor who doesn't like infinity, and I thought it was worth turning it into a post of its own. In the history...
Posted by Mark C. Chu-Carroll at 3:30 PM • 79 Comments •
Category: Logic
As promised, today, I'm going to show the Kripke semantics model for intuitionistic logic....
Posted by Mark C. Chu-Carroll at 10:20 PM • 5 Comments •
Category: Logic
To be able to really talk about what a logic (or a calculus) means, you need to define a model of that logic. A model is a way of associating entities in the logic/calculus with some kind of real...
Posted by Mark C. Chu-Carroll at 8:53 PM • 6 Comments •
Category: Logic
I'm incredibly busy right now adjusting to my new job and my new commute, which is leaving me less time than usual for blogging. So I'm going to raid the archives, and bring back some interesting things that appeared...
Posted by Mark C. Chu-Carroll at 9:07 PM • 16 Comments •
Category: programming
I feel like a bit of a change of pace, and trying a bit of an experiment. Re-reading Backus's old FP work reminds me of what I was doing the last time I read it, which was back in...
Posted by Mark C. Chu-Carroll at 8:53 PM • 26 Comments •
Category: Basics
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...
Posted by Mark C. Chu-Carroll at 4:51 PM • 26 Comments •
Category: Basics
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...
Posted by Mark C. Chu-Carroll at 3:15 PM • 12 Comments •
Category: Basics
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:...
Posted by Mark C. Chu-Carroll at 8:08 PM • 13 Comments •
casaubon's book 02.13.2012
denialism blog 02.13.2012
respectful insolence 02.13.2012
evolutionblog 02.12.2012
starts with a bang! 02.11.2012
