I've become more interested in this topic recently, and this is one of the BEST videos on it. There isn't much information about i. I think the philosophical implications are enormous, and it connects well with the new epistemological approach to measurement, and in general our vew of the world.
Hi! Around 52:25 you mention a book but I can't grasp the author or title. I'm very interested in reading more about intuitionistic logic, could you comment what the author and book title? :) Thank you for an interesting introduction to this interesting topic!
I was referring to Troelstra & van Dalen "Constructivism in Mathematics", which comes in 2 parts books.google.co.uk/books/about/Constructivism_in_Mathematics_Vol_1.html?id=-tc2qp0-2bsC&redir_esc=y books.google.co.uk/books/about/Constructivism_in_Mathematics_Vol_2.html?id=DPLiBQAAQBAJ&redir_esc=y They are not cheap but maybe you can get them from a library. Apparently they are also available as an ebook. Or maybe somebody scanned them in... :-)
I've become more interested in this topic recently, and this is one of the BEST videos on it. There isn't much information about i. I think the philosophical implications are enormous, and it connects well with the new epistemological approach to measurement, and in general our vew of the world.
have you read logiciel by AA Cavia?
Sheaves in geometry and logic by Saunders Maclane would be a reference maybe.
Hi! Around 52:25 you mention a book but I can't grasp the author or title. I'm very interested in reading more about intuitionistic logic, could you comment what the author and book title? :) Thank you for an interesting introduction to this interesting topic!
I was referring to Troelstra & van Dalen "Constructivism in Mathematics", which comes in 2 parts
books.google.co.uk/books/about/Constructivism_in_Mathematics_Vol_1.html?id=-tc2qp0-2bsC&redir_esc=y
books.google.co.uk/books/about/Constructivism_in_Mathematics_Vol_2.html?id=DPLiBQAAQBAJ&redir_esc=y
They are not cheap but maybe you can get them from a library. Apparently they are also available as an ebook. Or maybe somebody scanned them in... :-)
Thorsten Altenkirch oh I didn’t realize you answered. Thank you so much. :)
Could you recommend some books/articles/etc about intuitionistic logic for dummies? Explanation level in a video is a bit advanced for me.
I am writing a book just now. But it is only half finished and just now I am busy with teaching
@@ThorstenAltenkirch Hello, is there an update? How's the book going?
Interesting
Why it's always the german language subtitle on the videos? 😭😭😭Suffering...