18 ideas
13472 | Hilbert aimed to eliminate number from geometry [Hilbert, by Hart,WD] |
9546 | Euclid axioms concerns possibilities of construction, but Hilbert's assert the existence of objects [Hilbert, by Chihara] |
18742 | Hilbert's formalisation revealed implicit congruence axioms in Euclid [Hilbert, by Horsten/Pettigrew] |
18217 | Hilbert's geometry is interesting because it captures Euclid without using real numbers [Hilbert, by Field,H] |
5791 | Reduction is either by elimination, or by explanation [Searle] |
5799 | Eliminative reduction needs a gap between appearance and reality, as in sunsets [Searle] |
5790 | A property is 'emergent' if it is caused by elements of a system, when the elements lack the property [Searle] |
5792 | Explanation of how we unify our mental stimuli into a single experience is the 'binding problem' [Searle] |
5786 | A system is either conscious or it isn't, though the intensity varies a lot [Searle] |
5794 | Consciousness has a first-person ontology, which only exists from a subjective viewpoint [Searle] |
5795 | There isn't one consciousness (information-processing) which can be investigated, and another (phenomenal) which can't [Searle] |
5788 | The use of 'qualia' seems to imply that consciousness and qualia are separate [Searle] |
5789 | I now think syntax is not in the physics, but in the eye of the beholder [Searle] |
5798 | Consciousness has a first-person ontology, so it cannot be reduced without omitting something [Searle] |
5787 | There is non-event causation between mind and brain, as between a table and its solidity [Searle] |
5797 | The pattern of molecules in the sea is much more complex than the complexity of brain neurons [Searle] |
5796 | If tree rings contain information about age, then age contains information about rings [Searle] |
17593 | Always be ready to give reasons for your beliefs [Peter] |