Home
entries friends calendar user info
William S.

Advertisement

Add to Memories
Tell a Friend
halt(mu)
Add to Memories
Tell a Friend

Related to this, here's a demonstration of the disproof of the Halting Problem.

>>> from oracles import halt
>>> def yes(): pass #Do nothing
>>> halt(yes)
true
>>> def no(): while 1: pass #Infinite loop
>>> halt(no)
false
>>> def mu(): if halt(mu): no() #Infinite loop iff mu halts
>>> halt(mu)
profile
Name: William S.
calendar
Back October 2007
123456
78910111213
14151617181920
21222324252627
28293031
page summary
tags

    Advertisement

    Customize