Month: April 2008

Dependence Logic vs. Independence Friendly Logic

I picked up Dependence Logic: A New Approach to Independence Friendly Logic by Jouko Väänänen. I figure I’ll write up a review when I am finished with the book, but there is one chief difference between Dependence Logic and Independence Friendly Logic that needs to be mentioned. On pages 44-47 when describing the difference between Dependence Logic and Independence Friendly Logic Väänänen says, The backslashed quantifier, ∃xn{xi0,…,xim-1}φ, introduced in ref. [20], with the intuitive meaning: […]

Links, to appease the Gods of Blogs

I offer this links post as a sacrifice to the… oh I have no idea why I do this. Animal of the Month – Elephant (8:28): lies i’ve told my 3 year old recently, by raul gutierrez, as emphasized by swissmiss: Trees talk to each other at night. All fish are named either Lorna or Jack. Before your eyeballs fall out from watching too much TV, they get very loose. Tiny bears live in drain […]

Video Game Design 2: Marionette Theater

Apropos my first post on video game design, I have thought up a new “game” for the Wii. It is a marionette theater simulator: you would get to create virtual marionettes, with customizable bodies and outfits (Mii integration if possible, lots of different clothing options), and levels would include performing different scenes from plays or entire plays. The accelerometers of the Wii controllers would function as the strings on the virtual marionettes. As you tilt […]