It has probably been over a year since I started thinking about organizing random thoughts in a manner that would not only make it possible to express them; but also aid in the process of sharing them with peers. My hope has been to express freely without requiring scientific rigor, yet discussing science and other subjects of daily life in a fairly simple manner. Also, a blog would hopefully spark interest in readers to comment on the posts, thereby enriching and/or critiquing the stochastic thoughts.
Tonight, I feel that I am finally ready to commit to a frequent contribution. And so it begins …
The title of the blog basically encapsulates the major areas I intend to write about. Brains – neural science, Machines – computer science and artificial intelligence, Mathematics – well, the mother of all sciences, and Life – all the various aspects of life including sociology, religion, music and numerous other things that just popup in my head from time to time.
I cannot in good conscience leave out the most significant inspiration behind the title; the book “Brains, Machines and Mathematics” by Michael A. Arbib. The moment I saw this book in the university library, I knew I had to read it.
Apart from the major areas highlighted by the title, I will hopefully be writing about several other interesting topics that I come across. Since by profession I am a software developer, I like to think about issues pertaining to software engineering and development. Also, I am highly fascinated by the theory of complex adaptive systems and other biologically inspired methods.
Having said that, I will move on to a couple of questions that have been bothering me all day long. I will not indulge into the details at the moment, however, a brief description is as follows:
- Boolean logic, Fuzzy Logic, Temporal Logic … “Emotional Logic”? – Would it ever be possible and/or useful to develop a formal model of human emotions, that constitutes a form of logic where truth is ascertained by the emotional state of an individual rather than the conventional models of logic?
- Validity of mathematics as the language of proof – All major branches of science use mathematics as the language to definitively devise proofs. Can we prove that mathematics is the one perfect language for proofs? and what if it is not? Oh, by the way, what language would we use to prove that?
This is a glimpse of what some of the posts might look like. With time, however, I hope the ideas and the posts will evolve in such a way that the variety of topics increases and more and more readers find it interesting to share their ideas.
A word to my friends: please feel free to comment, for that will be a very valuable contribution.
