募捐 9月15日2024 – 10月1日2024 关于筹款

A Computer Science Version of Gödel's Theorem (Goedel's...

A Computer Science Version of Gödel's Theorem (Goedel's Theorem)

Bruce J. MacLennan
0 / 3.0
0 comments
你有多喜欢这本书？
下载文件的质量如何？
下载该书，以评价其质量
下载文件的质量如何？
种类:
Mathematics - Logic
年:
1983
出版社:
Defense Technical Information Center
语言:
english
系列:
DTIC_ADA132903, Naval Postgraduate School, NPS52-83-010
文件:
PDF, 1018 KB
IPFS:
CID , CID Blake2b
english, 1983
线上阅读
正在转换
转换为 失败

关键词

 
halts
theorem
mathematics
formal
mathematical
programming
integers
strings
halting
naval
programs
prove
axioms
g6del
initial
postgraduate
reasonably
input
monterey
consider
false
function
godel
suppose
contradiction
decision
mathematicians
report
statement
systems
apply
conclude
decide
express
gbdel
halt
infinite
instruction
assumption
deductive
fermat
foundations
incompleteness
lisp
logical
maclennan
realistic
theorems
variables
applying
argument
assume
completeness
contradictory
contradicts
define
department
derived
execute
formalists