亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        略作補正

        1996-07-15 05:30:08桑梓勤
        讀書 1996年4期
        關鍵詞:計算機數(shù)學

        桑梓勤

        顧維楨先生在《捕風捉影說思維》中把深奧的數(shù)理邏輯問題用淺顯的日常用語表達出來,很了不起。只是在國內(nèi)專業(yè)工作者看來,有些譯名不夠通用。不揣冒昧,略作補正,以利國內(nèi)讀者閱讀。

        杜爾林(Alam Turing),國內(nèi)譯“圖林”。同樣,“杜爾林考驗”,這里叫“圖林測試”?!案绲聽柌煌暾ɡ怼保@里譯incompleteness為“不完備”。(順便一提,顧先生用“不識廬山真面目,只緣身在此山中”來說明數(shù)學的形式化方法的局限性,是全文最精彩之處。)“普及性高的正式邏輯系統(tǒng)”,猜測原文是First-orderformallogicsystem,如是,這里通譯“一階形式邏輯”。最后,關于“圖林機”的“停機問題”想說些看法。我認為,使用“停機”(halting)一詞,能很好地進行通俗解釋,而用顧文中使用的“癱瘓”,似容易引起歧義。試解釋如下:有些問題輸入計算機,經(jīng)過有限步驟的計算,計算機能夠給出答案(“正確”或者“錯誤”),此時計算機停機了。而另外一些問題,計算機不能在有限步驟中給出答案,即計算機的計算過程在“兜圈子”,永遠兜不出來(不能“停機”)。那么,計算機自身可以判定哪些問題是可以停機的,哪些問題是不能停機的嗎?一九三七年,圖林在建立數(shù)學計算機的抽象計算模型時,就對這個問題給出了否定的回答。即,停機問題和一階邏輯是不可判定的(theundecidabilityofhaltingproblemandfirst-orderlogic)。

        猜你喜歡
        計算機數(shù)學
        計算機操作系統(tǒng)
        穿裙子的“計算機”
        基于計算機自然語言處理的機器翻譯技術應用與簡介
        科技傳播(2019年22期)2020-01-14 03:06:34
        計算機多媒體技術應用初探
        科技傳播(2019年22期)2020-01-14 03:06:30
        我們愛數(shù)學
        信息系統(tǒng)審計中計算機審計的應用
        消費導刊(2017年20期)2018-01-03 06:26:40
        我為什么怕數(shù)學
        新民周刊(2016年15期)2016-04-19 18:12:04
        數(shù)學到底有什么用?
        新民周刊(2016年15期)2016-04-19 15:47:52
        Fresnel衍射的計算機模擬演示
        錯在哪里
        日本女优中文字幕四季视频网站| 日本不卡视频一区二区三区| 亚洲国产精品高清在线| 久久精品国产清自在天天线| 国内精品伊人久久久久影院对白| 国产zzjjzzjj视频全免费| 国产小屁孩cao大人| 激情亚洲的在线观看| 粉色蜜桃视频完整版免费观看在线| 久久久久久久久无码精品亚洲日韩| 无码国产精品一区二区av| 狠狠色噜噜狠狠狠777米奇小说| 亚洲国产另类精品| 最新亚洲精品国偷自产在线| 国产精品三级在线专区1| 日本一道本加勒比东京热| 国产麻豆久久av入口| 久久精品99久久香蕉国产| 久草视频国产| 国内精品极品久久免费看| 亚洲中文字幕精品乱码2021| 精品国产午夜理论片不卡| 中文字幕无码专区一VA亚洲V专| 亚洲三区av在线播放| 亚洲国产果冻传媒av在线观看 | 亚洲天堂av路线一免费观看| 亚洲av无码一区二区三区天堂| 亚洲一区二区三区成人网站| 青春草在线视频精品| 久久精品人妻中文av| 亚洲一区av在线观看| 粗了大了 整进去好爽视频| 国产成+人+综合+亚洲专| 综合久久加勒比天然素人| 一边捏奶头一边高潮视频| 无码少妇精品一区二区免费动态| 一级片久久| 日本熟妇裸体视频在线| 国产成人亚洲综合| 国产女人18毛片水真多| 久久精品国产亚洲av蜜桃av|