Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with foundations
Search options not deleted
user 29316
Mathematical logic, Set theory, Peano arithmetic, Model theory, Proof theory, Recursion theory, Computability theory, Univalent foundations, Reverse mathematics, Frege foundation of arithmetic, Goedel's incompleteness and Mathematics, Structural set theory, Category theory, Type theory.
27
votes
4
answers
4k
views
Who introduced the terms "equivalence relation" and "equivalence class"?
Consider that the question does not concern the origin of the ideas of equivalence relation and equivalence class. It exactly concerns the origin of the terms "equivalence relation" and "equivalence c …
- 61
11
votes
4
answers
2k
views
Why do mathematicians prefer one definition over the other when they both define the same co...
Here is a basic, though very important, example:
Hilbert takes as primary the notion of “congruence” (or “equal”) between segments. His first axiom of congruence “requires the possibility of construct …
- 4,786
13
votes
3
answers
2k
views
History of the abstract method in mathematics
Recently I have "finished" a 13-year on and off research on the history of the mathematical notion of equivalence. At the end of which, I learned that we owe the nowadays rather elementary process of …
CommunityBot
- 1
0
votes
Who introduced the terms "equivalence relation" and "equivalence class"?
This is to add something to Francois' answer to the UPDATE. This is from "Frege : philosophy of mathematics" by Dummett (1991), p. 50:
One of the mental operations most frequently credited with cr …
- 2,437