New posts in Formal Systems

What's up with the Sheffer stroke axiom?

Can one-element set be considered equal to its element?

Is formal truth in mathematical logic a generalization of everyday, intuitive truth?

What do the ZFC axioms look like in terms of subset?

How do you go about formalizing a concept?

Precisely, what is a primitive recursive definition?

Hofstadter's TNT: b is a power of 2 - is my formula doing what it is supposed to?

What makes a context free grammar ambiguous?

Resources for learning formal math?