キャロル・カープ賞 (Carol Karp Prize) は、記号論理学会 (Association for Symbolic Logic) より授与される賞の一つ。5年に一度、数理論理学における最も卓越した論文・著書に対し贈られる。なお、この賞は研究者ではなく業績に対して授与されるので、同一人物が複数回受賞することが可能である。1973年、早逝した論理学者キャロル・カープ()を記念して設立された。数理論理学・数学基礎論分野における最も栄誉ある賞とみなされている。

出典:wikipedia