Posts

Comments

Comment by uitius uitius (uitius-uitius) on Gödel's Legacy: A game without end · 2020-06-30T01:51:41.813Z · LW · GW

Because of things like Siri, looks like natural language is a formal system.