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