不可计算性与认知：从大数据到云打印

"这篇内容涉及了认知科学、计算理论以及技术应用，主要讨论了认知的非计算性，以及Google云打印技术的原理和发展方向。同时，提到了诺贝尔奖得主保尔·劳特布尔对磁共振成像的贡献，以及HP发布的云打印服务在移动设备上的应用。" 在标题《认知不可以“计算”-大数据认知_李德毅院士》中，提到的认知不可“计算”是指人类的认知过程与传统的计算机计算有着本质的区别。停机问题和程序验证问题作为计算理论中的经典难题，表明有些问题是无法通过算法完全解决的。这涉及到图灵机的概念，即存在某些问题即使是理论上最强大的计算设备也无法解决。数学自身也存在着机器程序无法穷尽的部分，这进一步强调了认知的复杂性和非计算性。人脑的认知是否能被形式化并转化为电脑运作的问题，触及到人工智能研究的核心，即模拟人类智能的挑战。 在描述中，提到了Google云打印技术，这是Google在ChromeOS上的一种创新尝试。传统操作系统需要特定的驱动程序来支持打印，但ChromeOS通过API实现了云打印，使得用户可以直接在应用程序中执行打印命令，无论他们身处何处。Google的目标是建立一个普适的打印体验，让所有类型的应用程序和设备都能无缝连接到云打印。为了实现这个目标，谷歌提出了两种策略：一是推动打印机制造商生产具有云连接能力的新款打印机；二是为现有打印机提供软件更新，使其能通过PC接入云打印服务。 此外，内容还提及了保尔·劳特布尔，他在磁共振成像技术的发展中起到了关键作用，这项技术极大地推进了医学诊断的精确度。他的去世标志着一位科学巨人的离去，但他的贡献将永远影响医学领域。 最后，提到了形象思维的特性，包括形象性、非逻辑性、粗略性和想象性，形象思维在处理问题时更注重直觉和整体把握，而非逻辑推理和精确计算，常用于问题的定性分析。这部分内容可能是在讨论认知过程中，人类思维方式与计算机算法的不同之处，强调了人类思维的灵活性和创造性。