Skip to main content
4 of 4
added 12 characters in body
user avatar
user avatar

The paper “One Hundred and Two Problems in Mathematical Logic” by Harvey Friedman is an article that lists 102 problems in mathematical logic.

These problems were selected in the form of statements "at least as likely as their negations". The problems were open as of 1973, and the article has a postscript from September 1974 with news of three of the problems being solved.