3 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |