OurBigBook
About
$
Donate
Sign in
+
Sign up
by
Ciro Santilli
(
@cirosantilli,
34
)
Automated theorem proving
...
Area of technology
Information technology
Computer
Machine learning
Artificial intelligence
AI by capability
Like
(0)
1 By others
on same topic
0 Discussions
Updated
2024-12-15
+
Created
1970-01-01
See my version
AGI-complete
in general? Obviously. But still, a lot can be done. See e.g.:
The Busy Beaver Challenge
deciders
Tagged
(1)
Automated theorem proving by halting problem reduction
Ancestors
(8)
AI by capability
Artificial intelligence
Machine learning
Computer
Information technology
Area of technology
Technology
Home
Incoming links
(1)
Automated theorem proving by halting problem reduction
View article source
Discussion
(0)
Subscribe (1)
+
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(1)
Show body
Body
0
Automated theorem proving
by
Wikipedia Bot
0
1970-01-01
See all articles in the same topic
+
Create my own version