Internal logic. Foundations of mathematics from Kronecker to Hilbert (Q1396583)
From MaRDI portal
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