Posts

Comments

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

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