Applied Mathematical Logic For The Practicing Researcher

On Brains, Minds, And Their Possible Uses

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".

Jan Hendrik Kirchner

Apr 20, 2022

Share

On Brains, Minds And Their Possible Uses

Applied Mathematical Logic For The Practicing Researcher

Asking for a friend: what happened to Richard Hamming's social status after he started asking those pointed questions about the importance of research questions and individual career decisions? Was he, like, actually banished from the lunch table…

Discussion about this episode

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts