You are viewing
aperientur
's journal
Log in
Create a LiveJournal Account
Learn more
Explore LJ:
Life
Entertainment
Music
Culture
News & Politics
Technology
entries
friends
calendar
user info
William S.
Advertisement
Customize
10:48 pm
October 27th, 2007
LiveJournal auto-post
halt(mu)
Leave a comment
02:22 pm
September 30th, 2007
When the time comes, cut the green one.
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)
Leave a comment
profile
User:
aperientur
Name:
William S.
calendar
October 2007
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
page summary
LiveJournal auto-post
When the time comes, cut the green one.
tags
Advertisement
Customize