/explore
|
You are here 
|
www.umsu.de | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a series of lectures on the philosophy of mathematics, given at Oxford University, Michaelmas term 2018. The lectures are mainly intended for undergraduate students preparing for exam ... | |
| | | | |
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... | |
| | | | |
www.logicmatters.net
|
|
| | | | | Yuri Manin who died last year was a seriously distinguished mathematician, being - for instance - one of the first recipients of the Schock Prize for mathematics. His interests ranged very widely, from algebra and topology to quantum field theory. So A Course in Mathematical Logic for Mathematicians (1977 translation, Springer) is written by an [...] | |
| | | | |
mathbabe.org
|
|
| | | A continuation ofthis, where I take notes on my workshop atHCSSiM. The real numbers are uncountable Today we used Cantor's diagonal argument to prove that the real numbers aren't countable. Namely, we assumed they were, and that we had a bijection $latex f: \mathbb{N} \rightarrow \mathbb{R}$ and then proved it didn't contain the real number... | ||
