Tag Archives: formal methods

Computational Rationalism vs. Empiricism

Can computer programs be understood through reason alone? Or will we study computer programs empirically, just as we study the universe or the human brain or any natural phenomena or even artificial ones such as the global economy? Will the … Continue reading

Gallery | Tagged , ,