The collapse of the Hilbert Program: a variation on the GöDelian Theme.

Saul Aaron Kripke

Published in: Bull. Symb. Log. (2022)

Keyphrases

information retrieval
artificial intelligence
computer programs
database
data sets
neural network
multimedia
three dimensional
face recognition
lower bound
artificial neural networks
program execution
clifford algebra