Disproving false conjectures

MaRDI QIDQ3408129zbMATH OpenFDO

Authors Serge Autexier, Carsten Schürmann

Publication date 24 February 2010

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1348458
• scientific article; zbMATH DE number 4164177
• Turning decision procedures into disprovers
• Truthful Monadic Abstractions
• Logic Based Program Synthesis and Transformation

Cited in

(9)

• The inevitability of inconsistent abstract spaces
• Falsification and Future Performance
• Logic Based Program Synthesis and Transformation
• Disproving using the inverse method by iterative refinement of finite approximations
• Withdrawing unfalsifiable hypotheses
• scientific article; zbMATH DE number 3874657 (Why is no real title available?)
• Turning decision procedures into disprovers
• Falsificationism falsified
• Proving infinite satisfiability

This page was built for publication: Disproving false conjectures

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