Logblog: Richard Zach's Logic Blog

University of Calgary

UofC Navigation

You are looking at the old blog archive. LogBlog has moved to richardzach.org.

If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Sat, 07/12/2014 - 11:22am

So there will be a student party at the Summer of Logic. Help me crowdsource logic/math/CS/AI tracks, preferably danceable. Ideas?

Pet Shop Boys - He Dreamed of Machines

Turing Machines - Slave to the Algorithm

My Robot Friend - Robot High School

Super Furry Animals - Fuzzy Logic

Daniel Avery - Drone Logic

Scooter - The Logical Song [Supertramp cover]

Squarepusher - Music for Robots

The Illuminator - 4 r square pi (Association for Symbolic Logic)

Or I guess we can just play Logic all night:

Logic - Mind of Logic / The Spotlight / ...

or A-Track's "Infinity + 1" mix and the entire Stills album "Logic will Break your Heart."

- Richard Zach's blog
- Log in to post comments

- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"

## Comments

Great idea, Richard!

Now, what about some oldies, by Bowie?

Width Of A Circle

"And the moral of this magic spell

Negotiates my hide

When God did take my logic for a ride

(Riding along)"

Saviour Machine

"Don't let me stay, don't let me stay

My logic says burn so send me away"