Jonathan Gorard
Person
A key collaborator on the Wolfram Physics Project, who connected Wolfram's models to causal set theory and developed heuristics for automated theorem provers.
Mentioned 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.