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.
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.
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.
https://bitbucket.org/nicolaikraus/constructive-ordinals-in-hott/src/master/BooleanSequence.agda
write a 'proof' for an 'algorithm' that it is correct.
a rigorous approach to 'program correctness' !
Increased emphasis on "constructions" in all branches of math.
replace 'proofs' by 'algorithms'.
Univalent foundations of Mathematics
https://hott.github.io/book/hott-online.pdf.html