4 ideas
17831 | Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake] |
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
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] |