Assertion: british mathematician | /r/CapableOf | build on all this work
Facets:
Source sentences:
text: Building on all this work, one British mathematician envisioned a machine that could help us decide which mathematical statements are true, false, or undecidable.