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

DOI10.1007/978-3-030-67220-1_16zbMath1474.68342OpenAlexW3121355668MaRDI QIDQ2234052

Samuel A. Alexander

Publication date: 18 October 2021

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

zbMATH Keywords

quantified modal logicAGImachine knowledge

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A machine that knows its own code
• Epistemic theories and the interpretation of Gödel's incompleteness theorems
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Destructive defeat and justificational force: the dialectic of dogmatism, conservatism, and meta-evidentialism
• Fast-collapsing theories
• Two Notes on Notation
• Absolute Versions of Incompleteness Theorems

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