Philosophy of Language, Type Theory, Category Theory

By

 Analytic Philosophy

Analytic Philosophy (n-Lab)

Analytic Philosophy (Stanford)


Philosophy of Language

Philosophy of Language (Wikipedia)

Philosophy (n-Lab)

Philosophy of Linguistics (Stanford)


Type Theory

Type Theory (n-Lab)

Type Theory (Stanford)

History of Type Theory (Wikipedia)

The Philosophy Behind Type Theory (Number Analytics)


Homotopy Type Theory

Homotopy Type Theory (n-Lab)

Homotopy Type Theory (Wikipedia)

The Philosophy of Homotopy Type Theory (Andrei Rodin)

Homotopy Type Theory (HoTT)


Category Theory

Category Theory (n-Lab)

Category and Foundations (n-Lab)

Timeline of Category Theory (n-Lab)


Type Theory and Category Theory

Type Theory and Category Theory (n-Lab)

...

YouTube on Linguistics, Analytic Philosophy, and Computing








...

Comments

Post a Comment

Popular posts from this blog

Math Self-Study

By
Image
Overview Overview Understanding Math (GitHub) Awesome Math (GitHub) Learning How to Read a Math Article Mathematical Discovery OSSU Curriculum (GitHub) Guide to Math and Physics Self-Learning (Futurism) Visual Math (YouTube) , Visual Math (Slides per Topic) Michael Taylor   Starter YouTube Videos Basic Notions YouTube Videos (ICTP) Math Maps A Map of Math (YouTube) A Map of Math (Quanta Magazine) Resources Abakcus American Mathematical Society (AMS) Cambridge Digital Library of Mathematical Functions Harold's Tutoring Institute for Advanced Studies Logic Matters Math Book Reviews Math Conferences (Math Meetings) Math Conferences (Hiro Lee Tanka) Mathematics Textbooks for Self-Study Milne Open Textbooks MIT Mathematics MIT Online OER Commons Open Culture: How to Learn for Free Open Culture Courses Open Culture Textbooks Open Library OpenStax Open Textbook Library Project Euclid Stitz Zeager Open Source Mathematics (Pre-Calculus) UCLA University of Texas Yale Reading Lists American I...
Read more

What Counts

By
Image
Overview Counting Number Origin(s) of Number Communicating Number (Penn State) History of Writing A Partial History of Counting Counting? Writing and Numbers History of Numeral Systems Construction of the Natural Numbers (MIT) Construction of Number Systems A Partial History of Numbers Number Theory Peano Axioms Peano Difference (Philosophy) Development Counting Bee Numbers and Language Timeline  Evolution Overview Timeline The Big Bang: ~13.8 Billion Years Ago The Earth: ~4.5 Billion Years Ago Human Beings: ~3 Million to ~1.9 Million Years Ago Modern Human Beings: ~200,000 Years Ago Human Language; ~150,000 Years Ago Evidence of Counting: ~46,000 to ~10,000 Years Ago The Anthropocene: ~8,000 Years Ago Evidence of Human Language: ~6,000 Years Ago Evidence of Writing (i.e., not Proto-Writing): ~5,200 Years Ago Questions Is Counting Prior to Number? Is There Number without Language? Is Counting Prior to Language?   Are Words Required for Numbers? Does Language Give Sense to Numb...
Read more

Computing and the Linguistic Turn

By
Image
Enigma (Wikipedia) Symbolic analysis and statistical analysis were both approaches codebreakers took in breaking Enigma. The development of AI has also incorporated both approaches. One historical question for AI is why the dominance of Symbolic AI from 1950 to 1990? Note the development of AI out of the Dartmouth Workshop and especially the contributions of one of its attendees,  Ray Solomonoff , to the statistical approach, an approach taken up by Marcus Hutter , a DeepMind employee. Overview History of Computing (Medium, Mazhar Hassan ) Historical Development of Computing Devices (CSULB) Analytic Philosophy ~ The Linguistic Turn (Oxford, Timothy Williamson) AI History (Weighty Thoughts) Symbolic AI (Deep Code AI, Frank Fisher) Symbolic AI History (Wikipeida)  Symbolic AI and Statistical AI (ANU,  Yoshihiro Maruyama) Linguistics Linguistics (Wikipedia) Philosophy of Linguistics (Stanford)   Linguistic Turn Linguistic Turn (Wikipedia) Linguistic Turn (Routledge) ...
Read more