{"product_id":"hilbert-bernays-foundations-of-mathematics-logical-calculi-and-the-formalization-of-arithmetic-osnovaniya-matematiki-logicheskie-ischisleniya-i-formalizatsiya-arifmetiki-1979-in-russian","title":"Hilbert, Bernays. Foundations of Mathematics: Logical Calculi and the Formalization of Arithmetic (Osnovaniya matematiki. Logicheskie ischisleniya i formalizatsiya arifmetiki). 1979. In Russian.","description":"\u003cp\u003eГильберт, Давид, Бернайс, Пауль. Основания математики. Логические исчисления и формализация арифметики. Том I двухтомной монографии. Серия «Математическая логика и основания математики». Перевод с немецкого Н.М. Нагорного. Под редакцией С.И. Адяна. Издание первое (перевод), со второго немецкого издания (Springer, 1968).\u003cbr\u003eМосква : Наука, Главная редакция физико-математической литературы, 1979. 560 страниц.\u003cbr\u003eТвердый переплет. Увеличенный формат. Тираж 18 000 экземпляров.\u003cbr\u003eПереплет хороший: минимальный износ. Блок хороший: чистый, крепкий.\u003cbr\u003e***\u003cbr\u003eHilbert, David, and Bernays, Paul. Foundations of Mathematics: Logical Calculi and the Formalization of Arithmetic. Volume I of the two-volume work. Series: Mathematical Logic and the Foundations of Mathematics. Translated from the German by N. M. Nagorny. Edited by S. I. Adyan. First edition of the Russian translation, from the second German edition (Springer, 1968).\u003cbr\u003eMoscow : Nauka, Main Editorial Board for Physical and Mathematical Literature, 1979. 560 pp.\u003cbr\u003eHardcover. Enlarged format. Print run of 18,000 copies.\u003cbr\u003eBinding good: minimal wear. Text block good: clean and firm.\u003c\/p\u003e\n\u003cp\u003eThe Russian translation of the first volume of \"Grundlagen der Mathematik,\" the monumental two-volume work by David Hilbert (1862-1943), one of the most influential mathematicians of the twentieth century, and his collaborator Paul Bernays (1888-1977), a leading figure in proof theory and the philosophy of mathematics. First published in German in the 1930s and here translated from the thoroughly revised second edition of 1968, the work stands as the definitive statement of Hilbert's program: the attempt to secure the foundations of classical mathematics through finitary proof-theoretic methods, formal axiomatic systems, and the metamathematical study of consistency. The present first volume develops formal axiomatics and the decision problem, elementary arithmetic and the scope of finitary reasoning, and the logical calculi culminating in the formalization of arithmetic, laying the technical groundwork that the second volume (published in Russian translation in 1982) extends into full proof theory. Though Gödel's incompleteness theorems (1931) fundamentally reshaped the horizon of Hilbert's original program, \"Grundlagen der Mathematik\" remains an indispensable historical and technical monument of mathematical logic, still consulted for its systematic and unusually thorough treatment of formal proof theory. Edited by Sergei Adyan, a leading Soviet logician and algebraist, this translation made the founding text of Hilbert's school directly accessible to the Soviet mathematical community and completes, alongside Hilbert-Ackermann's earlier \"Principles of Mathematical Logic,\" the core canon of Hilbertian foundational literature available in Russian.\u003c\/p\u003e","brand":"Stanza Rare Books","offers":[{"title":"Default Title","offer_id":44682593042474,"sku":null,"price":60.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0701\/6359\/5306\/files\/IMG_1765_4f87f397-96aa-4743-9c3d-6876d6308d1f.jpg?v=1786803427","url":"https:\/\/stanzararebooks.com\/products\/hilbert-bernays-foundations-of-mathematics-logical-calculi-and-the-formalization-of-arithmetic-osnovaniya-matematiki-logicheskie-ischisleniya-i-formalizatsiya-arifmetiki-1979-in-russian","provider":"Stanza Rare Books","version":"1.0","type":"link"}