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: lambda calculus
Lambda calculus started off with the simple, untyped lambda calculus that we've been talking about so far. But one of the great open questions about lambda calculus was: was it sound? Did it have a valid model? Church found that...
Posted by Mark C. Chu-Carroll at 8:30 AM • 6 Comments •
Category: lambda calculus
So in the last few posts, I've been building up the bits and pieces that turn lambda calculus into a useful system. We've got numbers, booleans, and choice operators. The only thing we're lacking is some kind of repetition or...
Posted by Mark C. Chu-Carroll at 9:12 AM • 4 Comments •
Category: lambda calculus
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. So, now, time...
Posted by Mark C. Chu-Carroll at 8:33 AM • 1 Comments •
Category: lambda calculus
I'm on vacation this week, so I'm recycling some posts that I thought were particularly interesting to give you something to read. In computer science, especially in the field of programming languages, we tend to use one particular calculus a...
Posted by Mark C. Chu-Carroll at 8:30 AM • 5 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
