理论计算机科学中的几个问题.ppt

量子逻辑:（1）Thetheoryoforthomodularlattices（2）Alogicwhosesetoftruthvaluesisanorthomodularlattice第29页，共45页，星期日，2025年，2月5日量子逻辑已经存在！（真正的）问题：能否建立基于量子逻辑的计算理论？第30页，共45页，星期日，2025年，2月5日问题2：何为计算智能？什么是计算可实现的智能？注：这里“计算智能”指的不是作为“神经网络、Fuzzy逻辑、进化计算”等的总称第31页，共45页，星期日，2025年，2月5日智能是什么?我们没有好的答案！第32页，共45页，星期日，2025年，2月5日第1页，共45页，星期日，2025年，2月5日EATCS(欧洲理论计算机科学协会)：主办杂志：TheoreticalComputerScience主办会议：ICALP(InternationalColloquimonAutomata,Languages,andProgramming)第2页，共45页，星期日，2025年，2月5日“TheoreticalComputerScienceismathematicalandabstractinspirit,butitderivesitsmotivationsfrompracticalandeverydaycomputation.Itsaimistounderstandthenatureofcomputationand,asaconsequenceofthisunderstanding,providemoreefficientmethodologies.”第3页，共45页，星期日，2025年，2月5日SectionA:Algorithms,automata,complexityandgamesSectionB:Logic,semanticsandtheoryofprogrammingSectionC:Naturalcomputing(evolutionarycomputing,neuralnetwork,molecularcomputring,quantumcomputing,…)第4页，共45页，星期日，2025年，2月5日美国的理论计算机科学：ACMSTOC,IEEEFOCS算法与复杂性，人工智能理论（如LogicalAI）第5页，共45页，星期日，2025年，2月5日欧洲的理论计算机科学：形式化方法，形式语义学，…第6页，共45页，星期日，2025年，2月5日我国在理论计算机科学（包括美式、欧式）方面有许多非常出色的工作如何进一步发展我国的理论计算机科学？第7页，共45页，星期日，2025年，2月5日P.R.Halmos:“问题是数学的心脏”推而广之：“问题是一切（纯）科学的心脏”发展理论计算机科学，我们需要好的问题！第8页，共45页，星期日，2025年，2月5日波兰（华沙、里沃夫）数学学派的启示：有自己特色的、根本性的问题有与国际上同类工作相同的深度第9页，共45页，星期日，2025年，2月5日问题1：可否建立基于量子逻辑（或其它非经典逻辑）的计算理论？是否需要建立这样的理论？第10页，共45页，星期日，2025年，2月5日Anaxiomatizationofamathematicaltheoryconsistsofasystemoffundamentalnotionsaswellasasetofaxiomsaboutthesenotions第11页，共45页，星期日，2025年，2月5日Amathematicaltheoryisthenthesetoftheoremswhichcanbederivedfromtheaxioms第12页，共45页，星期日，2025年，2月5日Oneneedsacertainlogictoprovidetoolsforreasoninginthederivationofthesetheorems