American philosopher who has made major contributions to neo-logicism (proving and analyzing Frege's Theorem) and to the philosophy of language.
Proved and analyzed Frege's Theorem: Peano Arithmetic is derivable from Hume's Principle alone (in second-order logic), without Basic Law V. This result had been known informally but Heck made it precise — giving neo-logicism its formal core.
Discussing
Ask anything about Richard Heck — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.