landis (not verified) -
Friday, July 6, 2007 - 11:35
Computer science should be a separate department or left in the sciences. CS is not a field of absolute truth. For one thing, it is proven impossible to show that a particular solution is the only solution, the best solution, or the most bug-free solution. Much of what determines that is acceptance and the end-user. After all, while programming languages more closely represent math than other scientific applications, it’s not ‘pure’ math. In a user-interface system there are hundreds, thousands even; of variables all interacting with each other in different and changing ways. Impossible for someone sitting at a desk to see every possible configuration and thus ‘prove’ the program. Impossible even for other computer programs to prove.
He is also co-founder of a web services company based in his hometown, Rhombic Networks, LLC, where he currently serves as CTO, system administrator, and programmer.
If you like his site, please leave a comment on your favorite posting, or contact Samat and let him know!
No
Computer science should be a separate department or left in the sciences. CS is not a field of absolute truth. For one thing, it is proven impossible to show that a particular solution is the only solution, the best solution, or the most bug-free solution. Much of what determines that is acceptance and the end-user. After all, while programming languages more closely represent math than other scientific applications, it’s not ‘pure’ math. In a user-interface system there are hundreds, thousands even; of variables all interacting with each other in different and changing ways. Impossible for someone sitting at a desk to see every possible configuration and thus ‘prove’ the program. Impossible even for other computer programs to prove.