Jonathan Gorard

PersonMentioned in 1 video

A key collaborator on the Wolfram Physics Project, who connected Wolfram's models to causal set theory and developed heuristics for automated theorem provers.