Short-circuiting the definition of mathematical knowledge for an artificial general intelligence

DOI10.1007/978-3-030-67220-1_16MaRDI QIDQ2234052zbMATH OpenOpenAlexFDO

Authors Samuel A. Alexander

Publication date 18 October 2021

Full work available at URL https://philpapers.org/rec/ALESTD-3

zbMATH Keywords

AGImachine knowledgequantified modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Mathematical knowledge management (68V30)

Recommendations

• Universal knowledge-seeking agents
• scientific article; zbMATH DE number 589744
• Universal knowledge-seeking agents
• A machine that knows its own code
• A perspective on symbolic mathematical computing and artificial intelligence

Cites work

• A machine that knows its own code
• Absolute Versions of Incompleteness Theorems
• Destructive defeat and justificational force: the dialectic of dogmatism, conservatism, and meta-evidentialism
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Fast-collapsing theories
• scientific article; zbMATH DE number 3891353 (Why is no real title available?)
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Two Notes on Notation

This page was built for publication: Short-circuiting the definition of mathematical knowledge for an artificial general intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2234052)