“The only way to represent the infinite objects in a finite way is using quantificational logic over tight symbolic structures. That’s why neural networks cannot do basic arithmetic. You need intensions that are symbolic procedures over variables.”

Machine Learning Street Talk
“The Ghost in the Machine” (YouTube)