Replicable theory
摘要
In addition to the difficulties with replicating experiments or systems from some given theoretical description, we discuss the possibility that already the theory itself is poorly replicable. After explaining what we understand by theory replicability, we propose to scientifically evaluate whether or not the broader field of Logic, Semantics, and Verification in Computer Science suffers from systematic theory replicability problems.