User contributions for 96.231.153.5

19 April 2016

• 22:4522:45, 19 April 2016 diff hist +592 Talk:Poe's law No edit summary

11 April 2016

• 03:1403:14, 11 April 2016 diff hist +140 Talk:Inner model →"Actual element relation"
• 02:2802:28, 11 April 2016 diff hist +117 Talk:Inner model →"Actual element relation"
• 02:2602:26, 11 April 2016 diff hist +12 Talk:Inner model →"Actual element relation"
• 02:2602:26, 11 April 2016 diff hist +1 Talk:Inner model →"Actual element relation"
• 02:2502:25, 11 April 2016 diff hist +26 Talk:Inner model →"A model of set theory is called standard if the element relation of the model is the actual element relation restricted to the model."
• 02:2502:25, 11 April 2016 diff hist +1 Talk:Inner model →"A model of set theory is called standard if the element relation of the model is the actual element relation restricted to the model."
• 02:2402:24, 11 April 2016 diff hist +392 Talk:Inner model No edit summary
• 02:2102:21, 11 April 2016 diff hist +353 Talk:Inner model →"A model of set theory is called standard if the element relation of the model is the actual element relation restricted to the model.": new section

26 January 2016

• 06:0706:07, 26 January 2016 diff hist +449 Talk:Chain rule →Animation: new section

13 January 2016

• 17:3817:38, 13 January 2016 diff hist +43 Mie scattering →Rayleigh approximation (scattering)

6 January 2016

• 07:2807:28, 6 January 2016 diff hist −133 Ultralimit →Ultrafilters: This seems like a clunky way to define an ultrafilter and is not the way it is done in the actual ultrafilter article, so in the interest of readability/consistency I changed it.
• 06:5706:57, 6 January 2016 diff hist +1 Ultralimit →Limit of a sequence of points with respect to an ultrafilter: Replaced with a more readable/standard notation.

8 November 2015

• 00:2500:25, 8 November 2015 diff hist +66 Talk:Gävle goat →"Timeline: List is better as prose"
• 00:2300:23, 8 November 2015 diff hist +306 Talk:Gävle goat →"Timeline: List is better as prose"

6 November 2015

• 20:1520:15, 6 November 2015 diff hist +444 Talk:Gävle goat →"Timeline: List is better as prose"

29 May 2015

• 01:1701:17, 29 May 2015 diff hist +385 Talk:Mathematical logic →Goedel sentences

28 May 2015

• 15:2115:21, 28 May 2015 diff hist −5 Talk:Mathematical logic →Goedel sentences
• 15:1415:14, 28 May 2015 diff hist +1,534 Talk:Mathematical logic →Goedel sentences

27 May 2015

• 14:4314:43, 27 May 2015 diff hist +3 Axiom No edit summary
• 14:4314:43, 27 May 2015 diff hist +28 Axiom Inverted the order of the sentence to better connect to subject of previous sentence.
• 14:3314:33, 27 May 2015 diff hist −14 Mathematical logic →First-order logic: Having two parentheticals was a bit clunky, I think this is easier to read.
• 04:2304:23, 27 May 2015 diff hist +336 Axiom Undid revision 664221038 by Trovatore (talk) Fair enough, here's an attempt at a more equivocal wording. I think it's rather clunky and hopefully someone can write something more elegant.
• 04:1104:11, 27 May 2015 diff hist +171 Axiom Undid revision 664074762 by Trovatore (talk) It's certainly not "blatantly false," even if you don't agree with it. Formalism is a thing. See the existing section on the talk page to discuss it
• 04:0504:05, 27 May 2015 diff hist +111 Talk:Mathematical logic →Goedel sentences
• 04:0504:05, 27 May 2015 diff hist +834 Talk:Mathematical logic →Goedel sentences

26 May 2015

• 21:4321:43, 26 May 2015 diff hist +220 Talk:Mathematical logic →Goedel sentences
• 14:5714:57, 26 May 2015 diff hist +6 Mathematical logic Undid revision 664074238 by Trovatore (talk) That's not a universally accepted view - can you formalize what it means for a model to be "wrong?" This wording is far less contentious.
• 04:5404:54, 26 May 2015 diff hist +6 Mathematical logic →First-order logic: Incorrect statement of the first incompleteness theorem - the godel sentence is true in some models and false in others.

14 May 2015

• 01:3301:33, 14 May 2015 diff hist −3 Rey Navarro NPOV

29 April 2015

• 19:3019:30, 29 April 2015 diff hist +171 Axiom Undid revision 659607902 by Gcc333 (talk) The previous sentence communicates an entirely different idea.

24 April 2015

• 02:2902:29, 24 April 2015 diff hist +171 Axiom Undid revision 656229885 by Gcc333 (talk) No good reason for removing this bit, it's extremely important for understanding the modern use of the term.

13 April 2015

• 05:3005:30, 13 April 2015 diff hist +15 Axiom "Irrelevant" alone presupposes the mathematical realist view that the "absolute truth" of an axiom is well-define - something that fails to refer can't be "irrelevant." This is not a universal or dominant view.