Elementary Syntax

Kurt Gödel on the empirical sciences. One has to suspect he had some faith in the empirical sciences being a personal friend of Albert Einstein. What do you think he means by this? Comment your thoughts below!

Introduction and Elimination rules for if/then from Stephen Cole Kleene’s “Mathematical Logic” (section 11 for the curious). A and B are formulas, G is some unspecified set of formulas, and ‘⊃’ signifies the if/then relationship. ‘⊢’ can be read as ‘yields’ and means that the following formulas are derivable from the preceding formulas.

An outline of my solution to Douglas R. Hofstadter's MU puzzle.

Solution to the MU puzzle An overview of a solution to Douglas R Hofstadter's MU puzzle from the book "Gödel, Escher, Bach: an Eternal Golden Braid." What do you think of this solutio...