TOPIC
All the Math you missed, (AI ⋂ ML*) at the intersection of AI and ML* (Sat, 29th Oct, 1630 hrs).
MOTIVATION
ML* is Mathematical LOGIC which most non-math majors, science, CS and engineering folks donot learn. That's a big loss !
While AI provides us a strong framework for 'Symbolic Execution', it's mathematical LOGIC that proves to be an extremely rich ground for computer science.
In this overview session, we make a case for strong ALGEBRAIZATION of entire computer science and how it is beginning to effect the IT industry.
We will be discussing multiple case studies.
Your active participation is solicited and appreciated during the session.
ONLINE
We use JITSI which has Audio, Video and Chat integrated in a single interface. Since JITSI is free software based service and has open interface, it is easily accessed using Browser or as a Android app.
JITSI
https://meet.jit.si/SoftwareHub
DAY
Saturday
DATE
2022-10-29
TIME
1630 hrs Ankara, Türkiye
LANGUAGE
English
As a community that believes in Software Freedom, all our sessions are FREE-of-CHARGE.
Code of conduct applies. RSVP is required !
Tüm Türkler davetlidir.
LibreText book reference. Please check out Leary and Kristiansen's book https://math.libretexts.org/Bookshelves/Mathematical_Logic_and_Proof/Book%3A_Friendly_Introduction_to_Mathematical_Logic_(Leary_and_Kristiansen) You can read it online or download the PDF file.
Here is the paper 'On the principle of the excluded middle" by the immensely talented Andrey Kolmogorov. https://www.cs.cmu.edu/~fp/courses/15816-s10/papers/Kolmogorov25.pdf The original thinking worthy of a logician and algebraist that placed Intuitionist Logic on firm footing.
Example of Boolean Sequence in Agda https://bitbucket.org/nicolaikraus/constructive-ordinals-in-hott/src/master/BooleanSequence.agda
MATH ->> CS write a 'proof' for an 'algorithm' that it is correct. a rigorous approach to 'program correctness' !
CS ->> MATH Increased emphasis on "constructions" in all branches of math. replace 'proofs' by 'algorithms'.
Homotopy Type Theory Univalent foundations of Mathematics https://hott.github.io/book/hott-online.pdf.html