2/12/11 Gil's LotD: Halting problem
Submitted by gil on Sat, 02/12/2011 - 6:00pm
http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html A poetic proof of the undecidability of the halting problem.
Tags:
Gil's LotD (Link of the Day) publishes a link to a web page every day. The linked pages are chosen for their interesting, informative or entertaining content. You can read Gil's LotD on the web or in a daily email.
Site links
Friends of LotD
- Pro Football History
- Among the Antipodeans
- Fly-Ass Blog
- MrW Photography
- Not 4 Profit
- Mom's Camp Cedars Blog
- Muckraking Media
- prgmr - the official hosting company of gil's lotd
- Rosio Pavoris
- Blag of beetuss
- Omaha Maker Group
- Coatesmeister's Math and Literature Classes
- Rick Santorum
- Smuckers
- Spocko's Brain
- @barbinnebraska
- Gil's last.fm
Blogroll
- AcaDec Scores
- After Y2K
- American Drink
- Arms Control Wonk
- Awful Library Books
- Backing Winds
- bash.org
- Bastard Operator from Hell
- BLDGBLOG
- Breaking Eggs And Making Omelettes
- Cake Wrecks
- Cap'n Transit Rides Again
- cat versus human
- chainsawsuit
- Channel4 BBS
- Chromium Notes
- Cyanide & Happiness
- Daring Fireball
- DDT Properties Fabrication
- Destructive Design
- Dutch Oven Madness
- FatBits
- folklore.org
- Garrison Keilor
- Give Me Something To Read
- Hacker News
- halcy
- INFRASTRUCTURIST
- Inn at the Crossroads
- is xkcd shitty today
- It is not the case that
- Judge a Book by its Cover
- Krakow
- Linus' blog
- Linux Hater's Blog
- lwn.net
- Mac OS X Hints
- Mac OS X Internals: The Blog
- mangoat
- Memepool
- Muffin Films
- Penny Arcade
- Peter Beverloo
- ResExcellence
- Saturday Morning Breakfast Cereal
- Scouting NY
- Slashdot
- Spamusement
- superpoop
- The Alternate Side Parking Reader
- The Anime Reality
- The Perry Bible Fellowship
- This is Historic Times
- tinywords
- welcome datacomp
- Yotsuba Channel