The role of theorem proving in systems biology

详细信息	查看全文 | 推荐本文 |

• 作者：Olaf Wolkenhauer^a ; ^b ; ^{olaf.wolkenhauer@uni-rostock.de} ; ; Darryl Shibata^c ; ^{dshibata@usc.edu} ; Mihajlo D. Mesarovi膰^d ; ^{mdm5@case.edu}
• 关键词：Dynamical systems theory ; Mathematical general systems theory ; Multilevel systems ; Tissue organization
• 刊名：Journal of Theoretical Biology
• 出版年：2012
• 期刊代码：79_00225193
• 类别：mt
• 出版时间：7 May, 2012
• 卷：300
• 期：Complete
• 页码：57-61
• 文件大小：150 K

摘要

Theorems offer a rarity in biology, a guarantee that something will always be true if certain conditions are met. We show that modeling and theorem proving are distinct while playing mutually supporting roles in understanding cellular phenomena. Using two recently proven theorems from systems biology as examples, we demonstrate that theorems are not an alternative to mechanistic models. Rather, theorem proving, in conjunction with conventional mathematical (mechanistic) modeling, is an essential tool for a deeper understanding in systems biology.