/explore
|
You are here 
|
xorshammer.com | ||
| | | | |
explainingmaths.wordpress.com
For more of these summaries, you can search this blog for "Latest posts on my Blogger blog", or directly see https://explainingmaths.wordpress.com/?s=%22Latest+posts+on+my+Blogger+blog%22 Here are some links to my most recent posts on my Blogger blog, where I am able to use MathJax. I'll periodically post updates on this blog, with links and brief descriptions. My latest... |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
inquiryintoinquiry.com
Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... |
|
| | | | | ||
| | | | |
extremal010101.wordpress.com
With Alexandros Eskenazis we posted a paper on arxiv "Learning low-degree functions from a logarithmic number of random queries" exponentially improving randomized query complexity for low degree functions. Perhaps a very basic question one asks in learning theory is as follows: there is an unknown function $latex f : \{-1,1\}^{n} \to \mathbb{R}$, and we are... |
|
| | | |||
