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.