Xah Talk Show 2020-06-04 riots, computer for math proofs, hong kong, china, usa, lisp macro

• George Floyd riot
• Google Chrome, twitter, Facebook. involvement
• classic philosophies of math. logicism, formalism, intuitionism
• math. ultrafinitism, finitism. using computer to do math proofs
• Homotopy Type Theory
• how to recognize propaganda
• sjw, bias, racism, culture, multi-culturalism
• why is america falling apart
• fakenews, clickbaits, capitalism. open source ideology.
• propaganda, marketing, persuasion, brain washing, cult, think different
• who rules the world today
• hong kong riot, falungong, china, us gov
• lisp macros
• heavenly kingdom
• protesters, activists
• lisp macros, symbolic pattern matching

xah_talk_show_2020-06-03.txt