Justification and foundations of mathematics according to Frege and according to Hilbert (Q2849102)

This paper is about the justification and the foundations of mathematics as handled by Frege and Hilbert; intuitionism, as proposed by Brouwer, is not treated on purpose. The paper gives a historical comparison of the topics; as a matter of fact, short contributions are given on the following subjects (principles of Frege and Hilbert are compared with respect to each other). We mention the contents:NEWLINENEWLINE Frege: 1. The logic project: 1a. Logic ``versus'' psychologic or objectivity ``versus'' subjectivity; 1b. The legitimation of propositions ``a priori/a posteriori'', analytic/synthetic; 1c. The logical justification of definitions and principles; 1c. The geometrical axioms and the logic laws of arithmetics; 1d. The logical justification of proofs.NEWLINENEWLINE Hilbert: 2. The axiomatic justification: 2a. The justification of the axiomatic system of arithmetic; 2b. The justification of abstract mathematics as seen from the Hilbert method.NEWLINENEWLINE 3. Conclusion: logical justification, axiomatic justification of foundations and evolution of science.NEWLINENEWLINEFor the entire collection see [Zbl 1236.03004].