Internal logic. Foundations of mathematics from Kronecker to Hilbert (Q1396583): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Roman Murawski / rank | |||
Property / reviewed by | |||
Property / reviewed by: Roman Murawski / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Internal logic. Foundations of mathematics from Kronecker to Hilbert |
scientific article |
Statements
Internal logic. Foundations of mathematics from Kronecker to Hilbert (English)
0 references
3 July 2003
0 references
The book is devoted to the study of certain tendencies and ideas in the foundations of mathematics which were especially developed in the period 1880-1930. It concerns the internal logic, where internal means the same as what was expressed as ``inhaltlich''. Hence internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic. The author considers Kronecker's general arithmetic of forms (polynomials). This, together with Fermat's infinite descent, is used in the proof of the internal consistency. The whole problem is studied in the context of a radical arithmetization of mathematics and logic. Ideas and proposals of Hilbert, Frege, Cantor, Dedekind and Husserl are discussed. The book can be of interest to logicians, philosophers and mathematicians (working in the foundations of mathematics) as well as to historians.
0 references
foundations of mathematics
0 references
internal logic
0 references
logic of content
0 references
constructive logic of arithmetic
0 references
Kronecker's general arithmetic of forms
0 references
Fermat's infinite descent
0 references
internal consistency
0 references
arithmetization of mathematics and logic
0 references
Hilbert
0 references
Frege
0 references
Cantor
0 references
Dedekind
0 references
Husserl
0 references