User contributions for Thorimur
A user with 17 edits. Account created on 12 March 2015.
17 February 2021
- 10:1210:12, 17 February 2021 diff hist +1,859 Andrey Kolmogorov →Adulthood: Manually undid removal of information on Kolmogorov's possible gay relationship with Alexandrov, which was originally done on the grounds that this information was "not significant" or even "polemic". However, the nature of lifelong personal relationships, and our degree of knowledge about them, is clearly biographically significant.
8 December 2020
- 06:1606:16, 8 December 2020 diff hist −6 Universal instantiation The notation A(x) promises to confuse the reader when using it in tandem with the substitution notation (a/x). Technically, if we were to use A(x) to denote a formula with a free variable x, the substitution of a for x would be written as A(x)(a/x), since A(x) produces a formula that includes a free variable x, and (a/x) substitutes it. Or, we can simply take A to be a formula that may or may not involve a free x, and apply the substitution to it. I think that's less confusing!
18 December 2019
- 02:0602:06, 18 December 2019 diff hist +12 m Architecture in Helsinki →Music videos
- 02:0502:05, 18 December 2019 diff hist −21 m Architecture in Helsinki →Music videos
- 02:0502:05, 18 December 2019 diff hist +61 Architecture in Helsinki →Music videos
10 September 2018
- 00:0600:06, 10 September 2018 diff hist −115 Melting pot Removed unsourced and unexplained content (of the form “others argue [not A]”) Tags: Mobile edit Mobile web edit
14 August 2018
- 19:2819:28, 14 August 2018 diff hist +2 Transylvania lottery Typo Tags: Mobile edit Mobile web edit
31 July 2018
- 20:3220:32, 31 July 2018 diff hist −1 m Selfmachine Another "Self Machine" -> "Selfmachine"
- 20:3220:32, 31 July 2018 diff hist −4 m Selfmachine While many sources refer to this song as "Self Machine", the original intended spelling seems to be "Selfmachine".
7 July 2018
- 06:5506:55, 7 July 2018 diff hist +1 m Helen Rodríguez Trías Missing period at end of page summary.
14 September 2016
- 21:2321:23, 14 September 2016 diff hist +2 m Satellite (disambiguation) →Songs: Fixed italicization
- 21:2221:22, 14 September 2016 diff hist +79 Satellite (disambiguation) →Songs
8 September 2016
- 16:1116:11, 8 September 2016 diff hist −1 Zariski topology Fixed typo Tags: canned edit summary Mobile edit Mobile app edit
9 May 2016
- 03:0903:09, 9 May 2016 diff hist +106 Splitting lemma →Proof: Put the bare link that was sitting here all on its own under a subsection "other proof" into an external link.
30 November 2015
- 07:1307:13, 30 November 2015 diff hist +58 Zorn's lemma Defined "chain" quickly in the background section, which seemed to have been accidentally overlooked.
4 July 2015
- 04:5104:51, 4 July 2015 diff hist +1 Menstrual psychosis →Epidemiology: Fixed typo Tags: Mobile edit Mobile web edit
30 March 2015
- 08:0908:09, 30 March 2015 diff hist +125 N User:Thorimur ←Created page with 'This is my user page! I'm interested in math and physics (and fixing typos), and this user page is in its infancy. That's it!' current