PL EN


Preferences help
enabled [disable] Abstract
Number of results
2013 | 48 |
Article title

Kronecker in Contemporary Mathematics, General Arithmetic as a Foundational Programme

Authors
Content
Title variants
Languages of publication
PL
Abstracts
PL
Kronecker called his programme of arithmetization “General Arithmetic” (Allgemeine Arithmetik). In his view, arithmetic is the building block of the whole edifice of mathematics. The aim of this paper is to show that Kronecker’s arithmetical philosophy and mathematical practice have exerted a permanent influence on a long tradition of mathematicians from Hilbert to Weil, Grothendieck and Langlands. The conclusion hints at a constructivist finitist stance in contemporary mathematical logic, especially proof theory, beyond Hilbert’s programme of finitist foundations which can be seen as the continuation of Kronecker’s arithmetization programme by metamathematical or logical means. It is finally argued that the introduction of higher-degree polynomials by Kronecker inspired Hilbert’s notion of functionals, which in turn influenced G¨odel’s functional Dialectica interpretation for his intuitionistic proof of the consistency of arithmetic.
Keywords
PL
 
Publisher
Year
Volume
48
Physical description
Dates
published
2013
online
07 - 07 - 2015
Contributors
author
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2013-volume-48-article-2906
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.