Clik here to view.
Signs Of Signs • 1
Re: Michael Harris • Language About Language There is a language and a corresponding literature that approaches logic and mathematics as related species of communication and information gathering,...
View ArticleClik here to view.
Signs Of Signs • 2
Re: Michael Harris • Language About Language I compared mathematics to a “consensual hallucination,” like virtual reality, and I continue to believe that the aim is to get (consensually) to the point...
View ArticleClik here to view.
Signs Of Signs • 3
Re: Michael Harris • Language About Language And if we don’t, who puts us away? One’s answer, or at least one’s initial response to that question will turn on how one feels about formal realities. As...
View ArticleClik here to view.
Signs Of Signs • 4
Re: Michael Harris • Language About Language But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical” and...
View Article
