/explore
|
You are here 
|
unstableontology.com | ||
| | | | |
ryanbrewer.dev
|
|
| | | | | Linear logic is a beautiful logical system taking advantage of the mechanisms of the sequent calculus. In this post we explore the various meanings of linear logic, and dig deep into the reasoning behind its peculiar development. | |
| | | | |
xorshammer.com
|
|
| | | | | Nonstandard Analysis is usually used to introduce infinitesimals into the real numbers in an attempt to make arguments in analysis more intuitive. The idea is that you construct a superset $latex \mathbb{R}^*$ which contains the reals and also some infinitesimals, prove that some statement holds of $latex \mathbb{R}^*$, and then use a general "transfer principle"... | |
| | | | |
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... | |
| | | | |
keymaterial.net
|
|
| | | After publishing my series on UOV, one feedback I got was that my blog posts made people feel more confident in the security of the scheme, because "at least someone is looking into these things". I don't necessarily know if that is the takeaway I would make from my posts, but it gave me the... | ||
