On a Problem of Formal Logic.London, The London Mathematical Society, 1928 Stock Code: 133471
NotesOriginal offprint of a paper read by Ramsey to the London Mathematical Society on December 13 1928, "primarily concerned with a special case of one of the problems of mathematical logic, the problem of finding a regular procedure to determine the truth or falsity of any given logical formula" p. 264.) This problem is commonly known as the Entscheidungsproblem, or "decision problem", and had been a source of keen debate among logicians before it was proven by Kurt Gödel in 1931 and Alonzo Church in 1936 that David Hilbert, and the other members of the formalist school of anti-logistic mathematics, were mistaken: all arithmetic systems must contain propositions which are not provable in that system.
"Ramsey's main interest in mathematics was in its foundations. His 'The foundations of mathematics', read to the London Mathematical Society on 12 November 1925, was the culmination of the reduction of mathematics to logic undertaken in Russell's and Whitehead's Principia mathematica (1913). On mathematics itself he published only eight pages, 'On a problem of formal logic' (read to the London Mathematical Society on 13 December 1928), but this has since become the basis of a branch of mathematics known as Ramsey theory" (OBNB.)
Octavo, pages -286 + final blank leaf. Wire-stitched as issued in printed grey paper wrappers.
Staples slightly corroded, else a very good copy.
With the exception of framed items*, Peter Harrington offers free delivery on all UK orders of rare books, maps and prints placed through this website. Delivery to USA and the rest of the world is similarly free for orders over £200.
Established in 1969, Peter Harrington is one of the leading rare book firms in the world. It is a proud member of the Antiquarian Booksellers Association – along with ILAB, the PBFA and Lapada – and from shops in Mayfair and Chelsea, London, sells rare books, prints and ephemera to customers across the world.
Tel: +44 (0)20 7591 0220