计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
4期
56-59
,共4页
心灵哲学%物理主义%Church-Turing-Deutsch原理%量子可计算性%认知逻辑
心靈哲學%物理主義%Church-Turing-Deutsch原理%量子可計算性%認知邏輯
심령철학%물리주의%Church-Turing-Deutsch원리%양자가계산성%인지라집
论证心灵是可计算的,因而为计算作为一门学科提供更丰富的内涵和实例,使计算不在局限于通常的自然过程而进入到人类心理领域.在哲学上,论述心灵哲学中的物理主义,采用最小立场即以依附(Supervene)来解释心灵现象何以是物理的;在逻辑上,我们首次以Church-Turing-Deutsch原理为基础来使Church-Turing论题与实际的物理系统联系起来,从而使本文的结论与量子计算相适合,也使可计算概念与物理学理论相协调,而这正是由Church-Tur-ing论题所定义的可计算概念所没有的地方.还讨论了认知逻辑在使人类情感、感觉和遗忘和记忆等方面的形式化方面的一些工作,这在知识表达和推理以及分布式计算等领域是一个很重要的方向之一.
論證心靈是可計算的,因而為計算作為一門學科提供更豐富的內涵和實例,使計算不在跼限于通常的自然過程而進入到人類心理領域.在哲學上,論述心靈哲學中的物理主義,採用最小立場即以依附(Supervene)來解釋心靈現象何以是物理的;在邏輯上,我們首次以Church-Turing-Deutsch原理為基礎來使Church-Turing論題與實際的物理繫統聯繫起來,從而使本文的結論與量子計算相適閤,也使可計算概唸與物理學理論相協調,而這正是由Church-Tur-ing論題所定義的可計算概唸所沒有的地方.還討論瞭認知邏輯在使人類情感、感覺和遺忘和記憶等方麵的形式化方麵的一些工作,這在知識錶達和推理以及分佈式計算等領域是一箇很重要的方嚮之一.
론증심령시가계산적,인이위계산작위일문학과제공경봉부적내함화실례,사계산불재국한우통상적자연과정이진입도인류심리영역.재철학상,논술심령철학중적물리주의,채용최소립장즉이의부(Supervene)래해석심령현상하이시물리적;재라집상,아문수차이Church-Turing-Deutsch원리위기출래사Church-Turing론제여실제적물리계통련계기래,종이사본문적결론여양자계산상괄합,야사가계산개념여물이학이론상협조,이저정시유Church-Tur-ing론제소정의적가계산개념소몰유적지방.환토론료인지라집재사인류정감、감각화유망화기억등방면적형식화방면적일사공작,저재지식표체화추리이급분포식계산등영역시일개흔중요적방향지일.
