Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Kronecker in Contemporary Mathematics, General Arithmetic as a Foundational Programme

Tytuł:
Kronecker in Contemporary Mathematics, General Arithmetic as a Foundational Programme
Autorzy:
Gauthier, Yvon
Data publikacji:
2013
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Źródło:
Reports on Mathematical Logic; 2013, 48; 37-65
0137-2904
2084-2589
Język:
angielski
Prawa:
Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:
Biblioteka Nauki
Artykuł
  Przejdź do źródła  Link otwiera się w nowym oknie
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ödel’s functional Dialectica interpretation for his intuitionistic proof of the consistency of arithmetic.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies