display all the ideas for this combination of texts
4 ideas
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
17788 | First-order logic only has its main theorems because it is so weak [Mayberry] |
17791 | Only second-order logic can capture mathematical structure up to isomorphism [Mayberry] |