Thread: Future of Programming? (2 Q's)
View Single Post
Old 04-07-2009, 11:53 AM   #9 (permalink)
Logarithms
Logarithms's Avatar
 
Banned

Join Date: Apr 2009

Posts: 41

Logarithms is on a distinguished road
Default Re: Future of Programming? (2 Q's)
I guess another example would be computer-aided mathematical proofs.
Logarithms is offline