6 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
12131 | All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody] |
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] |