Feel free to write me a message on youtube or get my contact in the About section or googling my contacts. Scripts used in the video are generally foudn at gist.github.co...
Holy moly am I going to have fun with that Hegel and homotopy type theory paper I found on your Github!!!!!
@NikolajKuntner
2 ай бұрын
Go at it and report back. It's really reacting to Urs Schreibers work trying to cast the science of logic to topos theory - check the nLab for those keywords.
@KineHjeldnes
2 ай бұрын
@@NikolajKuntnerFirst read and I loved it. Lots of technicalities which I am yet to understand, although I think I got a coarse grained conceptual understanding since I have been wondering about homotopy type theory and its connection to physics for some time now. I am a philosopher, but I study mathematics at uni these days, with the aim of being able to tackle what these kinds of subjects. I will read it many times, and I have already suggested it in my book club. When (if) I get a better technical understanding, I will probably mail you with some questions. And, have you made a video on it?
@NikolajKuntner
2 ай бұрын
@@KineHjeldnes I'd say the Hegel formalization ideas are very fringe and I don't think Urs pursuit it too strongly. Not sure what to make of it, really, but that should not discourage you. I have a series on topos theory, 3 or 4 videos, which help if you know some set theory already. I read a Hegel bio 4 years ago (still am, technically), and am interested in that stuff infofar as I take Landian accelerationism seriously, those days.
Пікірлер: 4