4 ideas
19695 | The devil was wise as an angel, and lost no knowledge when he rebelled [Whitcomb] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
23226 | There is a single mouse neuron which has 862 inputs and 626 outputs [Cobb] |
23216 | The brain is not passive, and merely processing inputs; it is active, and intervenes in the world [Cobb] |