OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
32
)
Automated theorem proving
AGI-complete
in general? Obviously. But still, a lot can be done. See e.g.:
The Busy Beaver Challenge
deciders
Tagged
Automated theorem proving by halting problem reduction
Ancestors
AI by capability
Artificial intelligence
Machine learning
Computer
Information technology
Area of technology
Technology
Index
Incoming links
Automated theorem proving by halting problem reduction
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source