Church

The Entscheidungsproblem (1930s)

In the early 1930s, the provincial town of Princeton, New Jersey was already well on its way to becoming a hotbed for mathematical exploration.

Oct 4, 2024 •

Jørgen Veisdal

When Turing met Wittgenstein (1939)

Famously, after obtaining his Ph.D.

Apr 22, 2024 •

Jørgen Veisdal

Turing Uncomputability

As Leibniz suggested, we appear to live in the best of all possible worlds, where the computable functions make life predictable enough to be…

Aug 13, 2021 •

Jørgen Veisdal

Alan Turing in America

“Beyond the way they speak, there is only one (no two!) features of American life which I find really tiresome. The impossibility of getting a bath in…

May 14, 2021 •

Jørgen Veisdal

#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