毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2014年
2期
27-29
,共3页
冯·诺伊曼%计算机%逻辑
馮·諾伊曼%計算機%邏輯
풍·낙이만%계산궤%라집
冯·诺伊曼是第一个把注意力从研究自动机的机械制造转移到研究自动机逻辑形式上的计算机专家,他认为在当前还没有真正拥有自动机理论,即恰当的数理逻辑理论.他对自动机的数学与现存的逻辑学做了比较:1.自动机数学中使用分析数学方法,而形式逻辑是组合的,2.自动机逻辑理论是概率的,而数理逻辑是决定的;并提出了自动机新逻辑理论的特点,指出了缺乏恰当数学理论所造出的后果.
馮·諾伊曼是第一箇把註意力從研究自動機的機械製造轉移到研究自動機邏輯形式上的計算機專傢,他認為在噹前還沒有真正擁有自動機理論,即恰噹的數理邏輯理論.他對自動機的數學與現存的邏輯學做瞭比較:1.自動機數學中使用分析數學方法,而形式邏輯是組閤的,2.自動機邏輯理論是概率的,而數理邏輯是決定的;併提齣瞭自動機新邏輯理論的特點,指齣瞭缺乏恰噹數學理論所造齣的後果.
풍·낙이만시제일개파주의력종연구자동궤적궤계제조전이도연구자동궤라집형식상적계산궤전가,타인위재당전환몰유진정옹유자동궤이론,즉흡당적수리라집이론.타대자동궤적수학여현존적라집학주료비교:1.자동궤수학중사용분석수학방법,이형식라집시조합적,2.자동궤라집이론시개솔적,이수리라집시결정적;병제출료자동궤신라집이론적특점,지출료결핍흡당수학이론소조출적후과.
