User:Boris Tsirelson/Sandbox1
- "Use ... and one obtains" --> "Using ... one obtains" : no change of the meaning;
- --> (and two similar cases): no change of the meaning, just a better notation;
- 𝔸 --> Q (in formulas): no change of the meaning, just a better notation for the same matrix;
- "it was used that" --> "this uses" : no change of the meaning;
- --> : no change of the meaning, just a better notation;
- "blue line" --> "blue-red line" : no change of the meaning, just more careful.
I have always felt that, if one day someone came up with a contradiction in mathematics, I would just say, "Well, those crazy logicians are at it again," and go about my business as I was going the day before.[1]
- ↑ Vaughan Jones. See Casacuberta & Castellet 1992, page 91.
References
Feynman, Richard (1995), The character of physical law (twenty second printing ed.), the MIT press, ISBN 0 262 56003 8.
Gowers, Timothy, ed. (2008), The Princeton companion to mathematics, Princeton University Press, ISBN 978-0-691-11880-2.
Mathias, Adrian (2002), "A term of length 4,523,659,424,929", Synthese 133 (1/2): 75–86. (Also here.)
Casacuberta, C & M Castellet, eds. (1992), Mathematical research today and tomorrow: Viewpoints of seven Fields medalists, Lecture Notes in Mathematics, vol. 1525, Springer-Verlag, ISBN 3-540-56011-4.