Includes:
- An application of the Łoś-Vaught test
- A taste of computability
- Skolem's Paradox
- An introduction to the completeness theorem for uncountable languages.
Wednesday, February 29, 2012
Notes for Wed. February 29
Due to an aberration in the spacetime metric brought on by the fact that today is February 29, the notes from today are being posted before the notes from Monday. Here are the notes and here is the TeX.
Includes:
Includes:
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment