Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Quantum Formalism
    @quantumformalism
    @/all Here are the session slides for those who need printing https://app.box.com/s/ta7sfb50lykwswqlc4pmphqsrk7t5tfg
    Of course I may change them if I spot errors
    The details to join the live session due in about 45 minutes:

    URL: https://www.crowdcast.io/e/ky2zdv4a

    Password: QFG//?2%%+kruxe345@#

    Aditya Giridharan
    @aditya-giri

    there's another quantum mechanics course happening (live sessions etc.) conducted by dr florian marquardt (director of the planck institute) - I've liked it so far

    https://pad.gwdg.de/Foundations_Of_Quantum_Mechanics

    Amir Ebrahimi
    @amirebrahimi
    Thank you for the article on Bourbaki, @quantumformalism - question for anyone in the know - I was told by a colleague that Bourbaki's plan to reduce all of mathematics to a few axioms and build other maths in a tree-like structured was shattered. Is that the case? Is that because of Godel?
    soham
    @e-eight_gitlab
    I wasn't aware that they had a plan like that. Seems similar to one of Hilbert's plan. Godel's incompleteness theorem did shatter Hilbert's plan, afaik.
    George Zipperlen
    @George-Zipperlen_gitlab
    Here's a good introduction to Bourbaki: https://mathshistory.st-andrews.ac.uk/Biographies/Bourbaki/
    Amir Ebrahimi
    @amirebrahimi
    Thanks @George-Zipperlen_gitlab
    George Zipperlen
    @George-Zipperlen_gitlab
    You're welcome. I'm looking for Halmos' Scientific American article, but it might be behind a paywall.
    Quantum Formalism
    @quantumformalism
    @amirebrahimi Here is nice talk https://www.youtube.com/watch?v=ecHgsEI5CRs
    about the Bourbaki group and their philosophy
    The talk features some of the main characters/founding members of the group
    One particular character mentioned is Alexander Grothendieck - here is a nature cover of him https://www.nature.com/articles/517272a
    I remember hearing jokes that mathematicians were divided in two categories:
    Category A: Those who understand Grothendieck and his abstractions
    Category B: Those who have no clue about Grothendieck 's work
    :)
    Quantum Formalism
    @quantumformalism
    Yes Godel's work put Hilbert's axiomatic/formalist agenda into question
    Speaking of Hilbert, here is an article about his famous 6th problem aimed at bringing the axiomatic method to physics: https://arxiv.org/abs/1803.03599
    1 reply
    Quantum Formalism
    @quantumformalism
    Here is an interesting article too for those coming from CS background: https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/
    As a side reference, this project also interesting https://coq.inria.fr/
    soham
    @e-eight_gitlab
    I love these automated theorem provers. The isomorphism between computer programs and mathematical proofs (Curry-Howard correspondence) is fascinating!
    Quantum Formalism
    @quantumformalism
    @/all The registration details for the upcoming session has been sent to those who registered for the previous session. Please feel free to dm me if you haven't received the invitation
    Quantum Formalism
    @quantumformalism
    @/all Apologies there will be 30 minutes delay! Due to issues Im having with hosted latex, I think AWS having issues
    Currently doing the slides!
    Decided to cover more than expected for this session
    Aditya Giridharan
    @aditya-giri
    oh, aws-east-1 still down?
    looks like I'll have to watch the recap then :grimacing: see you guys next week!
    Quantum Formalism
    @quantumformalism
    See you in 20 minutes or so!
    George Zipperlen
    @George-Zipperlen_gitlab

    Perhaps some might find this helpful in getting some intuition for the meaning of determinants:

    In 2 dimensional (real) geometry, the determinant of a linear transformation A is the area of the unit square after it has been multiplied by A.

    Volume in 3 dimensions, hypervolume in n dimensions.

    Aditya Giridharan
    @aditya-giri
    Hi @quantumformalism, if the YouTube lectures do get taken down, would it be possible to share the recordings within the group?
    Aditya Giridharan
    @aditya-giri
    Also, does the new rule apply to unlisted videos as well?
    Aditya Giridharan
    @aditya-giri
    Okay I just realised the videos would be on crowdcast. Thanks.
    Aditya Giridharan
    @aditya-giri
    On the second slide, under Proposition 1.0, it should be Axe = exA = A
    Quantum Formalism
    @quantumformalism
    @aditya-giri Thanks for the typo notice - will correct it and reupload the slides
    Yes the videos will be available on Crowdcast
    Unlisting the videos on YouTube will not solve the problem because I believe Google will still be able to serve ads
    Aditya Giridharan
    @aditya-giri
    I see. That's a bummer :/
    Quantum Formalism
    @quantumformalism
    @/all Starting this Friday, you won't be required to register each time with a private password as we will make the session publicly available to anyone who want to join as long as they have crowdcast. Here is the registration page for Friday: https://www.crowdcast.io/e/4t13cjxe
    Quantum Formalism
    @quantumformalism
    I have also just sent an email explaining in more detail
    Quantum Formalism
    @quantumformalism
    @/all In principle there will be a fireside chat on Tuesday December 15
    With Laur, the founder of this cool quantum gaming startup https://www.youtube.com/watch?v=-kYMRepeXQs&feature=youtu.be
    I would like nominate two people for moderation this time. Was thinking @aditya-giri and @amirebrahimi ?
    The others, don't worry you will have a chance to moderate because we'll keep running the fireside chats even after the foundation module finishes
    So @aditya-giri and @amirebrahimi let me know if you would like to moderate/conduct the fireside with Laur
    Amir Ebrahimi
    @amirebrahimi
    @quantumformalism - sounds good to me
    Btw, I'm finding the Serre text a little hard to follow, so if you have other options for further readings I cast my vote for one of those :)
    Quantum Formalism
    @quantumformalism
    Ok thanks @amirebrahimi for letting me know