.jpg?w=1)
The Origins of Cyberspace collection described as lots 1-255 will first be offered as a single lot, subject to a reserve price. If this price is not reached, the collection will be immediately offered as individual lots as described in the catalogue as lots 1-255.
LÖWENHEIM, Leopold (1878-1947). "Über das Auflösungsproblem im logischen Klassenkalkul." Extract from Sitzungsberichte der Berliner Mathematischen Gesellschaft 7 (1908).
Details
LÖWENHEIM, Leopold (1878-1947). "Über das Auflösungsproblem im logischen Klassenkalkul." Extract from Sitzungsberichte der Berliner Mathematischen Gesellschaft 7 (1908).
8o. Bound with six other offprints or extracts in modern quarter morocco. Provenance: Alwin Korselt (1864-1947).
[Bound with:] LÖWENHEIM. Über die Auflösung von Gleichungen im logischen Gebietekalkul. Offprint from Mathematischen Annalen 68 (1910). -- LÖWENHEIM. Über Möglichkeiten im Relativkalkül. Offprint from Mathematischen Annalen 76 (1915). Löwenheim's "Über Möglichkeiten im Relativkalkül" contains the first appearance of what is now known as the Löwenheim-Skolem theorem, the first theorem of modern logic, anticipating Gödel's completeness theorem of 1930. A summary and English translation of this paper are included in van Heijenoort's From Frege to Göödel (1967).
FIRST SEPARATE EDITIONS, OF EXCEPTIONAL RARITY. These papers "analyzed and improved upon the customary methods for solving equations ... and proved what is now known as Löwenheim's general development theorem for functions of functions" (DSB). This volume is from the library of mathematical logician Alwin Korselt, to whom Löwenheim referred in "Über Möglichkeiten im Relativkalkül," citing Korselt's result that not every formula is condensable (van Heijenoort 1967, 229, 233). Besides the items noticed here, the volume contains offprints or extracts of Löwenheim's "Potenzen im Relatikalkul und Potenzen allgemeiner endlicher Transformationen" (n.d.), "Über Transformationen im Gebietekalkül" (1913), and "Über eine Erweiterung des Gebietekalkuls, welche auch die gewöhnliche Algebra umfasst" (1915). Korselt annotated most of the works in the collection heavily in Gabellsberger shorthand, with problems worked out in the margins; in one paper, Korselt corrected Löwenheim's address. For discussions of Korselt's work, see Grattan-Guiness 2000. OOC 333-335.
8
[Bound with:] LÖWENHEIM. Über die Auflösung von Gleichungen im logischen Gebietekalkul. Offprint from Mathematischen Annalen 68 (1910). -- LÖWENHEIM. Über Möglichkeiten im Relativkalkül. Offprint from Mathematischen Annalen 76 (1915). Löwenheim's "Über Möglichkeiten im Relativkalkül" contains the first appearance of what is now known as the Löwenheim-Skolem theorem, the first theorem of modern logic, anticipating Gödel's completeness theorem of 1930. A summary and English translation of this paper are included in van Heijenoort's From Frege to Göödel (1967).
FIRST SEPARATE EDITIONS, OF EXCEPTIONAL RARITY. These papers "analyzed and improved upon the customary methods for solving equations ... and proved what is now known as Löwenheim's general development theorem for functions of functions" (DSB). This volume is from the library of mathematical logician Alwin Korselt, to whom Löwenheim referred in "Über Möglichkeiten im Relativkalkül," citing Korselt's result that not every formula is condensable (van Heijenoort 1967, 229, 233). Besides the items noticed here, the volume contains offprints or extracts of Löwenheim's "Potenzen im Relatikalkul und Potenzen allgemeiner endlicher Transformationen" (n.d.), "Über Transformationen im Gebietekalkül" (1913), and "Über eine Erweiterung des Gebietekalkuls, welche auch die gewöhnliche Algebra umfasst" (1915). Korselt annotated most of the works in the collection heavily in Gabellsberger shorthand, with problems worked out in the margins; in one paper, Korselt corrected Löwenheim's address. For discussions of Korselt's work, see Grattan-Guiness 2000. OOC 333-335.
Further details
For further information about The Origins of Cyberspace Library and to view the reference catalogue, please visit https://www.historyofscience.com.