Re: [Computer-go] Mathematics in the world

2016-02-04 Thread uurtamo .
Robert, Just as an aside, I really respect your attention to detail and your insistence that proof technique follow generalizing statements about aspects of go. I think that the counting problems recently were pretty interesting (number of positions versus number of games). The engineering

Re: [Computer-go] Mathematics in the world

2016-02-02 Thread Robert Jasiek
On 02.02.2016 13:05, "Ingo Althöfer" wrote: when a student starts studying Mathematics (s)he learns in the first two semesters that everything has to be defined waterproof. Later, in particular when (s)he comes near to doing own research, you have to make compromises - otherwise you will never

Re: [Computer-go] Mathematics in the world

2016-02-02 Thread Robert Jasiek
On 02.02.2016 13:05, "Ingo Althöfer" wrote: For research in general it is good to have waves: Research is faster if informalism and formalism progress simultaneously (by different people or in different papers). -- robert jasiek ___ Computer-go

Re: [Computer-go] Mathematics in the world

2016-02-02 Thread Ingo Althöfer
Hi Robert, we met for the first time at the EGC 2000 in Berlin-Strausberg. I know your special ways of argumenting - and think that you are an enrichment both for the go world and for the computer go scene. But ... > Without clarity, progress is delayed. Every > professor at university will