1、非传统计算模型会议与实递归函数理论概述

非传统计算模型会议与实递归函数理论概述

在计算领域，非传统计算模型正逐渐成为研究的热点。2002 年 10 月 15 日至 19 日，第三届国际非传统计算模型会议（UMC 2002）在日本神户的多功能 Orbis 厅举行。接下来，我们将对这次会议以及实递归函数理论进行详细探讨。

会议概况

• 会议组织与地点 ：本次会议由离散数学与理论计算机科学中心以及日本关西通信研究实验室的关西高级研究中心联合举办。会议地点 Orbis 厅位于神户六甲岛中心的神户时尚博物馆内，周边交通便利，靠近神户广场酒店和神户湾喜来登酒店。
• 会议背景与意义 ：各种自然过程激发了人们构建全新计算模型的想法。例如，《新科学家》杂志 2002 年 7 月 27 日发表的论文《不仅仅是漂亮的外表》探讨了植物可能在没有大脑的情况下具备计算能力的假设。这也引发了人们对于人体在没有神经系统帮助下的计算能力和复杂性的思考。尽管强大的非传统计算模型的实现仍处于早期阶段，但它具有巨大的潜力，需要大量的研究和努力来评估和挖掘。本次会议汇聚了该领域的顶尖专家，讨论了主要的研究思路、成果、研究方向和开放性问题，涵盖了从理论方面到实际应用以及哲学反思等多个层面。
• 演讲嘉宾与论文筛选 ：会议邀请了八位知名演讲嘉宾，包括来自葡萄牙里斯本的 M.L. Campagnolo、新西兰坎特伯雷的 J. Copeland、美国加州理工学院的 A. DeHon 等。程序委员会由来自不同国家和地区的专家组成，他们从 36 篇投稿中精心挑选出 18 篇论文，这些论文涵盖了非传统计算的各个主要领域，如量子计算