Science and Faith, two good friends…
If no human can check a proof of a theorem, does it really count as mathematics? That’s the intriguing question …
If no human can check a proof of a theorem, does it really count as mathematics? That’s the intriguing question …