6

Formalisation vs. Understanding
We discuss how formalisation using proof assistants, an unconventional way of doing mathematics which seems to disregard Gödel’s …
Declan Thompson
Cite