scientific article; zbMATH DE number 4075014

MaRDI QIDQ3807175zbMATH OpenFDO

Authors Gabriele Lolli

Publication date 1988

zbMATH Keywords

complexity theoryGödel theoremsmathematical incompleteness theoremspresent state of mathematical logicreverse mathematicsweak systems of arithmeticzero-knowledge-proofs

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Harvey Friedman's research on the foundations of mathematics
• Logical foundations of mathematics and computational complexity. A gentle introduction
• scientific article; zbMATH DE number 1082863
• Some remarks on Hilbert's program
• Reverse mathematics and its meaning

Cited in

(2)

• Harvey Friedman's research on the foundations of mathematics
• How recent work in mathematical logic relates to the foundations of mathematics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3807175)