|
You are here |
www.cs.uic.edu | ||
| | | | |
thehousecarpenter.wordpress.com
|
|
| | | | | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I... | |
| | | | |
billwadge.com
|
|
| | | | | The famous mathematician Kurt Gödel proved two "incompleteness" theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logic. Tarski described what exactly was an 'interpretation' and what it meant for a formula to be true in an interpretation. Briefly, an interpretation is a nonempty set (the... | |
| | | | |
xorshammer.com
|
|
| | | | | There are a number of applications of logic to ordinary mathematics, with the most coming from (I believe) model theory. One of the easiest and most striking that I know is called Ax's Theorem. Ax's Theorem: For all polynomial functions $latex f\colon \mathbb{C}^n\to \mathbb{C}^n$, if $latex f$ is injective, then $latex f$ is surjective. Very... | |
| | | | |
noncommutativeanalysis.wordpress.com
|
|
| | | I spent the week 28.4 - 3.5 at the MFO at Oberwolfach in a workshop on noncommutative function theory and free probability (whatever the hell that means), where I gave (ahem, ahem) a three lecture mini-course "Noncommutative Function Theory for Free Probabilists for Everyone". It is a curious exercise to give a mini-course to a... | ||