These have changed our lives more than some, more famous discoveries such as: wave nature of particles, string theory and uncertainty principle.
The list will grow as I learn about them!
 Horn's paper: "On sentences which are true of direct unions of algebras"
 Codd's paper on Relational Database Model
 Shanon's A mathematical theory of communication
 C language: developments
 Fuzzy Logic - Zadeh
 Fuzzy Dizzy sets
 Some essays on philosophy of science
Wednesday, April 9, 2008
It is one of my blogs!
My latest foray into understanding programming from the perspective of Formal Systems resulted in a few blog posts that you can read here, here and here. The interest got a kick when I had to relate a formal debate and its mechanisms to first-order-logic. I was only partially successful. But it has increased my understanding (also misunderstanding).
I noticed that my blog turns into an activists website when I sympathise with certain causes. It is not bad but it also drags me away from what brings me bread: computer science! In an attempt to put all understandings to "ready to understand" form, I will write about my readings in computer science.
Next few things to ecxpect here are:
My definition of the interface construct in Java,
Links to older posts related to computer science are bellow.