...
机译:Von Neumann不可能证明:修辞学提供数学
History and Philosophy of Science Utrecht University;
机译:Von Neumann不可能证明:修辞学提供数学
机译:冯·诺依曼定理关于不可能在量子力学中引入隐藏参数
机译:职前数学教师使用的证明方案与性别之间的关系,对证明的看法
机译:证明珍珠:证明简单的冯·诺依曼机器图灵完成
机译:从数学构造性到计算机科学:艾伦·图灵,约翰·冯·纽曼和数学逻辑学中的计算机科学起源。
机译:冯·诺曼协调定理的简化证明
机译:冯诺依曼的不可能性证明:修辞学服务中的数学
机译:使用冯诺依曼体系结构和动态内存分配实时系统软件认证的概念证明。