Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Kronecker in contemporary mathematics. general arithmetic as a foundational programme

Gauthier Y.

Reports on Mathematical Logic

2013

Vol. 48

37--65

Kronecker called his programme of arithmetization "General Arithmetic" (Allgemeine Arithmetik). In his view, arithmetic is the building block of the whole edifce of mathematics. The aim of this paper is to show that Kronecker's arithmetical philosophy and mathematical practice have exerted a permanent in uence on a long tradition of mathematicians from Hilbert to Weil, Grothendieck and Langlands. The conclusion hints at a constructivist fnitist stance in contemporary mathematical logic, especially proof theory, beyond Hilbert's programme of fnitist foundations which can be seen as the continuation of Kronecker's arithmetization programme by metamathematical or logical means. It is fnally argued that the introduction of higher-degree polynomials by Kronecker inspired Hilbert's notion of functionals, which in turn in uenced Godel's functional Dialectica interpretation for his intuitionistic proof of the consistency of arithmetic.