There is no shortage of popular books and lectures on math—but they can only teach us so much. Mathematics has long been presented as a sanctuary from confusion and doubt, a place to go in search of ...
The surprise of Kurt Gödel's incompleteness theorem of 1931 lay not so much in the incompleteness itself, but that it was found in so simple a mathematical theory as first-order arithmetic. It follows ...
The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results