| 
|
Quote: Rabin's proofs only disprove the feasibility of theorem-proving systems and combinatorially complex data correlations; already abandoned by most of AI
topics >
all references >
references c-d >
Topic:
limitations of artificial intelligence and cognitive science
Topic:
theorem proving systems
Quotation Skeleton
The common misconception is that Rabin's proofs [M.O. Rabin, IFIP, 1974] disprove the feasibility of A.I. They merely disprove the feasibility … [and combinatorially complex data correlations], which has already been abandoned by the large majority of … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: limitations of artificial intelligence and cognitive science (64 items)
Topic: theorem proving systems (20 items)