5 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |