Nice discussion! Always a pleasure to listen to Prof Hamkins, hes a really gifted man explaining these topics. The book on logic sounds very interesting, looking forward to it.
I find it interesting that the recent development of Homotopy Type Theory had to invent an informal proof system in order to develop their intuition about the underlying formal system, which arose first.
@@DigitalGnosis Yes, that was my clock, which has a swinging chain escapement mechanism. I am truly very sorry that it served as a distraction; I would have stopped it if I had known.
![Lp. Сердце Вселенной #60 РОЖДЕНИЕ ЛОЛОЛОШКИ [Финал] • Майнкрафт](http://i.ytimg.com/vi/YoR0pAV9FVQ/mqdefault.jpg)
Nice discussion! Always a pleasure to listen to Prof Hamkins, hes a really gifted man explaining these topics. The book on logic sounds very interesting, looking forward to it.
I find it interesting that the recent development of Homotopy Type Theory had to invent an informal proof system in order to develop their intuition about the underlying formal system, which arose first.
They look like the same person at different age
This kid clicking his mouse and keyboard while my man is talking is driving me nuts.
It wasn't me clicking, if you look in the background you'll see prof Hamkins has some sort momentum thing going and that's clicking
@@DigitalGnosis Yes, that was my clock, which has a swinging chain escapement mechanism. I am truly very sorry that it served as a distraction; I would have stopped it if I had known.
I don't think it's that bad!
@@DigitalGnosis maybe it’s a Digital Dia-Gnosis of me being a whiny internet snark! 😅
Math!!!! I can't hang! Nice discussion though!