Assertion: british mathematician | /r/CapableOf | envision machine
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.