根据山西大学科学技术哲学研究中心与英国剑桥李约瑟研究所签订的互派访问学者协议，中心每年选派数名青年教师、博士研究生赴英国进行为期半年的学习研究。王凯宁是中心今年派出的第二位青年教师，于2008年10月23日赴英国剑桥李约瑟研究所进行为期半年的学术访问
王凯宁，男，1984年2月生，山西沁源人，科学技术哲学研究中心教师，在读博士研究生。2005年山西大学物理电子工程学院本科毕业，被免推到科学技术哲学研究中心攻读硕士学位，2007年被选拔直接攻读科学技术哲学研究中心科技哲学专业博士学位，师从郭贵春教授。主要从事物理哲学方面的研究。
量子计算是一个由量子力学、数学以及计算机科学交叉形成的新的研究领域。1982年，物理学家费曼设计了一个抽象模型，该模型示范了如何利用量子系统做运算，这被认为是最早的量子计算机的思想模型。近几年来，量子计算哲学的研究逐渐受到关注，已经成为物理学哲学研究的一个新方向。很多物理学家及哲学家已经做出一些基础性的研究成果，如J. Pykacz于1998年发表文章《量子计算的逻辑》探讨了量子逻辑；B. D’ Hooghe 和 J. Pykacz的《量子力学和量子计算》(2004) 研究了量子计算并行性的问题；J. Bub在《关于量子信息的量子力学》(2004) 则认为量子力学从本质上就是关于量子信息表达的理论，等等。
结合中心整体研究工作部署和其本人的博士学位论文，王凯宁此次出访英国剑桥李约瑟研究所重点关注的问题主要有以下两个方面：
一是量子信息在量子计算过程中是如何传递的？怎样建立这一过程的语义表达？
二是经典计算与量子计算的关系如何？可否认为量子计算较经典计算更加基础？
为此，访问期间，他将从以下四个方面来展开研究：
1. 充分利用李约瑟研究所及剑桥大学丰富的专业资料及各种信息资源，系统查阅量子计算研究的相关资料，追溯其历史发展，并对理论中概念的产生进行研究。
2. 对比科学概念于日常生活中对于信息的定义，研究量子计算过程中的信息传递，从而为这一过程中的量子信息概念提供一个准确的理解。
3. 在量子计算的视角下对丘奇-图灵假设做出哲学分析，并在此基础上考虑量子计算与经典计算的关系问题。
4. 从语境研究的角度审视经典计算语境到量子计算语境的转变，分析在这一语境转换的过程中计算概念的转变。
此次出访中，王凯宁还准备访问剑桥大学哲学系及量子计算中心。剑桥大学量子计算中心主任Artur Ekert教授在量子计算的理论及实验研究方面都作出大量成果，哲学系的Mark Sprevak研究员也发表多篇关于计算哲学的文章。因此，本次出访将会对这些方面的研究提供很有意义的帮助。
