Difference between revisions of "Template:Computable knowledge"
Jump to navigation
Jump to search
imported>Waldyrious (restore years and fiction entries) |
imported>Waldyrious (add General Problem Solver and Viv) |
||
| Line 40: | Line 40: | ||
* [[Gödel's incompleteness theorems|Incompleteness theorem]] (1931) | * [[Gödel's incompleteness theorems|Incompleteness theorem]] (1931) | ||
* [[Memex]] (1945) | * [[Memex]] (1945) | ||
| + | * [[General Problem Solver]] (1959) | ||
* [[Prolog]] (1972) | * [[Prolog]] (1972) | ||
* [[Cyc]] (1984) | * [[Cyc]] (1984) | ||
| Line 48: | Line 49: | ||
* [[Knowledge Graph]] (2012) | * [[Knowledge Graph]] (2012) | ||
* [[Cortana (software)|Cortana]] (2014) | * [[Cortana (software)|Cortana]] (2014) | ||
| + | * [[Viv (software)|Viv]] (2016) | ||
| group3 = In fiction | | group3 = In fiction | ||
| list3 = | | list3 = | ||