4 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] |
6019 | If someone squashed a horse to make a dog, something new would now exist [Mnesarchus] |
15672 | Actions norms are only valid if everyone possibly affected is involved in the discourse [Habermas] |