scientific article; zbMATH DE number 896241

MaRDI QIDQ4883903zbMATH OpenFDO

Authors Antonino Drago

Publication date 6 January 1997

zbMATH Keywords

syntheticinductionintuitionism

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 896240
• scientific article; zbMATH DE number 860252
• scientific article; zbMATH DE number 6288797
• Wittgenstein versus Poincaré on proofs by induction
• scientific article; zbMATH DE number 896234

Cited in

(5)

• Wittgenstein versus Poincaré on proofs by induction
• Poincaré and Prawitz on mathematical induction
• Mathematical induction in ramified type theory
• Vasiliev's paraconsistent logic interpreted by means of the dual role played by the double negation law
• Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle

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 Q4883903)