Welcome back to the kitchen! The Menuscript is back for its fourth season and we are starting the season with a trip to the Underworld. In this episode, I serve up an appetizer on Katabasis by RF Kuang. This was quite the read, and well worth the wait. 

Godel’s Theorem: The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e. an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system. Equivalently, there will always be statements about natural numbers that are false, but that are unprovably false within the system.

The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.

Recipe: You will need: a stick of butter, ½ cup of sugar, ½ cup of brown sugar, an egg, a teaspoon of vanilla, a cup of flour, ½ cup of cocoa powder, a teaspoon of baking soda, a dash of salt, a cup of mini chocolate chips, and powdered sugar. The dough is going to chill so you don’t need to preheat the oven just yet. In a large bowl, beat the butter, sugar, and brown sugar until combined and fluffy. Add in the egg and vanilla and beat until combined. In a separate bowl, whisk the flour, cocoa powder, baking soda, and salt. Slowly add the dry ingredients to the large bowl, mixing thoroughly. Stir in the mini chocolate chips and place the dough in the fridge for at least two hours. When you’re ready to bake preheat the oven to 350ºF and take the dough out of the fridge. Roll the dough into golf ball sized rolls and coat with powdered sugar. Place the dough balls on the baking tray, about 3 inches apart. Bake for 10-12 minutes and allow to cool on a wire cooling rack.

Artwork by @stephanieilana

Editor: Alex Schmitz

Song: Clementi Piano Sonatina Op. 36 No. 3 in C Major

Hosted on Acast. See acast.com/privacy for more information.