Date Range
Date Range
Date Range
My blog - mostly beautiful, striking, intense things that need to be here. For me, shared with you. Passionate, looking for my place in the world. whatre they DOING down there. Reblogged from cough into my open mouth. On my blog it abso- fuckin. Ok? Kool, be gone thots.
Yes, the title of this blog is misleading. Can you prove godels incompleteness theorem for the lambda Calculi? The lambda calculus is a well-specified formal system capable of calculation, so it is subject to incompleteness for the same reasons as ZFC. There is no need for an additional proof. An abridged English version of Gödel Incompleteness.
This site is marked private by its owner. If you already have both of these, great! Larr; Back to WordPress.
Thursday, March 11, 2010.