Radhakrishnan Srinivasan
About Me
I am a researcher presently employed at IBM India Software Labs, Pune. My date of birth is August 18, 1957. I have a PhD  degree in Applied Mathematics from the University of Washington, Seattle (1989). My full CV (bio-data) is available here. Here is an image of myself, taken on 25 April 2006. I love fast driving and the Mumbai-Pune Expressway is one of the few places in India where you can drive really fast. Here is an image of my Santro's speedometer at 160 kmph, my top speed. Not bad for a 1 litre, 55 BHP engine.
Office Address/E-Mail
See my PhilSci Archive user record
Family
I am married to Jayanti since 1991 and I have a son Anand born in Nov. 1997.Here are two pictures (picture1, picture2) of them, taken In Oct. 2005.
Professional Research Interests
My present research interests are in logic, philosophy and foundations of mathematics, philosophy and foundations of science (especially theoretical physics and theoretical computer science). See my eprints in the PhilSci Archive for my work in logic/philosophy, and in particular, my proposed non-Aristotelian finitary logic (NAFL). I also have some eprints in the arXiv.. Earlier, I used to work in fluid mechanics/applied mathematics. See my CV (bio-data) for further details.
Selected Eprints/Journal publications/Conferences
LOGIC/PHILOSOPHY/FOUNDATIONS
1. Quantum superposition principle justified in a new non-Aristotelian finitary logic.
Published in
International Journal of Quantum Information, Vol.3, No.1 (2005) pp. 263-267, as part of the Proceedings of the meeting on Foundations of Quantum Information (FQI04) University of Camerino, Italy, April 16-19, 2004. This paper proposes a new logic NAFL (non-Aristotelian finitary logic) that rejects the classical law of non-contradiction. Nevertheless, NAFL is not quite a paraconsistent logic; it combines features of both classical logic and intuitionistic logic. NAFL justifies quantum superposition and quantum entanglement and resolves the EPR paradox in favour of quantum mechanics, while rejecting special relativity theory and much of classical infinitary reasoning. In particular, infinite sets do not exist in consistent NAFL theories; only infinite (proper) classes can exist, but quantification over proper classes is not permitted in NAFL.. NAFL has serious implications for the theoretical foundations of science, including foundations of mathematics (set theory), theoretical physics and theoretical computer science. For example, Godel's incompleteness theorems do not apply to, and Turing's halting problem is decidable in, consistent NAFL theories; the relativity theories and non-Euclidean geometries are inconsistent in NAFL, which requires space to be Euclidean and time to be absolute. A limited version of real analysis can nevertheless be executed in NAFL, despite these restrictions; see math.LO/0506475 (also listed below).

2.
Platonism in classical logic versus formalism in the proposed non-Aristotelian finitary logic.

3.
Inertial frames, special relativity and consistency.

4.
On the logical consistency of special relativity theory and non-Euclidean geometries: Platonism versus formalism.

6. Poster titled
Relativistic determinism -- the clash with logic at the International Conference on the Ontology of Spacetime, Concordia University, Montreal, Canada,  May 11-14, 2004.
7. On the existence of truly autonomic computing systems and the link with quantum computing
This paper  (co-authored with H. P. Raghunandan)  rejects classical Turing noncomputability and proposes a new paradigm for computability theory in the logic NAFL that can potentially handle the theory of autonomic and quantum computing. The failure of Cantor's diagonal argument in NAFL, due to its inherently infinitary nature, is thoroughly analyzed. This failure makes Turing's halting problem decidable, and Goedel's incompleteness theorems fail, in NAFL.

8.
Logical analysis of the Bohr Complementarity Principle in Afshar's experiment under the NAFL interpretation
This paper shows the importance of the NAFL truth definition and the temporal nature of NAFL truth in explaining the puzzling consequences of
Afshar's experiment. Bohr Complementarity, as defined in this paper, is upheld despite the presence of both the interference pattern and which-way information. NAFL upholds 'reality' for the particle nature of the photon.

9.
Foundations of real analysis and computability theory in non-Aristotelian finitary logic
This paper (co-authored with H P Raghunandan) outlines new paradigms for real analysis and computability theory in NAFL. It is remarkable that real analysis is possible in NAFL, despite the non-existence of infinite sets and despite the ban on quantification over proper classes. An already very significant result is that open/semi-open intervals of reals cannot exist in NAFL; every "super-class" of reals must be closed. This fact immediately resolves the paradoxes of classical real analysis, such as, Zeno's paradoxes of motion and the Banach-Tarski paradox of measure theory. Peter Lynds, in a paper published in Foundations of Physics Letters, Vol. 16 (4) 2003, pp. 343-355, titled "Time and classical and quantum mechanics: indeterminacy versus discontinuity", asserted that Zeno's paradoxes are resolved if one refuses to accept that "instants" of time exist. Presumably Lynds is questioning the classical real number system itself. NAFL shows that the problem is not with instants of time, but with open/semi-open time and spatial intervals, which do not exist in NAFL.
FLUID MECHANICS/APPLIED MATHEMATICS
1. Estimating zero-g flow rates in open channels having capillary pumping vanes. International Journal for Numerical Methods in Fluids, Vol. 41, Issue 4 (2003) pp. 389-417. A United States patent US6807493 has been issued to IBM on the material of this paper.

2
The importance of higher-order effects in the Barenblatt-Chorin theory of wall-bounded fully developed turbulent shear flowsPhysics of Fluids, Vol. 10 (4) (1998) pp. 1037-1039.

3. Unsteady asymptotic solutions of the two-dimensional Euler equations.
Quarterly of Applied Mathematics, Vol. LIV, Issue 2, (1996) pp. 211-223.

4.
Exact solutions of Rayleigh's equation and sufficient conditions for inviscid instability of parallel, bounded shear flows. ZAMP, Vol. 45 (4) (1994) pp. 615-637.

5. A variational principle for the Ackerberg-O'Malley resonance problem.
Studies in Applied Mathematics, Vol. 79 (1988) pp. 271-289.