On Brains, Minds, And Their Possible Uses
On Brains, Minds, And Their Possible Uses
Applied Mathematical Logic For The Practicing Researcher
0:00
-11:25

Applied Mathematical Logic For The Practicing Researcher

TL;DR: Using the language of model theory to engineer a definition of "computational model".