2010, ISBN: 9789048160525

Edição encadernada

[ED: Taschenbuch], [PU: Springer Netherland], Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetica… mais…

[ED: Taschenbuch], [PU: Springer Netherland], Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 264, [GW: 406g], Softcover reprint of hardcover 1st ed. 2002, Banküberweisung, PayPal, [CT: Sonstiges / Sonstiges]<

ISBN: 9789048160525

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker''s general arithme… mais…

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker''s general arithmetic of forms (polynomials) together with Fermat''s infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker''s work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer.The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene. Books List_Books<

2010, ISBN: 9789048160525

Livro de bolso, Edição encadernada

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Yvon Gauthier was born in Drumm… mais…

[ED: Kartoniert / Broschiert], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Yvon Gauthier was born in Drummondville, Québec in 1941. He has studied in Heidelberg and has been Research Fellow in Berkeley and Leningrad (St-Petersburg). He, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Softcover, 251, [GW: 409g], Softcover reprint of hardcover 1. Auflage 2002, Banküberweisung, PayPal<

2009, ISBN: 9789048160525

Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2002, 264 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Buch, 0.9 kg, Logik, Philosophie, Soz… mais…

Springer Netherlands, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2002, 264 Seiten, Publiziert: 2009-12-28T00:00:01Z, Produktgruppe: Buch, 0.9 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Mathematik, Naturwissenschaften & Technik, Verschiedenes, Springer Netherlands, 2009<

2010, ISBN: 9789048160525

Foundations of Mathematics from Kronecker to Hilbert, Buch, Softcover, Softcover reprint of hardcover 1st ed. 2002, [PU: Springer], Springer, 2010