On December 13--20 2009 at Bristol, there was a meeting devoted to thorough dissection of Harvey Friedman's work on the foundations of mathematics and his statements claimed to be equivalent to consistency of large cardinals, organized by Andrey Bovykin. This archived page from the Bristol website contains some information, including three links to a talk given by Friedman to other mathematicians in attendance. However, none of the video links are archived. Are there any copies of this talk or its materials still in circulation?
$\begingroup$
$\endgroup$
7
-
1$\begingroup$ The link is to Andrey Bovykin's (former) personal webspace at Bristol. If anybody has kept a copy, it's likely to be him. Have you tried contacting him? You can find his Gmail address by searching for him at UFBA. $\endgroup$– Jeremy RickardCommented Jun 10 at 7:27
-
1$\begingroup$ I was there. While my memory is not perfect, I can answer general questions. $\endgroup$– Sam SandersCommented Jun 11 at 7:04
-
1$\begingroup$ @JeremyRickard At the time of posting this question I was only aware of his PDMI address, which I expected to be inactive. Thank you for pointing me to a more current address, I will see if I hear back! $\endgroup$– C7XCommented Jun 11 at 11:59
-
1$\begingroup$ @C7X According to his website, Harvey Friedman presented a variant of this talk: u.osu.edu/friedman.8/files/2014/01/UnpThms110509-q4xc2f.pdf $\endgroup$– Sam SandersCommented Jun 12 at 9:06
-
1$\begingroup$ So I do not think there are (full) recordings of the 50hours of the "boolean relation theory" (BRT) workgroup. This was a concerted effort at proof-reading Harvey's book on BRT, to be found on his website and one day in print. One of the participants found a small (fixable) error, but otherwise the results were correct. I contributed "intuitive explanations" for the chapters, section, ... For BRT, the book on Harvey's website should explain everything. $\endgroup$– Sam SandersCommented Jun 13 at 18:49
|
Show 2 more comments