Conversation

Notices

1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Friday, 10-Nov-2017 15:19:28 EST ∑ XahLee

   symbolic logic, set theory, model theory, proof theory, type theory, recursion theory, sequent calculus, ZFC, formal languages, ... random learning notes

   http://xahlee.info/math/math_logic_notes.html

   deep in the realm of the cosmo, more than quantum!

   1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Friday, 10-Nov-2017 15:22:37 EST ∑ XahLee

      in reply to

      when reading these, every paragraph have like 10 jargons u dont know. click to read that. Do this, 2 hours a day, after a year, then, u know.

      1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Friday, 10-Nov-2017 15:24:14 EST ∑ XahLee

         in reply to

         for many, easier route is probably to take a online course. These topics are rare. but u can find a basic logic course.

         1. ∑ XahLee (xahlee@noagendasocial.com)'s status on Friday, 10-Nov-2017 16:03:56 EST ∑ XahLee

            in reply to

            when u see a programer blog about #haskell #clojure #lisp, regard it as pure drivel. Sometimes, a CS professor give video talk about haskell etc, that's ok, still, relatively a waste of time.