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

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Replicable theory

  • Benjamin Lucien Kaminski

摘要

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.