逻辑表示出来。这本身就有很多的难度。”
夏商卜说：“做这些需要一定的数学知识，还有熟练的掌握逻辑数学的能力。你们都有谁在做研究？”
吴俊说：“我们成立的自动证明机小组，我、祖文远、王园三个人在做这个工作。”
夏商卜说：“这就是王园挑头的吗？”
吴俊说：“没错。”
夏商卜说：“我听说过他的事迹，他自己为了实现自己的理想，就自己挑头单干，十分的勇敢，很多老教授都笑话他是个不稳重的人，但是他成功了。”
华罗说：“那我们可以尝试联系一下他，看看他能不能提供帮助。”
第二天，华罗、吴俊、祖文远和夏商卜四个人赶到了王园的磁力学实验室，王园热烈的欢迎了四个人，还带着四个人兴奋的参观自己的磁控制工厂。
华罗看到很多各种装置都可以使用遥控技术让各种东西在空中做各种复杂的移动。看到每一个飞行的物体上都绑着电线圈。
华罗问王园：“每一个飞行的东西都需要绑上这些线圈吗？”
王园说：“那是肯定的，线圈导电，产生磁力，我们就是使用磁力来控制这些的。这是电磁研究里的一项新研究，是磁体控制能力。这个能力一开始是可以使用电磁装置对铁这种可以携带磁体的物体进行控制，可以隔空的将带磁体的东西用磁力抬起来，而且可以移动方位，还能够将带磁体进行各种方位的移动，转动。之后将精度提高，可以
第四十六章 磁力学实验室(2/5)