/explore
|
You are here 
|
www.math3ma.com | ||
| | | | |
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... | |
| | | | |
terrytao.wordpress.com
|
|
| | | | | This is yet another post in a series on basic ingredients in the structural theory of locally compact groups, which is closely related to Hilbert's fifth problem. In order to understand the s... | |
| | | | |
susam.net
|
|
| | | | | [AI summary] An article explains the mathematical relationship between fields and their trivial ideals within ring theory. | |
| | | | |
www.logicmatters.net
|
|
| | | I didn't at all intend to return to my Introduction to Gödel's Theorems (which I've not really read for a dozen years, apart from correcting a small handful of typos in the PDF). But I had occasion to look something up, and - hey, ho! - I've found myself over the last week beginning to [...] | ||
