Explore >> Select a destination
|
You are here 
|
rjlipton.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... | |
| | | | |
mattbaker.blog
|
|
| | | | | In honor of Pi Day 2023, I'd like to discuss Hilbert's 7th Problem, which in an oversimplified (and rather vague) form asks: under what circumstances can a transcendental function take algebraic values at algebraic points? The connection with $latex \pi$ is that Lindemann proved in 1882 that the transcendental function $latex f(z) = e^z$ takes... | |
| | | | |
queuea9.wordpress.com
|
|
| | | | | Parametricity is a profound principle in the theory of programming languages -- but what kind of principle is it? To answer this, let me first recall the idea, as introduced by the great John C. Reynolds in his seminal paper "Types, Abstraction, and Parametric Polymorphism". (I wrote about this paper in an earlier post.) Suppose... | |
| | | | |
nabeelvalley.co.za
|
|
| | | A short introduction to Parser Combinators | ||
