Short-circuiting the definition of mathematical knowledge for an artificial general intelligence (Q2234052)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7410622
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Short-circuiting the definition of mathematical knowledge for an artificial general intelligence |
scientific article; zbMATH DE number 7410622 |
Statements
Short-circuiting the definition of mathematical knowledge for an artificial general intelligence (English)
0 references
18 October 2021
0 references
AGI
0 references
machine knowledge
0 references
quantified modal logic
0 references
0 references
0.6245253086090088
0 references
0.613054633140564
0 references
0.6090692281723022
0 references
0.607571005821228
0 references
