User loginNavigation 
Halting program density?We know the density of primes tends towards 1/log(n) as n get larger. Do we know anything about the density of programs which halt? For example, take your favorite universal turing machine. Generate all programs of size 1. Record the percentage of programs that halt in less than 1 millisecond (or 10,000 head movements, or some other metric). Run the remaining programs for 10 milliseconds each, record the percentage which halt. Continue for 100, 1000, etc. milliseconds. Then repeat the procedure for all programs of length 2,3,4..N. Do we know anything about the surface just described? It surely must be monotonically increasing. Can we say anything more? Can we describe any aspect of it with numbers? This seems like it might be an easier task to undertake, compared to the corresponding question of "What's the density of provable truths in arithmetic?" Thoughts? By Greg Buchholz at 20050318 16:38  LtU Forum  previous forum topic  next forum topic  other blogs  4737 reads

Browse archivesActive forum topics 
Recent comments
3 hours 45 min ago
5 hours 42 min ago
15 hours 14 min ago
15 hours 51 min ago
17 hours 9 min ago
17 hours 22 min ago
21 hours 31 min ago
22 hours 17 min ago
22 hours 17 min ago
1 day 4 hours ago