On Monday, 11 May 2015 16:02:32 UTC+2, Dima Pasechnik wrote:
>
>
>
> On Friday, 8 May 2015 14:31:40 UTC+1, kcrisman wrote:
>>
>> What I find interesting about this article is the almost complete lack of
>> discussing the computer as something to help *discover* theorems then
>> verified "by han
On Friday, 8 May 2015 14:31:40 UTC+1, kcrisman wrote:
>
> What I find interesting about this article is the almost complete lack of
> discussing the computer as something to help *discover* theorems then
> verified "by hand", ala "The Computer as Crucible". Appearances by JH
> Conway, Voevods
>
>
> So the article isn't so much about the use of computers in mathematics as
> it is about this very specific issue.
>
>
Yes, I wasn't intending to say anything else, only that the article at one
point goes on to mention other things people do with computers in math and
doesn't mention "disc
As far as I recall, Veovodsky and company had an issue with the very
complicated proofs they were getting into in homotopy theory. They realised
that humans were no longer sufficient to verify the complex proofs, hence
the big push to use computers to do it.
So the article isn't so much about t
