(no subject)

posted by [identity profile] nerdware.livejournal.com at 01:19pm on 09/01/2006
Anything you can specify can be automated. Unfortunately, there are things we'd like a machine to do that we can't specify. (Never mind the things that only interest pure mathematicians, like proving theorems. Consider the problem of enumerating all real numbers. Even a Turing machine can't do that.)

E.g. give a formal specification for spam...turn it into code and prove it correct...solve the halting problem.
[parent entry] [link] [reply]
 

(no subject)

posted by [identity profile] sbisson.livejournal.com at 01:31pm on 09/01/2006
Perhaps I should have put the smiley in after all...
[link] [parent] [reply]
 

(no subject)

posted by [identity profile] nerdware.livejournal.com at 01:47pm on 09/01/2006
Perhaps. ;)
[link] [parent] [reply]

January

SunMonTueWedThuFriSat
  1
1
 2
2
 3
1
 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