1-2g2b1 Constructor Theory defines knowledge independent of people

3-1c3c5 Best of all is when you can say they would’ve found this had they taken their own ideas seriously
1-2g1c5 We don’t really know what constitutes human

1-2g2b2 The Turing principle is also about the correspondence between the two bodies, and knowledge is not necessarily embodied in the human mind